Registry · Remark V.R87 tau-effective formalized

V.R87 — Hawking evaporation forbidden --- V.R02

The No-Shrink Theorem contradicts Hawking evaporation. Orthodox Hawking radiation exists as a coarse-grain thermal readout (chart readout Phi_p produces thermal jet data at the horizon temperature), but mass loss does not occur at the ontic level.

Book V Part 2 Ch. 16

Lean Formalization

Module: TauLib.BookV.GravityField.TauSchwarzschild

Symbol: Tau.BookV.GravityField.HawkingEvaporationForbiddenVr02