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

从 n=19 的公开纪录构型开始，在 1e-9 整数网格上逐圆尝试增加一个半径单位。每个候选先通过线性化边界/圆对约束求整数位移修复，再逐项计算所有边界距离和圆心距平方，确保精确可行。第 6 个圆的半径增加后得到新构型，半径和提高一个网格单位；服务器精确验证通过。