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

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