Registry · Remark V.R97 tau-effective not_applicable

V.R97 — Comparison with Penrose's trapped surface theorem

Penrose's 1965 singularity theorem proves geodesic incompleteness once a trapped surface forms. The tau structural threshold theorem is analogous but reaches a different conclusion: once the coherence horizon is crossed, topology change (not singularity) is inevitable.

Book V Part 2 Ch. 18

Lean Formalization

Module: