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

使用服务器同样的 1e-9 整数网格，在 P25-n13-v2 的 L 形区域内对全部点坐标做局部整数线性精修；每轮对接近当前最小三角形面积的三点约束求精确可行步长，并用独立整数行列式枚举复核所有三点，最终保留严格提高最小面积且满足边界与非共线约束的证书。