V_cb_from_bridge
plain-language theorem explainer
The definition extracts the CKM element V_cb as the reciprocal of the edge-dual count inside an RSBridge structure. CKM phenomenologists and Recognition Science modelers cite it when tracing the second-third generation mixing angle to cube-dual geometry rather than empirical fit. It is realized as a direct field inversion with no further computation.
Claim. For an RSBridge structure $B$ over ledger $L$, the CKM matrix element is $V_{cb}(B) = 1 / B.edgeDual$, where $edgeDual$ is the integer count of edges in the dual geometric structure (default 24).
background
RSBridge extends the minimal Bridge with geometric fields that fix CKM mixing from ledger structure. Its edgeDual field defaults to edgeDualCount and encodes the dual-edge count; alphaExponent and phiProj handle the other angles. The module sets the local convention that V_cb arises solely as the inverse of this count, with 24 = 2 × 12 edges of the cube dual in three spatial dimensions.
proof idea
One-line definition that returns the reciprocal of the edgeDual field of the supplied RSBridge.
why it matters
It supplies the geometric source for V_cb that downstream results canonical_V_cb and mixingFromCycles_Vcb_canonical discharge to the exact value 1/24. The construction realizes the module claim that CKM angles are derived from geometric counts (cube dual, eight-tick octave) rather than free parameters, closing one link in the T7–T8 chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.