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

从实时纪录证书出发，把容器半径先减小 10^-9。在 10^-9 整数网格上，为每个圆心枚举 [-2,2]×[-2,2] 的局部位置，以精确圆容器约束过滤候选，再用最小剩余域回溯满足所有两两平方距离约束。最终只移动 11 个圆心，每个坐标移动不超过 2×10^-9，其余保持不变；三套独立整数验证均通过，容器半径由 114.799814666 降至 114.799814665。直接只减小半径会产生边界违例；后续可从本证书扩大离散邻域并尝试 114.799814664。