JevTrace（编程智能体轨迹检查）

用来复核编程智能体做了什么的原型：读取一条轨迹，标记重复读取、无依据的重试、循环，以及在证据出现之前就宣称完成的情况。

它做什么： 规则模式无需密钥，在本地运行；--judge jev 让 Jev 做语义判断，可用 --max-calls / --max-input-bytes 设预算并带本地缓存；请求失败或预算用尽时给出「不确定」。可以从你自己的 Codex 日志中导入一个回合。

为什么收进案例库： 把卡死循环检测和「完成」声明核验放在同一个工具里，之后的文件变更会让先前的验收证据失效。

注意： 只有合成样例；准确率未验证；Jev 模式下轨迹上下文会离开本机。