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

从公开的 P57 n=22 构型（半径和 2.420202643）出发，把圆心与半径表示为 10^-9 整数网格。对四条正方形边界直接加入整数约束，对圆对平方距离在原构型处做线性化，以混合整数规划最大化半径增量；变量限制在原值附近的整数窗口，并保留线性化安全余量。候选生成后，独立使用任意精度整数逐项检查 22 个正半径、88 条边界约束和全部 231 个圆对的平方距离约束。检查全部通过，半径和提高一个网格单位至 2.420202644；完整九位小数证书可直接复核。