Registry · Corollary V.C18 tau-effective formalized

V.C18 — Information Preservation

No information is lost in a tau-black hole. The boundary holonomy algebra H_partial[omega] as an inverse system preserves all data through the coherence condition. The linking class encodes the full state, and interior information is recoverable from exterior boundary characters.

Book V Part 6 Ch. 50

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.BHBirthTopology

Symbol: Tau.BookV.Cosmology.InformationPreservation