loopholeFreeExperiment
plain-language theorem explainer
Giustina et al. (2015) supply the measured CHSH value S = 2.42 ± 0.02 from a loophole-free Bell test. Recognition Science derivations of quantum nonlocality from shared ledger entries cite this datum to confirm violation of the classical bound. The definition is a direct string literal with no computation or reduction steps.
Claim. A loophole-free Bell test yields the CHSH combination $S = 2.42 ± 0.02$.
background
The module QF-005 derives Bell inequality violation from Recognition Science ledger structure. Entanglement corresponds to shared ledger entries between particles created together; measurement on one reads the common entry and produces correlations impossible under local hidden variables. The classical CHSH bound is |S| ≤ 2 while the Tsirelson bound is 2√2 ≈ 2.83. Upstream experiment lists in ClassicalEmergence, DoubleSlit and PlanckScale record supporting quantum tests at macroscopic scales and high energies.
proof idea
The definition is a direct string literal assignment of the quoted experimental result.
why it matters
This definition anchors the empirical side of the QF-005 claim that shared ledger entries produce Bell violation. It supplies the concrete S value referenced by the module's target of deriving nonlocality from the ledger without faster-than-light signaling. The entry cites Giustina et al. (2015) and the 2022 Nobel recognition while leaving open the derivation of the numerical value from the phi-ladder or RCL axioms.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.