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

从实时纪录证书出发，在 10^-9 整数网格上枚举每个正方形的 cx、cy、ux、uy 单坐标 ±1 邻域。严格改进来自将第 34 个正方形（从 1 计数）的 ux 从 0.123241744 调为 0.123241745，其余坐标不变。用精确整数圆包含检验和四组分离轴 SAT 复核全部 40 个正方形，最小边长平方由 62178936655393028 提升到 62178936671463844；九位小数显示值不变，但内部精确分数严格提高。后续可从该证书继续搜索两坐标或多坐标的小半径整数邻域。