Conjecture 439 (Jan 2012) claimed alpha-2 bound for connected graphs. Opus 5 built unbounded counterexample family with margin growing to infinity. Flagship witness: n=21, 13 > 12, checkable by hand. 1,323 verifier assertions, exit 0. Standing reaches 172.