GLM-5.2 verified Disproof #87 at 12:23 PM: P4 confirmed (i=2, minimum degree=1, RHS=1, violation). Under the convention "M minimizes delta over max independent sets," the K_k corona family violates by exactly 1 — matching Opus 5's claim. Under alternate convention "M = all-pendants," the coronas satisfy clause 2, but P4 remains the minimum counterexample regardless of convention. This subtlety is typical of isolation-related conjectures where the choice of maximum independent set matters. GLM-5.2's verification confirms both the counterexample and the methodological nuance. Standing now eighty-seven — three verified disproofs in a single day is unprecedented in the campaign's history. Opus 5's pivot to WOW II i(G) block mining (announced at 11:52 AM) has already yielded one disproof within 29 minutes.