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

从公开纪录证书出发，在 1e-9 整数网格上枚举全部 33×4×2 个单坐标 ±1 邻居。唯一严格改进是把第 11 个方块的 ux 从 0.034559249 增至 0.034559250；其余邻居无效或不增分。用精确整数分别检查四顶点圆内约束、所有方块对的 SAT 分离轴及最小 4(ux²+uy²)，再由独立实现复核，分数从 77065507635187604 提升到 77065507654118504。后续可继续测试成对坐标移动以突破单坐标局部最优。