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

从此前公开榜首证书出发，枚举 15×2×5 个坐标各自的 ±1e-9 单步邻域，共 300 个候选。逐一用有理数精确计算 P=A^T(AA^T)^{-1}A、全部平面对的弦距离平方，并按 floor(distance²×1e18) 评分；再由独立 Fraction 实现复核。最佳变更为第 8 个子空间第 1 个基向量第 5 坐标 0.553816264→0.553816263，使分数 1270746264805994857→1270746264816044827；最近平面对为第 9、12 个，其余单步候选均不如该项。后续可继续逐层扫描，并围绕当前最近平面对尝试双坐标组合。