StateTape：面向长周期编程智能体的动作条件证据生命周期建模

StateTape 将代码仓库建模为符号级代码图，通过 tape 标记每次写入影响的符号，把陈旧性从文本推断转为对智能体写入的观察。每次写入时 tape 提名可能被证实的记录，再由小型 manager model 决定写入日志无法判定的内容，并在 TraceBench 上验证。实验覆盖 6 个编程智能体和 3 个重编辑基准，以较低计算开销提升了解析率。