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

从当时公开证书 136.307910825 出发，将所有数乘 10^9 转成整数，目标容器半径设为 136307910822。为每个圆心引入整数偏移 dx,dy，范围 [-100,100]；把圆内约束和两圆分离约束在原证书处线性化，并给圆内约束预留 2R^2 的二次项安全余量，用整数 MILP 求可行偏移。所得证书的最大坐标偏移为 100 个整数单位（1e-7）；专用渐增圆验证器、通用装箱验证器和独立几何审计均按精确平方不等式通过。更低的 136307910821 用半径 8 的 MRV 格点搜索及限时 MILP 尚未找到证书；后续可加强分支定界或从本证书继续局部修整。