checkpoint-recovery

DART 为结构化工具代理引入了语义可恢复性，形式化了一个标准，用于确定在做出下游承诺后，本地检查点恢复是否仍然有效。在三个基于LLM的领域进行的实验表明，它正确恢复了基线本地恢复失败的所有承诺敏感案例，且安全审计未发现不安全的回滚。