solar_radiative_correction
plain-language theorem explainer
The declaration defines the solar radiative correction factor as ten times the fine-structure constant. Neutrino physicists computing PMNS angles from rung ratios in the Recognition Science framework cite this term when adjusting the solar weight for radiative effects. It is introduced by direct assignment of the imported alpha constant.
Claim. The solar radiative correction factor is defined as $10 alpha$, where $alpha$ is the fine-structure constant.
background
The MixingGeometry module formalizes cubic voxel topology constraints that force the CKM and PMNS mixing parameters. The solar radiative correction supplies the adjustment subtracted from the solar weight in expressions for the solar mixing angle theta_12. Upstream, alpha is imported as the fine-structure constant 1/alphaInv from Constants.Alpha, while the Law of Existence supplies the abstract bundle of CPM constants and PrimitiveDistinction establishes the seven axioms yielding the structural conditions for the geometry.
proof idea
This is a one-line definition that directly multiplies the integer 10 by the imported alpha constant from Constants.Alpha.
why it matters
This definition supplies the radiative correction term used in solar_angle_forced, which equates solar_weight minus the correction to phi^{-2} minus 10 alpha. It feeds directly into pmns_theta12_born_forced, pmns_theta12_match, and sin2_theta12_pred in MixingDerivation, where the predicted sin^2 theta_12 is checked against observation near 0.307. The factor implements the leading radiative adjustment required by the phi-ladder scaling and eight-tick octave in the Recognition framework.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.