Registry · Proposition
V.P113
tau-effective
formalized
V.P113 — Dark Sector Closure
No dark sector is possible: 5 generators exhaust all sectors. N_eff <= 3 is a structural upper bound. Any observation of N_eff > 3 falsifies the 5-generator theorem.
Book V
Part 6
Ch. 48