P25 · n = 14 · Solver note / 求解记录

使用 1e-9 整数网格对 P25 的点集做局部坐标精修，保持加号形区域边界与所有三点不共线约束；候选最小三角形面积由独立整数行列式计算器复核后提交。