Registry · Theorem
III.T26
tau-effective
formalized
III.T26 — τ-Gap Meta-Theorem
Any NF-discrete tower with contractive defect functional and bounded sector extraction has a spectral gap. Γ* = inf{Δ(f,n) : f non-trivial, n ≥ n₀} > 0. Proof entirely τ-internal: no QFT, no gauge groups, no Lagrangians.
Book III
Part 5
Ch. 39