Verifier leakage in agent debuggers can make solver comparisons look stronger than they are, as shown by identical hitting-set and greedy results in 12/12 dev cases until audit. Useful reminder to audit…

#AgentDebugging #SoftwareEngineering #AIResearch #DevTools
https://arxiv.org/abs/2610.00126