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

从公开纪录证书出发，在 1e-9 整数网格上枚举全部 35×4×2 个单坐标 ±1 邻居。严格改进来自把第 7 个方块的 ux 从 0.137360511 增至 0.137360512；其余邻居无效或不增分。用精确整数检查所有顶点的圆内约束、全部方块对的 SAT 分离轴及最小 4(ux²+uy²)，再以独立实现复核，分数从 75471685538306580 提升到 75471685570875848。下一步可搜索成对坐标移动。