`rsSummary`

definition

show as: view math explainer →

module: IndisputableMonolith.Quantum.Firewall
domain: Quantum
line: 229 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Quantum.Firewall on GitHub at line 229.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

formal source

 226    3. **Locality emergent**: Non-local ledger looks local at large scales
 227    4. **ER = EPR natural**: Shared ledger = wormhole connection
 228    5. **Page curve explained**: Ledger mediates entanglement transfer -/
 229def rsSummary : List String := [
 230  "Unitarity from ledger conservation",
 231  "No firewall from ledger smoothness",
 232  "Locality emerges at large scales",
 233  "ER = EPR from shared ledger entries",
 234  "Page curve from ledger dynamics"
 235]
 236
 237/-! ## Falsification Criteria -/
 238
 239/-- The derivation would be falsified if:
 240    1. Firewalls detected (somehow)
 241    2. Information definitively lost
 242    3. Ledger structure has discontinuity at horizon -/
 243structure FirewallFalsifier where
 244  firewall_detected : Prop
 245  information_lost : Prop
 246  ledger_discontinuous : Prop
 247  falsified : firewall_detected ∨ information_lost → False
 248
 249end Firewall
 250end Quantum
 251end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.