Registry · Theorem V.T13 tau-effective formalized

V.T13 — Opening Regime Theorem

In the opening regime: the tau-Einstein equation has a unique solution at each depth n ~ n_ign via normal-form minimization, the gravitational character G_omega is at its maximal value, and entropy is high (not low). The opening regime is structurally well-defined with no singularity or free parameters.

Book V Part 1 Ch. 6

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookV.Temporal.HighEnergy

Symbol: Tau.BookV.Temporal.OpeningRegimeTheorem