AI代理工作空间状态与效应管理协议

reel 是一个针对 AI 代理工作空间状态和效应管理的协议，旨在解决代理在推理过程中对外部系统造成不可逆影响的问题。当代理决定放弃某条推理路径时，已经产生的外部副作用无法撤回。reel 通过定义事务性边界，使得这些副作用可以在代理决定丢弃时根本不会被执行。

协议定义了六种内容寻址类型：Hash、Block、Ref、Delta、Capability 和 View。三个动词——fork、commit 和 abort——以及三个不变量：可达性、丢弃的不可逆效应的沉默以及能力收缩。其关键设计在于，View 的待定副作用本身就是一个内容寻址的 Block。commit 将该块移入已提交日志并排出；abort 则丢弃引用，使块不可达并被回收。从提交不可逆效应到 commit 之间不存在执行路径，因为触发效应所需的能力仅在 commit 的排出过程中构造。abort 不构造任何能力，因此丢弃路径上的效应无法运行。

reel 将状态、副作用和能力表示为同一种内容寻址块，从而为整个工作空间提供回滚、审计和共享的统一事务内核。这意味着系统无需为每个功能单独实现事务性，而是可以通过一个内核管理跨多个外部资源的工作路由。这种方法借鉴了已有的研究成果，包括 Gray (1981) 的事务模型、Wang & Zheng (2026) 的快照隔离、Berenson et al. (1995) 的可串行化、Miller, Yee & Shapiro (2003) 的能力模型以及 Garcia-Molina & Salem (1987) 的 Sagas。reel 的贡献在于将这些概念组合在单一的内容寻址表示下。

目前，reel 包含规范文档（spec/），定义了六种类型、三个动词、三个不变量、效应类别、符合性准则和适配器接口。Rust 内核（crates/）包括多个 crate：reel-spec 提供协议类型，其命名空间是一个持久的写时复制映射，因此 fork 可以在常数时间内共享；reel-store 是一个内容寻址的块和引用存储，支持内存后端和基于 redb 的持久后端，并带有可达性遍历器用于回收；reel-effects 提供了密封的效应类特质和线性触发能力；reel-core 实现了内核，其中 fork（常数时间写时复制继承并带有能力收缩）和 abort 已完成，commit 正在开发中。此外，适配器（adapters/）和命令行工具（reel-cli）正在建设中。该工作空间基于稳定版 Rust 构建，并通过了属性基测试。

未来计划包括：commit 的前置条件验证和缓冲效应的有序排出；命令行工具，用于干运行循环，显示待定效应并允许提交或丢弃；效应拦截层，通过可替换后端捕获进程的出站效应，使得新集成的唯一工作是分类新服务。项目目前为预发布状态，规范已确定，内核正在按上述路径构建，接口可能发生变化。许可证为 Apache-2.0。