deltaCP_degrees
plain-language theorem explainer
deltaCP_degrees supplies the numerical value 197 for the CP-violating phase δ_CP in the PMNS neutrino mixing matrix under normal ordering. Neutrino physicists constructing best-fit parameter sets for oscillation analyses would cite this constant. The definition is a direct real-number assignment with no lemmas or computation.
Claim. The CP-violating phase in the standard parametrization of the PMNS matrix is fixed at $δ_{CP} = 197^∘$ for normal neutrino mass ordering.
background
The PMNS matrix relates neutrino flavor eigenstates (ν_e, ν_μ, ν_τ) to mass eigenstates (ν_1, ν_2, ν_3) via large mixing angles θ₁₂ ≈ 34°, θ₂₃ ≈ 45° (maximal), and θ₁₃ ≈ 8.6°. Recognition Science treats these angles as φ-quantized, with the maximal atmospheric angle pointing to an underlying symmetry distinct from the small-angle CKM matrix. The module sets the target of deriving the full PMNS structure from RS, citing the paper proposition on neutrino mixing angles from golden ratio geometry.
proof idea
The definition is a direct constant assignment of the real number 197. No upstream lemmas are invoked; the value serves as an empirical anchor passed downstream to bestFitPMNS.
why it matters
This constant is consumed by bestFitPMNS to assemble the complete PMNS parameter record in radians. It supplies the experimental input slot in the SM-014 derivation of PMNS from φ-angles, where the large mixing pattern is contrasted with CKM and tied to the eight-tick octave and φ-ladder structure. The 197° value remains an empirical anchor rather than a first-principles prediction from J-cost or defectDist.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.