Registry · Remark IV.R408 tau-effective skeleton

IV.R408 — m_mu/m_e Sub-100 ppm NNLO Status and Higgs n Comparison Table

m_mu/m_e NNLO status: current best iota_tau^(-124/25) at +307.1 ppm. The correction factor (1-iota_tau^7.67) reduces this to +44.5 ppm, but k=7.67 has no simple structural identification (not rational with small denominator). Fine scan finds no rational exponent shift achieving sub-100 ppm. NNLO derivation remains open. Higgs n comparison (PDG 125.20 GeV): n=5 tau-effective structural (+892 ppm, W_3(4)); n=7 tau-effective numerical (+8 ppm); the gap in structural understanding between n=5 and n=7 is the key open question for the Higgs sector.

Book IV Part 3 Ch. 26

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs2

Symbol: higgs_n7_tau_effective