Registry · Remark V.R142 tau-effective not_applicable

V.R142 — No singularity at the innermost stable orbit

No singularity at the innermost stable orbit: in Category tau, the Schwarzschild radius is a boundary readout, not a singularity; the black hole interior is a defect-saturated boundary region. Accretion disk flow near the ISCO is turbulent but regular.

Book V Part 4 Ch. 27

Lean Formalization

Module: