Registry · Proposition IV.P199 tau-effective formalized

IV.P199 — n=7 Structural Uniqueness: Coherence Functional Samples Lobe+Sector

Wave 12 upgrade: n=7 uniqueness proved via Nat-level n-scan. Deviations: n=5 (+892 ppm), n=6 (+466 ppm), n=7 (+8 ppm), n=8 (−486 ppm). n=7 is provably minimum via Lean omega. Three decompositions all yield 7: (A) 2·lobes·polarity+sectors=2·2+3 (CANONICAL), (B) generators+2=5+2, (C) b₁+b₂+1=3+3+1. Scope: τ-effective.

Book IV Part 3 Ch. 26

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs2

Symbol: Tau.BookIV.Electroweak.higgs_n7_uniqueness_thm