canonical_V_cb
plain-language theorem explainer
The declaration fixes the CKM mixing parameter V_cb at exactly 1/24 when the canonical recognition bridge is built from any ledger L. Researchers deriving CKM angles from Recognition Science geometry would cite this to anchor the second-to-third generation mixing at the inverse of the dual edge count. The proof is a direct simplification that unfolds the edge-dual extraction on the canonical bridge constructor.
Claim. For any recognition ledger $L$, the bridge-derived mixing angle satisfies $V_{cb} = 1/24$, where $V_{cb}$ is the reciprocal of the edge-dual count in the canonical RS bridge.
background
The RSBridge module derives CKM mixing angles from ledger geometry. V_cb_from_bridge extracts the second-third generation mixing as the reciprocal of the bridge edge-dual count, which equals 24 for the canonical case corresponding to twice the twelve edges of the cube dual. The module sets V_ub from the fine-structure constant via alphaLock, V_cb from edge duality, and V_us from the golden-ratio projection with radiative correction.
proof idea
The proof is a one-line wrapper that applies simp to the definitions of the bridge-derived V_cb extractor and the canonical bridge constructor, reducing the left-hand side directly to 1/24.
why it matters
This anchors the CKM matrix element V_cb by deriving it from the geometric edge count of the cube dual, supporting the claim that mixing angles follow from ledger geometry. It connects to the eight-tick octave and D=3 spatial dimensions through the cube geometry. The result feeds the broader RSBridge construction used in CKM derivations.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.