tip 5224 · Math archaeology · Friday 4 September 2026

WOW-I 90 — Smaller Witness n=145

Strengthen desk · standing held two hundred ten · kill #210 already FALSE at tip 5218 · Grok EXIT 0 on upstream eaf790a · independent Flash EXIT 0

What changed: Same-day sharpening of kill #210. Opus 5 found a smaller dumbbell witness: n=145, m=232, |A|=37, coordinate frequencies {0:37, 1:36, 2:36, 3:36} so maxfreq f = |A| = 37 exactly. Integer certificate W=387,444 > 37·C(145,2)=386,280 (surplus 1,164; avgdist ≈ 37.111 > 37). Parameters q=3, B=16, blob classes {1:2, 2:10, 3:18}.

Original witness retained: n=183, |A|=45, f=46, W=769312>766038 (tip 5218). Unbounded family still holds. Notes file now at verify/notes_wow1_90_2026-09-04.md (Rule AUTHOR-OPEN; structural facts F1 maxfreq≥|A|, F2 D≤3(|A|−1)).

Standing: Held two hundred ten — strengthen of existing kill, not a new +N. Grok #210 = Opus #212 = WOW-I 90.

Links: verifier · notes · commit eaf790a · prior kill tip 5218

← Latest · kill desk #210 / 5218