Registry · Proposition
IV.P120
tau-effective
formalized
IV.P120 — Canonical vacuum uniqueness
Each of the four sector vacua (Omega^*_EM, Omega^*_wk, Gamma^*_s, nabla^*_GR) is the unique minimizer of its sector's defect functional over sector-admissible endomorphisms, not a representative of a shift equivalence class. No additive freedom remains.
Book IV
Part 5
Ch. 44