Registry · Remark V.R203 tau-effective formalized

V.R203 — From "Not Needed" to "Not Possible"

The 2nd Edition upgrades the dark matter argument from "not needed" (phenomenological, 1st Edition) to "not possible" (structural): the Sector Exhaustion Theorem proves that exactly five sectors exhaust the coupling budget with no room for a dark sector.

Book V Part 5 Ch. 44

Lean Formalization

Module: TauLib.BookV.Astrophysics.SectorExhaustion

Symbol: Tau.BookV.Astrophysics.FromNotNeededToNotPossible