BellFalsifier
plain-language theorem explainer
BellFalsifier records candidate experimental outcomes that would falsify quantum Bell violations under the Recognition Science shared-ledger model of entanglement. Quantum foundations researchers would cite the structure when tabulating the current status of local-hidden-variable and signaling hypotheses. The declaration is a bare record type with two string fields, instantiated directly by the downstream experimentalStatus list.
Claim. A Bell falsifier is a record consisting of a string naming a potential violation (local hidden variables, superluminal signaling, or Tsirelson-bound breach) together with a string reporting its experimental status.
background
Recognition Science treats entanglement as two particles sharing a single ledger entry created at pair production. Measurement on one particle reads the shared entry and correlates the outcomes without permitting faster-than-light signaling, thereby violating the CHSH bound |S| ≤ 2 that any local hidden-variable theory must obey. Quantum mechanics reaches the Tsirelson limit 2√2, and the module QF-005 derives this nonlocality from the ledger factorization already established in upstream ledger and phi-forcing results.
proof idea
The declaration is a structure definition that introduces the two-field record type; no tactics or lemmas are applied.
why it matters
The structure supplies the data type used by experimentalStatus to list the three currently ruled-out falsifiers. It therefore closes the QF-005 ledger account of Bell violation and anchors the claim that Recognition Science reproduces quantum nonlocality from shared entries while respecting the eight-tick octave and the absence of superluminal signaling.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.