IV.D163 — Canonical vacuum at stage~n

The canonical vacuum at stage n is Omega_n^* := argmin over C_n^{adm} of the lexicographic pair (V_n(Omega), code_n(Omega)), first minimizing the defect functional V_n, then tie-breaking by the smallest NF code.