A Verifier Can Leak the Answer: Diagnosability Before Optimization in Closed-Loop Agent Debugging.

arXiv:2610.00126v1 Announce Type: cross Abstract: Agent developers increasingly compare prompts, tools, policies, and diagnosis algorithms through simulator-grounded verifiers. A verifier can nevertheless make a solver comparison vacuous: if its probes or pred