rs_V_us
plain-language theorem explainer
rs_V_us defines the CKM matrix element V_us as the Cabibbo parameter equal to phi raised to negative eleven. Particle physicists deriving quark flavor mixing from Recognition Science torsion geometry would cite this when building CKM hierarchies and unitarity bounds. The definition is a direct alias for cabibbo_parameter which encodes the torsion difference of eleven between generations zero and one.
Claim. $|V_{us}| = phi^{-11}$ where $phi$ is the self-similar fixed point of the forcing chain and the exponent comes from the torsion schedule difference between the first two generations.
background
The CKM Matrix Derivation module asks whether the CKM matrix elements can be derived from phi-geometry and the generation torsion schedule {0, 11, 17}. Mixing arises from torsion mismatch between up-type and down-type sectors on the Q3 cube. The Cabibbo angle satisfies sin(theta_C) approx phi^{-(tau_1 - tau_0)} = phi^{-11}.
proof idea
This is a one-line wrapper that applies the definition of cabibbo_parameter.
why it matters
This definition supplies the leading CKM element for the CKMCert structure and feeds the theorems ckm_hierarchy and ckm_unitarity_structural. It realizes the module's Q6 question by anchoring |V_us| to the torsion schedule. It connects the first mixing angle to the phi-ladder in the Recognition Science framework.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.