Registry · Proposition IV.P216 tau-effective skeleton

IV.P216 — Step-Exponent Confinement Correction

Step exponents Δβ(gen n→n+1): up-type (5.94, 4.57), down-type (2.78, 3.54), leptons (4.96, 2.63). Quark-lepton differences O(1), too large for perturbative κ(C;3). Exception: Δβ_down(2→3)≈15·κ(C;3) at 4568 ppm suggests b/s step governed by 15 confinement units.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Particles.QuarkMasses

Symbol: Tau.BookIV.Particles.step_exponent_confinement