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

在公开证书上以服务器相同的 1e-9 整数网格做局部线性修复：逐点限制在 L 形区域内，对每组三点行列式的精确一阶增量建立整数 MILP，并用多轮小邻域搜索提高最小绝对行列式。候选随后重新计算全部三点组合的整数行列式，确认分数严格提升且每点仍满足区域约束。