mixingFromCycles_Vcb_canonical
plain-language theorem explainer
For the canonical recognition bridge with dual edge count 24, the CKM mixing element V_cb evaluates to exactly 1/24. Researchers deriving CKM parameters from geometric bridge structures in Recognition Science would reference this equality. The proof reduces immediately to the definition of the bridge-derived V_cb function together with the supplied edge count hypothesis.
Claim. For a recognition bridge with dual edge count equal to 24, the CKM mixing element V_cb derived from the bridge geometry equals 1/24.
background
The RSBridge structure augments a minimal bridge with geometric data, including an edgeDual field that counts dual edges (default 24) and determines CKM elements. The function V_cb_from_bridge returns the reciprocal of this edge count, yielding an exact mixing parameter from geometry. In the Bridge Derivation module, canonical semantics set V_cb to 1/24 for the standard bridge, alongside V_us from golden projection and V_ub from fine-structure coupling.
proof idea
The proof is a one-line simplification that unfolds the definition of V_cb_from_bridge and substitutes the hypothesis that the edge dual count is 24.
why it matters
This theorem pins the canonical value of V_cb in the derivation of CKM mixing angles from RSBridge geometry. It supplies the geometric origin for the 1/24 mixing element within the Recognition Science framework, complementing the g-2 derivation from loop order. No open questions are addressed here as the result is fully proved.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.