Registry · Remark V.R372 tau-effective formalized

V.R372 — Sprint 4 Findings and OQ-C3 Status

OQ-C3 upgraded to tau-effective after Sprint 4. Ratio Delta_m^2_31/Delta_m^2_21=32.82 matches PDG 32.58 within 0.75%; Sigma_mnu=0.089 eV < 0.12 eV. Best integer (p,p+1,p-1) gives ratio 39.45 (21.1% from PDG). Best half-integer (p,p-0.5,p-1) gives 34.77 (6.7%). All three neutrinos are Majorana (sigma-odd mode is Majorana; sigma-even modes also Majorana via field redefinition). CF-based exponent derivation: Delta_pq=14/13, Delta_pr=12/13 fits Sprint 3 values within 2.5%; full derivation open for Sprint 5.

Book V Part 3 Ch. 24

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Electroweak.NeutrinoMode

Symbol: remark_sprint4