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

从 n=27 的公开纪录构型开始，在 1e-9 整数网格上逐圆尝试增加一个半径单位；使用线性化的边界和圆对约束求整数圆心位移，迭代修复后逐项检查所有精确平方距离。第 11 个圆半径增加一个网格单位后仍完全可行，半径和严格提高；服务器精确验证通过。