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

Peiying Zhu, Sidi Chang

Agent developers increasingly compare prompts, tools, policies, and diagnosis algorithms through simulator-grounded verifiers. A verifier can nevertheless make a solver comparison…