wolfensteinA_val
plain-language theorem explainer
The Wolfenstein A parameter equals exactly 9/11. Particle physicists checking CKM matrix predictions against the phi-ladder hierarchy would cite this equality when verifying the 1-sigma match to PDG data. The proof is a direct reflexivity step on the parameter definition.
Claim. The Wolfenstein parameter $A$ satisfies $A = 9/11$.
background
The CKM Lambda from Phi Ladder module examines the Wolfenstein parameterization of the CKM matrix, where the RS-native prediction for the A parameter is taken from the GaugeFromCube construction and placed inside the phi-ladder hierarchy. Upstream results include the definition that sets the parameter to the rational 9/11, the structure of J-cost from PhiForcingDerived, and the active edge count A from IntegrationGap that encodes the D=3 balance identity. The module doc states the RS prediction A = 9/11 ≈ 0.818 lies within 1σ of the PDG value 0.826 ± 0.013.
proof idea
The proof is a one-line wrapper that applies reflexivity to the definition of the Wolfenstein A parameter.
why it matters
This equality supplies the exact numerical value consumed by the CKMLambdaCert definition, which assembles the full certificate that A lies in the PDG band and that the Cabibbo angle sits between 1/φ³ and the observed interval. It closes the structural claim for the A coefficient in the Wolfenstein hierarchy and links directly to the phi fixed point (T6) and the eight-tick octave (T7) in the forcing chain. The result leaves the precise mapping of λ to a phi power as the remaining open question.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.
papers checked against this theorem (showing 1 of 1)
-
CKM angle gamma measured at 71.3 degrees
"The CKM angle γ is determined to be γ = (71.3±5.0)°, ... per-event weights based on the amplitude variation over the D-decay phase space ... Fourier split method ... optimal weight wopt"