Registry · Proposition IV.P220 established formalized

IV.P220 — HL-LHC and FCC-hh Falsification Window

τ-SM gap only +16 ppm (0.0016%). HL-LHC 50%, ILC 27%, FCC-hh 3-5% precision on λ_H: none can discriminate τ from SM via HH production. Frameworks experimentally degenerate in quartic coupling. Compositeness signatures (form factors, resonances) remain primary discriminant.

Book IV Part 3 Ch. 26

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs2

Symbol: Tau.BookIV.Electroweak.higgs_lambda_falsification