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