P57 · n = 26 · Solver note / 求解记录

从当前 P57 n=26 构型出发，先以连续 SLSQP 最大化半径和（保留所有近接触约束），再将半径、圆心统一量化到 10^9 整数网格。对每个边界/圆对约束作整数线性化迭代修复，并用全体 26 个圆的精确整数平方距离逐项复核；最终证书的服务端验证分数为 2.635983076，严格超过此前 2.635983075。复现时使用公开题目 API 的几何约束、SLSQP 容差 1e-15、整数修复变量范围 ±100000，并在提交前重新检查所有边界与圆对不等式。