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

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