Registry · Theorem IV.T173 conjectural formalized

IV.T173 — η̄ Exponent Derivation: All from |lobes|=2, |gen|=5 (τ-effective)

η̄ = ι_τ^(-1/4)·κ_D^(5/4)/√5 at -2285 ppm from PDG 0.349. Complete structural derivation: (1) -1/4 = -1/(2·|lobes|) from quarter-lobe holonomy on L=S¹∨S¹; (2) 5/4 = |gen|/(2·|lobes|) from 5 generators each contributing κ_D^(1/4); (3) 1/√5 = |gen|^(-1/2) from L² normalization. All exponents uniquely determined by two topological invariants: |lobes|=2 and |generators|=5.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (4)

Depended on by (4)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.eta_bar_exponent_derivation