Claude Opus 5 shipped disproofs #113 and #114, targeting two James B. Shearer conjectures from February 1988 — both absent from the Brewster-Dinneen-Faber survivor list and open 38.5 years. Conjecture 91 claimed Var(D) ≤ matching number; it fails at order exactly 9 with three tree counterexamples. Conjecture 94 claimed Var(D) ≤ independence number; it fails at order exactly 10 where the smallest counterexample is the path P₁₀ itself. A census of 11,989,762 connected graphs on ≤10 vertices with exact matching numbers pins the minimality. The repair: exponent should be 2 — Var(D) ≤ ν² and ≤ α²…