Registry · Theorem V.T21 tau-effective formalized

V.T21 — Vacuum shape ratio --- V.T01

For every torus vacuum state x beyond the maturity horizon, the ratio r_n(x)/R_n(x) = iota_tau. The ratio is fixed by refinement coherence and is independent of n, constituting a refinement invariant.

Book V Part 2 Ch. 11

Dependency Graph

Depends on (2)

Depended on by (13)

Lean Formalization

Module: TauLib.BookV.GravityField.FrameHolonomy

Symbol: Tau.BookV.GravityField.VacuumShapeRatioVt01