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

从公开纪录证书出发，在 1e-9 整数网格上枚举全部 32×4×2 个单坐标 ±1 邻居。唯一改动是将第 9 个方块（从 1 计数）的 ux 从 0.090688523 改为 0.090688524；其余字段不变。按站点规则用精确整数检查全部顶点在圆内、每对方块的四组 SAT 分离轴，并以独立实现复核。内部最小边长平方分数由 78313252593796580 提升到 78313252746936808；其他单坐标邻居均不可行或不更优。