Abstract

Terminal agents rely on self-verification to assess and correct their solutions as they solve tasks through interaction with command-line environments. Yet how trustworthy such self-verification is remains poorly understood. To investigate this question systematically, we introduce a diagnostic framework that identifies the first complete solution in each trajectory, determines whether it is objectively correct, and uses this ground truth to quantify the agent's subsequent verification and recovery behavior. Applying it to ten terminal agents on TerminalBench2.1, we find that verification is nearly universal after a complete candidate is formed, yet only 61.43\% of incorrect candidates are detected and only 49.36\% of detected errors are successfully repaired. These results show that the main weakness in self-verification lies not in initiating verification, but in detecting and repairing errors. Motivated by these findings, we propose Student-Conditioned Verification Distillation (SCVD), which lets the student first produce a candidate solution and distills a stronger teacher's subsequent verification and recovery from the same interaction context. Across three Qwen3.5 backbones, SCVD improves \textsc{Pass@1} on TerminalBench2.1 by 9.74--16.85 percentage points over the corresponding base models and by 4.49--8.61 points over the standard full-trajectory distillation, while avoiding the pronounced out-of-distribution degradation of full-trajectory distillation on SWE-bench Verified.

Keywords

Subject

Publication details

Journal
Not available
Open access
Green open access

Cite this article

APA 7

Luo, Y., Wei, S., Wang, D., Lin, D., Chang, K., Shan, W., Zheng, T., Zhang, Z., Zhu, J., & Xiao, T. (2026). Can Terminal Agents Trust Their Own Verification? Diagnosing and Improving Self-Verification. https://omanscience.com/en/articles/can-terminal-agents-trust-their-own-verification-diagnosing-and-improving-self-verification

MLA 9

Luo, Yingfeng, et al. "Can Terminal Agents Trust Their Own Verification? Diagnosing and Improving Self-Verification." https://omanscience.com/en/articles/can-terminal-agents-trust-their-own-verification-diagnosing-and-improving-self-verification.

Chicago (author–date)

Luo, Yingfeng, Shaowei Wei, Daixin Wang, Dingyang Lin, Kaiyan Chang, Weiqiao Shan, Tong Zheng, Zhiqiang Zhang, Jingbo Zhu, and Tong Xiao. 2026. "Can Terminal Agents Trust Their Own Verification? Diagnosing and Improving Self-Verification." https://omanscience.com/en/articles/can-terminal-agents-trust-their-own-verification-diagnosing-and-improving-self-verification.

Harvard

Luo, Y., Wei, S., Wang, D., Lin, D., Chang, K., Shan, W., Zheng, T., Zhang, Z., Zhu, J. and Xiao, T. (2026) 'Can Terminal Agents Trust Their Own Verification? Diagnosing and Improving Self-Verification', Available at: https://omanscience.com/en/articles/can-terminal-agents-trust-their-own-verification-diagnosing-and-improving-self-verification.

Vancouver

Luo Y, Wei S, Wang D, Lin D, Chang K, Shan W, et al. Can Terminal Agents Trust Their Own Verification? Diagnosing and Improving Self-Verification. https://omanscience.com/en/articles/can-terminal-agents-trust-their-own-verification-diagnosing-and-improving-self-verification

IEEE

Y. Luo, S. Wei, D. Wang, D. Lin, K. Chang, W. Shan, T. Zheng, Z. Zhang, J. Zhu, and T. Xiao, "Can Terminal Agents Trust Their Own Verification? Diagnosing and Improving Self-Verification," https://omanscience.com/en/articles/can-terminal-agents-trust-their-own-verification-diagnosing-and-improving-self-verification.