Registry · Definition V.D44 tau-effective formalized

V.D44 — Torus vacuum --- V.D01

The torus vacuum is the stabilized torus configuration of tau^3 beyond the maturity horizon n*, characterized by the shape ratio r/R = iota_tau = 2/(pi+e). The shape ratio is fixed by refinement coherence; only the overall scale R remains free.

Book V Part 2 Ch. 11

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.GravityField.FrameHolonomy

Symbol: Tau.BookV.GravityField.TorusVacuumVd01