row_vcb_eq_geometry
plain-language theorem explainer
The equality states that the RS geometric prediction for the CKM element |V_cb| equals the edge-dual ratio 1/24 fixed by cubic lattice topology. Flavor physicists checking mixing angles against PDG data would cite this result when verifying the ledger derivation. The proof is a one-line wrapper that directly applies the upstream vcb_derived theorem.
Claim. $V_{cb}^{pred} = 1/24$, where the left side is the geometric prediction from cubic edge counting and the right side is the dual-lattice transition ratio between face-centered and vertex states.
background
The module addresses Phase 2 P2-CKM predictions for leading CKM magnitudes from RS cube geometry: V_cb_pred is defined as 1/24, the inverse of twice the total edge count. The edge_dual_ratio is the coupling between second-generation face-centered states and third-generation vertex states, also fixed at 1/24. The upstream theorem vcb_derived from MixingDerivation establishes the equality by unfolding V_cb_pred, V_cb_geom and edge_dual_ratio then applying norm_num.
proof idea
The proof is a one-line wrapper that invokes the theorem vcb_derived. That theorem unfolds the three definitions and reduces the numerical identity by norm_num.
why it matters
This equality supplies the V_cb geometric row inside ckmElementScoreCardCert_holds, which aggregates the three CKM predictions into a single certificate. It completes the cube-geometry step of the mixing derivation, consistent with D=3 and the eight-tick octave. The module falsifier states that a PDG update placing any element outside its certified 1-sigma band refutes the corresponding geometric claim.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.