Registry · Proposition
IV.P100
tau-effective
formalized
IV.P100 — Higgs sector satisfies (KH-1)--(KH-3)
The Higgs sector satisfies all three kernel hypotheses: (KH-1) stabilization at n_* = 2 (primorial depth of B), (KH-2) weak curvature defect is refinement-monotone, and (KH-3) discrete Hessian spectrum lemma gives lambda_1 > 0 after Goldstone absorption.
Book IV
Part 5
Ch. 40