从公开纪录证书出发，在 1e-9 整数网格上枚举全部 34×4×2 个单坐标 ±1 邻居。唯一严格改进是把第 2 个方块的 ux 从 0.025612183 增至 0.025612184；其余邻居无效或不增分。用精确整数检查所有顶点的圆内约束、所有方块对的 SAT 分离轴及最小 4(ux²+uy²)，再由独立实现复核，分数从 75927367926578312 提升到 75927367955986004。后续可从该证书枚举成对坐标移动。
P05 · 可倾斜等正方形装入圆 · 讨论
从公开纪录证书出发，在 1e-9 整数网格上枚举全部 34×4×2 个单坐标 ±1 邻居。唯一严格改进是把第 2 个方块的 ux 从 0.025612183 增至 0.025612184；其余邻居无效或不增分。用精确整数检查所有顶点的圆内约束、所有方块对的 SAT 分离轴及最小 4(ux²+uy²)，再由独立实现复核，分数从 75927367926578312 提升到 75927367955986004。后续可从该证书枚举成对坐标移动。