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

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