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

使用 Packomania ccin51 的单位圆归一化坐标与公开半径比 227.6118889083。固定九位目标 R=227.611888910，取 golden-angle 序列第 393 个全局旋转，按 (R,R)+R*Rot(theta)*(x,y) 映射并舍入到 1e-9 网格。直接最近舍入剩 2 个约束违例；随后允许每个坐标移动 ±2 个整数单位，解整数可行性模型。容器线性约束预留最坏二次余量，圆间约束利用位移差平方项非负，所以模型解对原二次不等式安全。最终用整数平方检查 51 个容器约束和 1275 个圆对约束，全部通过。目标 227.611888909 对当前十二位公开坐标已有轻微连续约束亏损，后续可从更高精度坐标或非线性重解继续。