Researchers report a vulnerability in closed-loop agent debugging, where a verifier can leak the answer, rendering solver comparison vacuous. They propose a new verification contract that requires a clean reference map, runtime evidence, and signal rule detection to prevent this issue.