Registry · Remark V.R82 tau-effective formalized

V.R82 — Torus, not sphere

The stabilized vacuum has the topology of a torus T^2, not a sphere S^2. The natural topology of the tau^3 fibration is toroidal, fundamentally distinct from the spherical symmetry of orthodox Schwarzschild solution cross-sections.

Book V Part 2 Ch. 16

Lean Formalization

Module: TauLib.BookV.GravityField.TauSchwarzschild

Symbol: Tau.BookV.GravityField.TorusNotSphere