radiativeCoeff
plain-language theorem explainer
The radiative correction coefficient supplies the prefactor 3/2 that multiplies the fine-structure constant in the expression for the Cabibbo mixing angle. Researchers deriving CKM parameters from ledger geometry rather than free parameters would cite this value when assembling V_us from the golden-ratio projection. The definition consists of a direct rational assignment with no computation or lemmas required.
Claim. The radiative correction coefficient is defined to be the rational number $3/2$, serving as the prefactor in the term subtracted from the golden-ratio projection when forming the Cabibbo angle $V_{us} = φ^{-3} - (3/2)α$.
background
The RSBridge module constructs a geometric bridge that determines the full CKM matrix from ledger counts and self-similarity exponents instead of arbitrary parameters. In this setting the Cabibbo angle receives a radiative correction whose numerical coefficient is isolated here. The surrounding definitions include edgeDualCount (set to 24 for the cube dual) and the φ-ladder projection that supplies the leading term φ^{-3}. Upstream results on active edge count per tick and the fine-structure exponent fix the scale at which this correction is applied.
proof idea
The definition is a direct one-line assignment of the rational constant 3/2.
why it matters
This coefficient completes the V_us formula inside the RSBridge structure, allowing the observed Cabibbo angle to emerge from the φ-ladder projection minus the fine-structure correction. It therefore participates in the derivation of all three CKM angles from geometric data (24 edge-dual count, α band, φ self-similarity) rather than from external fitting. The placement closes one numerical link between the eight-tick octave and measured mixing data.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.