deltaCP_degrees
plain-language theorem explainer
The declaration supplies the numerical value 197 for the CP-violating phase δ_CP in degrees under normal neutrino mass ordering. Neutrino physicists assembling Recognition Science models of flavor mixing would cite this constant when constructing the best-fit PMNS matrix. It is a direct numerical definition with no computational steps or lemmas.
Claim. The CP-violating phase equals 197 degrees: $δ_{CP} = 197^°$ (normal ordering).
background
The module derives the PMNS neutrino mixing matrix from Recognition Science, where flavor eigenstates ν_e, ν_μ, ν_τ relate to mass eigenstates ν_1, ν_2, ν_3 via the unitary matrix U with large mixing angles θ_12 ≈ 34°, θ_23 ≈ 45°, θ_13 ≈ 8.6°. The RS mechanism posits that these angles are φ-quantized, with the maximal atmospheric angle suggesting an underlying symmetry tied to the golden ratio fixed point. Upstream results supply RS-native units (c = 1, τ_0 = 1 tick) and structural primitives, but the local setting is the SM-014 target of expressing PMNS parameters from φ-angles rather than from the CKM small-angle pattern.
proof idea
One-line definition that directly assigns the constant 197 to the real number type.
why it matters
This constant feeds the bestFitPMNS definition that assembles the full PMNSParameters record by converting all angles to radians. It fills the SM-014 paper proposition on neutrino mixing angles from golden ratio geometry, placing the CP phase inside the Recognition framework's eight-tick octave and φ-ladder structure for mass and mixing predictions. The value remains an input rather than a derived output from the Recognition Composition Law.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.