lambda_PDG

In the Wolfenstein parametrization of the CKM matrix, $\lambda$ is the Cabibbo angle sine, fixed experimentally by $|V_{us}|$. This module works in that language while deriving the companion parameter $A$ from $Q_3$ geometry rather than from fit.

The local setting is CKMExact: Gray-code flip counts $(4,2,2)$ on the three cube axes, generation torsion gaps $\Delta\tau_{12}=11$ and $\Delta\tau_{23}=6$, and a face-flux correction that yields $A_{\mathrm{corrected}}=9/11$. The same $Q_3$ chirality is claimed to govern $\alpha^{-1}$ and $\eta_B$ through the factor 44.

lambda_PDG is the experimental reference point against which the structural RS interval for $\lambda$ (near $\varphi^{-3}$) is compared; it is not itself an RS output.

Pure definition: the real is set equal to the decimal $0.2265$. No lemmas, tactics, or algebraic reduction. Downstream theorems unfold the name and discharge numeric goals with norm_num.

Gives a single named PDG anchor so discrepancy and window lemmas stay readable. lambda_PDG_in_window places it in $(0.222,0.232)$; lambda_structural_discrepancy shows $|\lambda_{\mathrm{RS}}-\lambda_{\mathrm{PDG}}|/\lambda_{\mathrm{PDG}}<0.06$, supporting a $\varphi^{-3}$ origin with a small geometric correction still open. lambda_correction_target packages the hypothesis that a face-flux factor to the $1/8$ (eight-tick) power closes the residual gap into $(0.222,0.228)$ near the PDG value.

The module’s main proved result is $A=9/11$ from $Q_3$ flux; $\lambda$ remains the side of the CKM story still awaiting that fractional-tick correction, tied to the eight-tick octave (T7) and the shared 44-structure with $\alpha$ and $\eta_B$.