Registry · Theorem V.T217 tau-effective formalized

V.T217 — Readout Temperature Theorem

Readout temperature T_H = ℏc³/(8πGMk_B). Spectrum is Planckian. No mass loss occurs (No-Shrink Theorem). T_H(M87*) ~ 10⁻¹⁷ K, T_H(stellar) ~ 10⁻⁹ K.

Book V Part 6 Ch. 52

Dependency Graph

Depends on (2)

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.Gravity.BHTopoModes

Symbol: Tau.BookV.Gravity.canonical_readout