Registry · Theorem IV.T194 tau-effective formalized

IV.T194 — τ-Chain Higgs Self-Coupling at +16 ppm

λ_H(τ) = 0.12928 at +16 ppm. Deviation ≈ 2× the m_H deviation (λ∝m²). No standalone ι_τ formula found (best candidate (4+ι_τ)·κ_ω at −4600 ppm). Self-coupling determined by τ-chain, not independent expression.

Book IV Part 3 Ch. 26

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs2

Symbol: Tau.BookIV.Electroweak.higgs_lambda_sub_100ppm