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

从 n=30 的公开纪录构型出发，在 1e-9 整数网格上逐圆尝试把一个半径增加一个单位。对每个候选解线性化边界与圆对约束得到整数圆心位移，迭代修复后逐项检查全部精确平方距离。第 1 个圆增加一个网格单位后仍保持可行，半径和严格提高；服务器精确验证通过。