概念termination predicate / 停止条件 / 终止谓词
终止条件
指循环或递归能够停止所依赖的最终为真的判断表达式，是程序设计中控制执行流程的基本机制
核心事实
时间轴 (近 90 天)
10月12日
在计算机科学中，终止条件（termination predicate）是循环或递归能够停止所依赖的最终为真的判断表达式；若终止谓词在任何可达状态下都不成立，则为无限循环。
待验证50%
10月11日
Agent循环必须有终止条件，控制手段包括最大步数、截止时间、token与成本预算、工具执行超时、重试上限、取消机制和进度检查
已验证70%