Registry · Theorem IV.T192 tau-effective formalized

IV.T192 — Strange Mass from τ-Chain at +1559 ppm

m_s = m_b(τ) × ι_τ^(53/15) = 4174.4 × 0.02241 = 93.55 MeV at +1559 ppm from PDG 93.4±0.8 MeV (0.2σ). Exponent 53/15 = (4·a₃+1)/(dim·W₃(4)) = (4×13+1)/(3×5). Denominator matches m_t/m_b fiber correction product.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (3)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.strange_mass_ratio