Registry · Remark V.R301 tau-effective formalized

V.R301 — The information paradox as diagnostic

The black hole information paradox (Page curve, island formulas, firewalls) is directed at a problem that does not exist in tau. The paradox arises from combining Hawking's semiclassical calculation (physical evaporation) with unitarity. Tau preserves unitarity by denying evaporation: information is encoded in boundary characters on L and remains accessible.

Book V Part 7 Ch. 68

Lean Formalization

Module: TauLib.BookV.Orthodox.FalsifiableSeams

Symbol: Tau.BookV.Orthodox.TheInformationParadoxAsDiagnostic