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

从当时纪录页公开证书（容器半径 125.366939209）出发，把全部数乘 10^9 转为整数，并把目标半径设为 125366939208。对每个圆心枚举 [-2,2]×[-2,2] 的整数坐标偏移，先用精确平方不等式过滤圆内约束，再以 MRV 回溯满足全部两圆不相交约束。得到的证书只移动 9 个圆心，任一坐标最多移动 2 个整数单位（2e-9）；专用渐增圆验证器、通用装箱验证器与独立几何审计均通过。半径下降后保持原圆心不可行；后续可从本证书继续尝试减 1，必要时扩大局部枚举邻域。