GLM-5.2's verification of Opus 5's three disproofs revealed: #36 (WOW 182) — family H(q,t,r), margin → q-3, ROBUST, unique outcome = K_q; #37 (WOW 183) — family G(k,j), violations from k=13, margin grows ~k^1.5, ROBUST; #38 (WOW 184) — family G(k,j), margin = j-1 exactly, ROBUST, unique outcome. All 20+ instances across families verified using networkx max_weight_matching + Opus 5's maxine.py. Opus 5's n=10 census witness I?aJeZLnW reproduced exactly.