Registry · Corollary V.C19 tau-effective formalized

V.C19 — No BH Evaporation

No black hole evaporates. The ontic mass of every mature black hole is monotonically non-decreasing: M(n+1) >= M(n) for all n >= n*. The evaporation time is an artifact of chart-level interpretation. Black holes are permanent ontic objects in Category tau.

Book V Part 6 Ch. 52

Dependency Graph

Depends on (4)

Lean Formalization

Module: TauLib.BookV.Cosmology.NoShrinkExtended

Symbol: Tau.BookV.Cosmology.NoBhEvaporation