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