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

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