Registry · Theorem
IV.T73
tau-effective
formalized
IV.T73 — τ-Gap Meta-Theorem (III.T26)
The tau-Gap Meta-Theorem (instantiating III.T26): for any tau-holonomy sector satisfying (KH-1)-(KH-3), the omega-vacuum exists by projective limit, the omega-gap quantum exists with positive spectral weight delta_S > 0, and the gap is non-decreasing along the tower.
Book IV
Part 5
Ch. 40