Registry · Proposition V.P19 tau-effective formalized

V.P19 — Tension bounds

For any equilibrium carrier chi, the tension functional satisfies 0 <= T[chi] <= 1 - iota_tau. The lower bound is achieved by the flat vacuum; the upper bound by the horizon-forming (torus vacuum) state. Saturation at kappa_tau^2/(1-iota_tau) = 1-iota_tau marks horizon formation.

Book V Part 2 Ch. 17

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.GravityField.TOVStarBuilder

Symbol: Tau.BookV.GravityField.TensionBounds