这组 slides 讨论长流程 Agent 如何把证据、记忆、决策、验证、恢复与最终输出绑定为一条可机械检查的状态链。
内容概要
- 问题边界：为什么 result-only evaluation 不能证明跨阶段执行完整性
- 核心机制：Source Span Hash → Protected Memory Signature → Decision Fingerprint → Stage Receipt Hash Chain → Mechanical Completion Gate
- 实施方式：typed state、不可变证据、完整性压缩、隔离验证、artifact-aware recovery、typed abstention
- 工程证据：严格区分 runtime closure、protocol verification 与 answer accuracy
- 闭环结论：回答状态链如何阻断静默错误，并明确现有证据边界