Registry · Theorem V.T173 conjectural formalized

V.T173 — One-Parameter Neutrino Family: Scale-Invariant Result 39.45

The one-parameter family (p,q,r)=(q-1,q,q-2) gives Delta_m^2_31/Delta_m^2_21=39.45 for ALL q (scale-invariant). Error: +210,803 ppm from PDG 32.58. This confirms the integer (4,5,3) result from Wave 2 (same family, same ratio). The PDG target 32.58 requires ASYMMETRIC offsets Delta_pq=1.1 != Delta_pr=0.9. Structural origin of asymmetry is the open question for Sprint 5.

Book V Part 3 Ch. 24

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.NeutrinoMode

Symbol: neutrino_one_param_family_conjecture