Registry · Definition V.D237 tau-effective skeleton

V.D237 — Neutrino Exponent 4/3 Ratio: Lemniscate Counting

The candidate neutrino exponent asymmetry ratio Δpq/Δpr = 4/3 = (2×|lobes|)/|sectors| = 4/3, with span Δpq+Δpr = 2 = |lobes|. Gives (Δpq,Δpr) = (8/7,6/7) from the same lemniscate counting as Higgs n=7. Structural (exact arithmetic) but numerically 72589 ppm from PDG.

Book V Part 3 Ch. 24

Dependency Graph

Depends on (2)

Depended on by (4)

Lean Formalization

Module: TauLib.BookIV.Electroweak.NeutrinoMode

Symbol: Tau.BookIV.Electroweak.neutrino_exponent_43_ratio