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

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Strong.VacuumCatastrophe

Symbol: Tau.BookIV.Strong.CanonicalVacuumUniqueness