V_ub_pred
plain-language theorem explainer
The definition sets the predicted CKM element V_ub to half the fine-structure constant. CKM phenomenology groups cite it when checking geometric predictions for theta_13 against measured mixing angles. It reduces to a direct reference to the leakage term from the alpha derivation.
Claim. $|V_{ub}|_{pred} = {alpha}/2$
background
The CKM Geometry module derives the three mixing angles from cubic ledger couplings under the T11 hypothesis. fine_structure_leakage is defined as Constants.alpha / 2 and represents the parity-split coupling between non-adjacent generations mediated by vacuum polarization. vertex_edge_slots equals 2 times the number of edges in a 3-cube and supplies the exact 1/24 ratio for V_cb.
proof idea
One-line definition that aliases V_ub_pred directly to fine_structure_leakage.
why it matters
It supplies the V_ub input to CKMElementScoreCardCert and to jarlskog_witness_pos. The declaration completes the T11 geometric prediction for theta_13, linking the alpha band to the ledger geometry and the eight-tick octave structure.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.