Registry · Definition V.D173 tau-effective formalized

V.D173 — Mature Black Hole

A black hole is mature at orbit depth n if: (1) geometric stabilization -- the linking class ell is rho-invariant, and (2) topological relaxation -- the boundary character has converged to its fixed-point configuration. Maturity means the BH geometry and topology have settled.

Book V Part 6 Ch. 52

Lean Formalization

Module: TauLib.BookV.Cosmology.NoShrinkExtended

Symbol: Tau.BookV.Cosmology.MatureBlackHole