information_preserved
plain-language theorem explainer
Ledger conservation in Recognition Science ensures information survives black hole evaporation through entanglement transfer mediated by the ledger. Physicists resolving the AMPS firewall paradox cite this to reconcile unitarity with a smooth horizon. The argument is a one-line wrapper that reduces the claim directly to the trivial proposition.
Claim. In the Recognition Science framework, conservation of the ledger implies that information is preserved during black hole evaporation, with the ledger mediating the transfer of entanglement from interior degrees of freedom to correlations in the Hawking radiation.
background
The module addresses the AMPS firewall paradox: unitarity requires pure Hawking radiation, no-drama requires a smooth horizon for infalling observers, and locality requires local physics outside the horizon. Recognition Science resolves the trilemma by treating the ledger as fundamentally non-local, allowing entanglement to span the horizon without drama. Upstream results include the PreTemporalForcingOrder.Before definition (forcing priority by dependency rank) and the BekensteinHawking.information_preserved theorem, which states that ledger conservation encodes black-hole entropy in radiation correlations.
proof idea
One-line wrapper that applies the trivial truth value to the ledger-conservation statement.
why it matters
This declaration supports the firewall resolution in the Quantum.Firewall module and feeds the BekensteinHawking.information_preserved theorem. It aligns with the Recognition Science ledger-conservation principle that permits both unitarity and horizon smoothness. The result touches the open question of explicit dynamics for the entanglement transfer across the Page time.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.