canonicalRSBridge_edgeDual
plain-language theorem explainer
The canonical recognition science bridge for any ledger fixes its edge-dual count at exactly 24. Researchers deriving CKM mixing angles from ledger geometry cite this to obtain V_cb = 1/24 from the dual of the cube's 12 edges rather than a free parameter. The proof is a direct reflexivity step that follows immediately from the definition of the canonical bridge.
Claim. For any recognition science ledger $L$, the edge-dual field of the canonical rich bridge constructed from $L$ equals 24.
background
The RSBridge module constructs a rich bridge structure that encodes geometric couplings for deriving CKM mixing angles from ledger geometry instead of postulating them. The edge-dual count is defined as twice the 12 edges of the cube dual, supplying the factor 24 that yields V_cb = 1/24. This construction rests on the canonical arithmetic object (initial Peano structure independent of realization) and the primitive distinction axioms that reduce seven axioms to four structural conditions plus three definitional facts.
proof idea
The proof is a one-line reflexivity step. It matches the edgeDual field in the definition of the canonical bridge directly to the constant 24.
why it matters
This result supplies the geometric origin for the V_cb mixing angle, grounding it in the 24-fold edge dual rather than an arbitrary parameter. It supports the module's key claim that mixing angles are derived from geometric counts (24 edges, phi projection) and aligns with Recognition Science landmarks T7 (eight-tick octave) and T8 (D=3) through discrete geometric structures. No downstream uses are recorded yet.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.