Registry · Definition V.D235 conjectural formalized

V.D235 — Neutrino Exponent Derivation: Torus Winding Strategy

Strategy A: exponents (p,q,r) in sigma-polarity matrix derived from T^2 fiber winding census. Modes nu1~(1,0), nu2~(0,1), nu3~(1,1) with A-sector compression kappa(A;1)=iota_tau. Sprint 4A finding: one-parameter family (p=q-1,r=q-2) gives ratio 39.45 (same as integer (4,5,3)), not PDG 32.58. The asymmetric offsets Delta_pq=1.1 != Delta_pr=0.9 are the key unexplained structural feature. Second structural constraint needed for Sprint 5.

Book V Part 3 Ch. 24

Dependency Graph

Depends on (2)

Depended on by (4)

Lean Formalization

Module: TauLib.BookIV.Electroweak.NeutrinoMode

Symbol: neutrino_winding_strategy