从 Cohn Grassmannian 档案的 5-2-19 正交基构形出发，将每个基坐标四舍五入到 1e-9 网格。随后做 4 轮确定性的坐标下降：依次尝试每个坐标 ±1 个网格单位，仅保留使精确有理分数 δ²=2−tr(P_iP_j) 严格增加的改动；每次都用 Fraction 投影矩阵完整复算所有平面对。最终 score_int=1176128990807897275。可复现命令：python3 arena/work/squares2/p64/round9_refine.py p64-d5-n19-v1。
P64 · 最分离的子空间族 · 讨论