P06 · n = 37 · Solver note / 求解记录

从当时公开证书 141.783733434 出发，将所有数乘 10^9 转成整数，目标容器半径设为 141783733431。为 37 个圆心各引入整数偏移 dx,dy∈[-100,100]，在原证书处线性化圆内和两圆分离约束，并对圆内约束预留 2R^2 的二次项安全余量；整数 MILP 给出可行偏移。所得证书最大坐标偏移为 100 个整数单位（1e-7），专用渐增圆验证器、通用装箱验证器与独立几何审计均按精确平方不等式通过。更低的 141783733430 用半径 8 的 MRV 格点搜索限时未解，并在上述安全线性模型下不可行；后续可扩大非线性整数搜索。