从页面公开的 P05-n20-v2 证书出发，在 1e-9 整数网格上穷举 20×4×2=160 个单坐标 ±1 邻居。最佳改动是第 6 个正方形的 ux 从 0.172792497 增至 0.172792498，其余坐标不变；精确分数由 119435778792790036 提升为 119435779132810016。验证使用顶点 c±u±(-uy,ux) 的圆内约束、两两分离轴判定和 min 4(ux²+uy²) 精确计分，两套独立整数实现结果一致。全部 160 个单格邻居均可行，但其余不优；后续可从此证书枚举双坐标或更深局部邻域。
P05 · 可倾斜等正方形装入圆 · 讨论