ckm_params_3_plus_1
plain-language theorem explainer
The result equates the CKM parameter count to three mixing angles plus one CP-violating phase. Particle physicists modeling quark flavor mixing and CP violation in weak decays would cite it when connecting Recognition Science ledger geometry to Standard Model structure. The proof reduces immediately to reflexivity on the upstream definition of four parameters.
Claim. The Cabibbo-Kobayashi-Maskawa matrix has four independent parameters consisting of three mixing angles and one CP-violating phase.
background
The Weak Force Emergence module derives the weak interaction from three-dimensional ledger geometry, producing SU(2)_L symmetry via three rotation generators and chiral couplings from the eight-tick cycle orientation. The CKM matrix appears in the module predictions as the parametrization of quark mixing in charged weak currents. Upstream, the definition fixes the total number of independent CKM parameters at four, with the accompanying documentation stating the decomposition into three angles plus one phase.
proof idea
The proof is a one-line reflexivity that equates the defined count of four parameters with the arithmetic sum of three angles and one phase.
why it matters
This explicit decomposition supports the module prediction that the CKM matrix describes quark mixing. It aligns with the Recognition Science emergence of the weak force from 3D spatial dimensions and the phi-forcing chain. The result closes a minor point in parameter counting for electroweak phenomenology without touching open questions on numerical derivation.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.