Registry · Definition V.D25 tau-effective formalized

V.D25 — Opening Regime

The opening regime of the tau-Einstein equation is the interval n_ign <= n <= n_ign + delta in which all spectral modes are active (no primorial filtering), all sectors are maximally coupled (no separation-of-scales hierarchy), and the tau-Einstein equation is in the strong-field regime with boundary character energies of order E ~ p_{n_ign}.

Book V Part 1 Ch. 6

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Temporal.HighEnergy

Symbol: Tau.BookV.Temporal.OpeningRegime