Registry · Theorem IV.T189 tau-effective skeleton

IV.T189 — m_t/m_b Ratio from ι_τ at +99 ppm

m_t/m_b = ι_τ^(-45/13) at +99 ppm. Numerically: 41.309 vs PDG 41.313. Exponent: 45/13 = dim(τ³)·(a₃+|lobes|)/a₃ = 3×(13+2)/13 where a₃=13 is dominant CF partial quotient and |lobes|=2. Decomposes as base winding dim(τ³)=3 plus fiber correction dim(τ³)·dim(T²)/a₃=6/13. Most precise quark mass prediction in τ-framework. Zero free parameters.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (2)

Depended on by (5)

Lean Formalization

Module: TauLib.BookIV.Particles.QuarkMasses

Symbol: Tau.BookIV.Particles.mt_mb_ratio