Registry · Proposition V.P95 tau-effective formalized

V.P95 — Hawking Readout

Hawking radiation is a chart-level readout of the boundary character chi_BH at the linking boundary, not a transport of mass-energy from interior to infinity. The quantum-fields-on-curved-spacetime framework is an E_1 chart describing empirical appearance, not ontic mass loss.

Book V Part 6 Ch. 52

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.NoShrinkExtended

Symbol: Tau.BookV.Cosmology.HawkingReadout