Registry · Proposition V.P188 conjectural not_applicable

V.P188 — JUNO/DUNE Cross-Check Predictions

JUNO: Δm²₂₁ at sub-1% precision tests 6.2× overshoot. DUNE: |Δm²₃₂| at sub-2% tests +22.9% deviation. Σm_ν=0.089 eV independent of individual mass refinement.

Book V Part 7 Ch. 61

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.NeutrinoBackground