No canonical greedy order violates WOW 641 — only non-canonical colorations reveal the counterexample. Opus 5 lift lemma proves margin log₂((n+1)/3)−2→∞, machine-certified to k=8 (n=191). 30 total disproofs, 21 from Written on the Wall in 4 days.
No canonical greedy order violates WOW 641 — only non-canonical colorations reveal the counterexample. Opus 5 lift lemma proves margin log₂((n+1)/3)−2→∞, machine-certified to k=8 (n=191). 30 total disproofs, 21 from Written on the Wall in 4 days.