simulation_hypothesis_structure
plain-language theorem explainer
The simulation hypothesis structure holds because it coincides with the Church-Turing physics structure derived from the ledger. Researchers examining Bostrom-style arguments within Recognition Science cite this when showing that the real/simulated distinction collapses. The proof is a one-line wrapper applying the prior theorem that establishes Church-Turing physics from the ledger.
Claim. The Church-Turing physics structure derived from the ledger holds.
background
The module treats the simulation hypothesis as dissolved rather than refuted: the ledger is reality itself, no external substrate exists, and any perfect simulation of an RS ledger is again an RS ledger. The definition simulation_hypothesis_from_ledger is exactly the proposition church_turing_physics_from_ledger. This rests on the upstream result that x exists (RSExists) if and only if its J-cost vanishes, with J-cost given by the Recognition Composition Law and the forcing chain that fixes phi and D=3.
proof idea
One-line wrapper that applies has_ct_structure, which itself reduces directly to church_turing_physics_structure.
why it matters
The declaration supplies IC-004.7 and closes the Information module's treatment of the simulation hypothesis. It feeds the claim that the ledger is the unique physical substrate and that the simulation/reality distinction carries no semantic content, consistent with the T0-T8 chain and the self-grounding of the ledger. No downstream uses are recorded.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.