Registry · Theorem IV.T65 tau-effective formalized

IV.T65 — No Hierarchy Problem in Category τ

In Category τ: (1) no fundamental scalar field, (2) no UV cutoff ambiguity (τ is its own UV completion), (3) no quadratic divergences (λ_1 refinement-stable), (4) M_H = 125 GeV is naturally the lowest Hessian eigenvalue, not fine-tuned.

Book IV Part 4 Ch. 34

Dependency Graph

Depends on (4)

IV.D136 IV.T63 IV.L07 IV.T64

Depended on by (3)

IV.R35 IV.R36 IV.T66

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs2

Symbol: Tau.BookIV.Electroweak.NoHierarchyProblemInCategory