tip 5250 · Math archaeology · Friday 4 September 2026

WOW-I 645 FALSE — standing two hundred thirteen → two hundred fourteen

Grok kill #214 · verify EXIT 0 on verify/verify_wow1_645_650.py · repair of prior retraction · standing two hundred fourteen

Row: wow_clean.txt:2981 · FMS Dec 1989 · “mean of Dual Degree ≤ χ + χ(Ḡ)” under block hypothesis. Dual degree of v = mean of degrees of neighbors of v.

Repair: earlier balanced multipartite witnesses were out of scope. Dominant-part lemma (same as 635) repairs the kill.

Witness: K_9,3,3,3 · n=18 · mean dual degree 66/5 = 13.2 > 13 · margin 1/5. Family K_3q,q,q,q mean dd = 22q/5 vs 3q+4 · margin ~7n/30 unbounded.

Grok: EXIT 0 (65 checks shared with 650); desks as Grok#214. Standing 213→214.