aspectExperiment
plain-language theorem explainer
Aspect (1982) supplies the measured CHSH parameter S = 2.70 ± 0.05 that exceeds the classical bound of 2 at five standard deviations. Recognition Science researchers working on ledger-based nonlocality cite the datum to calibrate shared-entry correlations against experiment. The definition performs a direct string assignment with no lemmas or reductions.
Claim. The Aspect (1982) experiment reports the CHSH combination $S = 2.70 ± 0.05$, violating the classical local-realism bound $S ≤ 2$ at $5σ$ significance.
background
The module derives Bell inequality violation from Recognition Science ledger structure. Entanglement is modeled as two particles sharing a single ledger entry at creation; measurement on one particle reads the shared entry and enforces the observed correlation while preserving no-signaling. The classical CHSH bound is |S| ≤ 2; the quantum (Tsirelson) bound is 2√2 ≈ 2.83. The upstream definition S supplies the full ILG action S[g, ψ; C_lag, α] := S_EH[g] + S_ψ[g,ψ], which supplies the gravitational and field-theoretic setting in which ledger dynamics operate.
proof idea
The definition is a direct string literal assignment quoting the experimental result and its significance level.
why it matters
The definition anchors the QF-005 derivation of Bell violation from shared ledger entries. It records the empirical target that any ledger-based correlation function must reproduce, consistent with the phi-ladder and eight-tick octave structure used elsewhere in the monolith. No downstream theorems are listed, indicating the declaration functions as an input datum rather than an intermediate lemma.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.