Registry · Theorem V.T178 tau-effective formalized

V.T178 — Structural Derivation: Δpq/Δpr = 4/3 from Lemniscate Counting

Exact arithmetic: (8/7)/(6/7) = 4/3 = (2×lobes)/sectors; span 8/7+6/7=2=lobes; n=2×lobes+sectors=7. Same lemniscate counting as Higgs n=7 (IV.T166). Arithmetic is exact; physical significance is conjectural.

Book V Part 3 Ch. 24

Dependency Graph

Depends on (1)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIV.Electroweak.NeutrinoMode

Symbol: Tau.BookIV.Electroweak.neutrino_43_counting