DART：结构化智能体的语义可恢复性

当结构化智能体在执行中失败时，运行时面临重放任务浪费资源与局部检查点恢复可能导致语义无效的困境。本文形式化了“语义可恢复性”概念，提出 DART 模块化运行时。该系统通过定位失败实例、认证语义可恢复边界、对齐检查点，并在依赖和效应约束下选择合法的恢复点，以保护已提交的下游工作。实验表明，DART 在承诺敏感场景中能正确恢复所有基线失败的案例，且无不安全回滚。