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.