J_CP_obs
plain-language theorem explainer
J_CP_obs assigns the PDG 2024 central value 3.08 × 10^{-5} to the Jarlskog CP invariant. Modelers comparing Recognition Science predictions for CP violation in the quark sector to data cite this constant when anchoring CKM phenomenology. The declaration is a direct numerical binding with no computation or lemma steps.
Claim. The observed Jarlskog CP-violating invariant is given by $J_{CP} = 3.08 × 10^{-5}$ (PDG 2024 central value).
background
The module constructs the CKM matrix from φ-quantized mixing angles tied to the eight-tick phase structure. The Jarlskog invariant quantifies CP violation through the imaginary part of a product of four CKM elements. Upstream, IntegrationGap.A defines the active edge count per tick as 1, enforcing the φ-power balance identity at D = 3; Modal.Actualization.A maps configurations to minimal J-cost states.
proof idea
This is a direct definition that binds the real number 3.08e-5 to J_CP_obs, referencing the experimental central value without lemma application or reduction.
why it matters
The definition supplies the experimental benchmark for the CKM matrix derivation in the SM-012 target of obtaining quark mixing from Recognition Science. It supports the paper proposition on CKM Matrix from Golden Ratio Geometry. The value anchors comparisons against the eight-tick octave (T7) that generates the CP phase via φ-quantized angles.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.