solar_angle_forced
plain-language theorem explainer
The solar mixing angle satisfies solar_weight minus its radiative correction equaling phi to the minus two minus ten times the fine-structure constant. Neutrino physicists deriving PMNS parameters from cubic voxel geometry would cite this when matching Recognition Science scaling to observed angles. The proof is a one-line term wrapper that unfolds the two definitions then applies ring normalization.
Claim. The solar mixing weight minus the solar radiative correction equals $phi^{-2} - 10 alpha$, where $alpha$ is the fine-structure constant.
background
The module formalizes cubic voxel topology constraints that force CKM and PMNS mixing parameters. solar_weight is the solar mixing weight for a 2-step torsion gap, defined as $phi^{-2}$. solar_radiative_correction is the factor estimated as ten times the fine-structure constant. Upstream, alpha is defined as the reciprocal of its inverse in the Alpha module, while the Constants structure bundles net, projection, energy, and dispersion terms with a non-negativity hypothesis.
proof idea
The term proof unfolds solar_weight and solar_radiative_correction, reducing the left side to $phi^{-2} - 10 alpha$. The ring tactic then normalizes both sides to confirm the identity.
why it matters
This declaration pins the solar mixing angle to the phi-ladder scaling with an explicit alpha correction, advancing the geometric derivation of mixing matrices from the eight-tick octave and D=3 dimensions. It fills the solar sector of the mixing geometry module but has no recorded downstream uses yet, leaving open its insertion into full PMNS constructions.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.