Registry · Theorem IV.T186 tau-effective skeleton

IV.T186 — Proton g-Factor from Quark Winding at +2000 ppm

g_p = (5−2ι_τ)/ι_τ = 5.597 at +2000 ppm from PDG 5.5857. Numerator: 3 (quark spins uud) + 2κ_D (orbital from two lobes). Denominator ι_τ: master coupling normalisation. Sub-percent from zero free parameters.

Book IV Part 6 Ch. 47

Dependency Graph

Depends on (2)

IV.T171 IV.T142

Depended on by (2)

IV.R424 IV.R437

Lean Formalization

Module: TauLib.BookIV.Atoms.HyperfineStructure

Symbol: Tau.BookIV.Atoms.proton_g_factor