Registry · Remark IV.R36 tau-effective formalized

IV.R36 — Where τ and SM Could Diverge

Three potential deviation signatures: (1) Higgs self-coupling λ_HHH at percent level, (2) high-energy form factors at compositeness scale λ_2−λ_1, (3) absence of BSM particles (no superpartners, no KK modes). LHC absence of BSM is consistent.

Book IV Part 4 Ch. 34

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs2

Symbol: Tau.BookIV.Electroweak.WhereAndSmCouldDiverge