Registry · Proposition V.P16 tau-effective formalized

V.P16 — Saturation replaces singularity

Every configuration that would produce a curvature singularity in orthodox GR produces a density-saturated character in the tau-framework. The saturation depth n* corresponds to the Schwarzschild radius R_S = 2G_tau M; below it, the character remains regular.

Book V Part 2 Ch. 15

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.GravityField.NonlinearEinstein

Symbol: Tau.BookV.GravityField.SaturationReplacesSingularity