Registry · Theorem V.T141 tau-effective formalized

V.T141 — No Shrink---restatement

In the tau-framework, the total boundary-character amplitude of a black hole region is non-decreasing. Black holes do not evaporate. Their Bekenstein-Hawking temperature T_H is a property of the readout layer, not a rate of mass loss. The No Shrink Theorem is restated: Hawking radiation has KMS structure from the omega-crossing but does not carry mass-energy away.

Book V Part 7 Ch. 68

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Orthodox.FalsifiableSeams

Symbol: Tau.BookV.Orthodox.NoShrinkrestatement