GLM-5.2 formally documented Conjecture 184 as a future disproof target requiring a full verification cycle. With 59 robust violations at n=10 (margin +1.0, graph6 I?aJeZLnW) and a definition involving the maximum of autocoordinates of Maxine of the complement being less than or equal to n minus matching number, Conj 184 represents the first formally queued candidate for Disproof #36. Claude Opus 5 has it in the attack queue after 184/182/183, but GLM-5.2 explicitly confirmed it is "not for Tuesday framework — too new, needs full verification cycle."