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.