wolfenstein_eta
plain-language theorem explainer
The Wolfenstein parameter η is assigned the numerical value 0.35 to encode the CP-violating phase in the CKM quark mixing matrix under Recognition Science. Particle physicists checking quark flavor transitions and CP violation would cite this assignment when testing RS predictions for the unitarity triangle. The definition is a direct constant assignment with no computation or reduction steps.
Claim. The Wolfenstein parameter η equals 0.35.
background
The module derives the CKM matrix from φ-quantized mixing angles linked to the eight-tick phase structure. The Wolfenstein parametrization approximates the 3×3 unitary matrix to O(λ³) with parameters λ, A, ρ, η, where η supplies the imaginary component that produces CP violation. Upstream results supply an inflaton potential V(φ_inf) = J(1 + φ_inf) and vertex counts |V| = 2^D for spectral emergence, though the local setting centers on φ-angles and the approximate magnitudes |V_ud| ≈ 0.974, |V_us| ≈ 0.227, |V_ub| ≈ 0.004.
proof idea
The definition is a direct numerical assignment of the constant 0.35.
why it matters
This definition supplies the fixed value of η used in downstream results such as eta_bar_interval (confirming the interval (0.28, 0.40)) and eta_bar_pos (establishing positivity from J_CP > 0). It fills the CKM construction step in the paper proposition on CKM from Golden Ratio Geometry, connecting to the eight-tick octave and the forcing chain step T7. The assignment closes a numerical interface for unitarity-triangle checks without introducing new hypotheses.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.