IV.L11 — Vacuum coherence

Vacuum coherence: for all n >= n_*, the restriction rho_{n+1->n}(Omega_{n+1}^*) = Omega_n^*, established by restriction preserving admissibility and optimality, paralleling the strong vacuum truncation coherence theorem.