Registry · Remark V.R67 tau-effective formalized

V.R67 — Singularities are chart artifacts

Singularities are chart artifacts in the tau-framework. The tau^3 fibration is compact with boundary L, and the interior is filled by holomorphic extension. What appears as a singularity in the chart shadow is a breakdown of the readout functor, not of the physics.

Book V Part 2 Ch. 13

Lean Formalization

Module: TauLib.BookV.GravityField.TauEinsteinEq

Symbol: Tau.BookV.GravityField.SingularitiesAreChartArtifacts