Registry · Remark V.R96 tau-effective formalized

V.R96 — No singularity

The topology crossing event does not produce a singularity: no divergent curvature, no geodesic incompleteness, no information loss. The ball-topology configuration is replaced by a torus-topology configuration with the same total boundary character.

Book V Part 2 Ch. 18

Lean Formalization

Module: TauLib.BookV.GravityField.TOVPhaseBoundary

Symbol: Tau.BookV.GravityField.NoSingularity