Registry · Definition V.D146 tau-effective formalized

V.D146 — Dark Sector Hypothesis

The dark sector hypothesis posits a nonzero tau-algebra component H_dark that is EM-invisible (no B-sector coupling), gravitationally active (D-sector coupling), and not contained in any of the five sectors {H_A, H_B, H_C, H_D, H_omega}.

Book V Part 5 Ch. 44

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.SectorExhaustion

Symbol: Tau.BookV.Astrophysics.DarkSectorHypothesis