solarTangent
plain-language theorem explainer
The solar mixing tangent is defined as the reciprocal of the golden ratio phi. Neutrino physicists cite this when matching the solar PMNS angle theta_12 to arctan of that quantity inside the Recognition Science framework. The definition is a direct noncomputable assignment drawn from the phi constant.
Claim. The solar mixing tangent equals $phi^{-1}$, where $phi$ is the golden ratio satisfying $phi = (1 + sqrt(5))/2$.
background
The module derives PMNS neutrino mixing angles from Recognition Science structural observations. The solar angle theta_12 satisfies tan(theta_12) approximately equal to 1/phi, while maximal mixing at theta_23 equals pi/4 corresponds to J minimum. The golden ratio phi enters as the self-similar fixed point forced at T6 of the UnifiedForcingChain. This definition supplies the exact value used to certify the solar tangent band.
proof idea
The definition is a one-line wrapper that assigns the inverse of phi from the Constants module.
why it matters
This definition supplies the solar tangent value required by the PMNSCert structure, which certifies that five PMNS parameters equal configDim D=5 and that the solar tangent lies in the observed band (0.617, 0.623). It connects directly to the phi-ladder and T6 fixed-point forcing in the Recognition Science framework. The downstream solarTangent_band theorem unfolds this definition to close the numerical interval using phi bounds.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.