Registry · Theorem V.T180 tau-effective formalized

V.T180 — (5/6) Uniquely Forced from Threshold Topology

(5/6) uniquely forced: 6 canonical thresholds, exactly 1 resonant (L_B, ω-crossing singularity), 5 non-resonant. ω = γ∩η is the unique self-coupling singularity of L. Cross-check: (5/6)·(8/27) = 20/81 = Y_p. Wave 11 upgrade: threshold uniqueness proof establishes (5/6) is not an identification but a forced consequence of ladder topology.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (3)

Depended on by (7)

Lean Formalization

Module: TauLib.BookV.Cosmology.BBNBaryogenesis

Symbol: Tau.BookV.Cosmology.five_sixths_uniquely_forced