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

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.BBNBaryogenesis

Symbol: n_eff_upper_bound