TBM_correction_theta12
plain-language theorem explainer
This definition supplies the RS correction term to tribimaximal mixing for the solar angle in the PMNS matrix. Neutrino model builders comparing φ-quantized predictions to solar data would cite it when adjusting the 1/3 benchmark. The definition is a direct subtraction of the observed sin²θ12 value from the tribimaximal ideal.
Claim. $Δ( sin² θ₁₂ ) := 1/3 - sin² θ₁₂^{observed}$
background
The module derives the PMNS neutrino mixing matrix from Recognition Science φ-angles. Tribimaximal mixing sets sin²θ12 = 1/3 as the ideal for three-generation flavor-mass transformation. The correction quantifies the deviation from this symmetry point under RS forcing.
proof idea
One-line definition that subtracts the sibling constant sin2_theta12_observed from the tribimaximal benchmark 1/3. No lemmas or tactics are invoked; the body is a numeric difference.
why it matters
It advances the SM-014 target of φ-quantized PMNS angles in the Recognition framework. The module doc-comment links the term to the eight-tick octave that partitions 24 degrees of freedom across three generations. It supports the PRD proposition on neutrino mixing from golden-ratio geometry while leaving open whether the numerical value matches a low power of (φ-1).
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.