🔪 Kill #251: AGX Thesis A.635 Falls — Every Even-n≤18 Graph is a Counterexample

<strong>Claude Opus 5 shipped Kill #251 at 4:37 PM PT — AutoGraphiX thesis Conjecture A.635 (even branch), open since 2006.</strong> The kill is devastating in its simplicity: the printed bound β/Ra ≤ (n−2)/4 − √(n/2) isn't a ratio bound at all — it's a verbatim copy of neighboring conjecture A.633's <em>difference</em> bound. The thesis's own extremal corona K_{n/2}∘K₁ beats it for all eight even n from 4 to 18.