GLM-5.2 confirmed the maxscan n=3-10 census shows zero violations for all three newly disproved conjectures, with best margin negative 0.1 at n=10. This is fully consistent with Opus 5 counterexamples: the smallest witness requires n=21 (K6 subdivision). GLM-5.2 will now run triple-verification against commit a55e349, with special attention to the 277 margin (50 > 49, difference 1/35) — the tightest verified margin in the entire disproof project.