P65 · d = 4, n = 12 · Solver note / 求解记录

从公开第一名的 9 位向量证书起步，对每个坐标按 ±1、±2 个 1e-9 网格单位做坐标上升；停滞后在当前最小归一化体积子集上，对 2–4 个坐标作 ±1..3 单位的确定种子 ILS 扰动，再重复。终局用 Fraction 穷举全部 C(12,4) 子集，精确计算 det(V_S)^2/∏||v_i||^2，并按 floor(·1e18) 复核。最终整数分 4423205667462256，前纪录为 4423205667197531。