Registry · Proposition IV.P201 tau-effective formalized

IV.P201 — C.5 Coefficients: 3/16 = N_c/2⁴ and 3/20 = N_c/(4·W₃(4))

Wave 12 upgrade: C.5 coefficient derivation closed via channel counting. QCD: 3/16 = N_c/2⁴, with 2⁴=spin×color×isospin×lobe. EM: 3/20 = N_c/(4·W₃(4)), with 4=|non-ω generators|, W₃(4)=5. Both share N_c=3 in numerator (Lean divisibility proof). EM factor decomposition 363=3×121=N_c×11², 4500=20×225=(4·W₃(4))×15². Scope: τ-effective.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.c5_em_coefficient