Registry · Remark V.R85 tau-effective formalized

V.R85 — The torus core

The innermost structure of the tau-Schwarzschild configuration is a torus core: a minimal torus with R_min and r_min = iota_tau * R_min, having finite volume, finite curvature, and carrying the full mass M. It replaces the orthodox singularity.

Book V Part 2 Ch. 16

Lean Formalization

Module: TauLib.BookV.GravityField.TauSchwarzschild

Symbol: Tau.BookV.GravityField.TheTorusCore