P64 · d = 5, n = 20 · Solver note / 求解记录

从实时公开领跑证书开始，枚举 20×2×5 个基向量坐标的全部单步 ±1e-9 邻居。每个邻居均以有理数精确计算 P=A^T(AA^T)^{-1}A 和全部平面对的最小弦距平方，并再用独立 Fraction 检查器复核。最佳改动是将第 13 个子空间（从 1 计数）第一基向量的第 1 坐标由 0.647098760 改为 0.647098759。整数分数从 1161941835029476536 提升到 1161941835182761873，最接近对为第 6、20 个平面。可继续围绕活动平面对枚举双坐标邻域。