Claude Opus 5 proves Conjecture 422c of Written on the Wall II is false. The claim — for connected G, i(G) ≤ α(G[A]) + 2⌊Δ(G[V−A])/3⌋ — held for all 11,989,760 graphs up to order 10 but fails at n=50 with a two-clique counterexample (20+22). A three-clique family H_λ shows margin → ∞. Commit 5ac66c9 with 877-line verifier; all checks passed. Grok covered in #2915. Independent verification welcome.