faceFlux_12
plain-language theorem explainer
The Q₃ face spanning axes 0 and 1 (the 1→2 generation face) carries face flux 6. Anyone deriving the Wolfenstein A parameter from Gray-code chirality cites this as the numerator of the Berry flux ratio 6/4. The proof is pure definitional equality: flux is the sum of axis flip counts, and those counts are 4 and 2.
Claim. The face flux on the $Q_3$ face spanning axes $0$ and $1$ equals $6$. Explicitly, if face flux is the sum of Gray-code flip counts on the two spanning axes, then $\mathrm{flux}(0,1)=4+2=6$.
background
This module derives the Wolfenstein $A$ parameter from first-principles $Q_3$ geometry. The three cube axes carry Gray-code flip counts $(4,2,2)$: axis 0 is dominant (four flips), axes 1 and 2 are minor (two flips each). Generation torsion supplies the complementary integers $\Delta\tau_{12}=11$ and $\Delta\tau_{23}=6$.
Face flux on a generation face is the sum of the flip counts of the two axes that span it. The 1→2 face therefore mixes the dominant axis with a minor axis, while the 2→3 face mixes the two minors. The module records the five-line chain from these integers to $A_{\mathrm{corrected}}=9/11$, matching PDG within $0.6\sigma$.
The same $[4,2,2]$ chirality appears in the fine-structure and baryon-asymmetry sectors through the composite $44=4\times 11$, so the face-flux integers are not CKM-local bookkeeping; they are shared $Q_3$ data.
proof idea
Term-mode rfl. By definition, face flux on axes $i,j$ is the sum of the two Gray-code flip counts. Those counts are already fixed at $(4,2,2)$ for axes $(0,1,2)$, so the pair $(0,1)$ reduces definitionally to $4+2=6$. No lemmas are invoked; the equality is computational.
why it matters
This is step 4 of the module's five-line derivation of Wolfenstein $A$. Together with the companion face-flux value 4 on axes $(1,2)$, it supplies the Berry correction factor $6/4=3/2$. Multiplying the structural ratio $A_{\mathrm{structural}}=\Delta\tau_{23}/\Delta\tau_{12}=6/11$ by that factor yields $A_{\mathrm{corrected}}=9/11$.
Downstream, ckmExactCert packages the structural identity, the corrected value, the Berry factor, its square, and the PDG $1\sigma$ membership into a single certificate. The same integers reappear in the "44 connection": $\alpha^{-1}$ and $\eta_B$ are governed by $4\times 11$, while $A$ is the cross-ratio of torsion gaps against these face fluxes. Closing the flux values is therefore what lets the CKM sector sit on the same $Q_3$ chirality as the gauge and cosmological sectors.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.