Registry · Definition V.D162 tau-effective formalized

V.D162 — Threshold Ladder

The threshold ladder is the complete ordered sequence of canonical thresholds together with the regime boundary characters at each threshold and the physical readout that changes at each crossing, providing a unified description of all cosmological phase transitions.

Book V Part 6 Ch. 48

Lean Formalization

Module: TauLib.BookV.Cosmology.ThresholdLadder

Symbol: Tau.BookV.Cosmology.ThresholdLadder