Temporal Composability：组件可进可出（Revertible Effects）

什么是 Temporal Composability（论文 §1.1）

论文定义：temporal composability 是"upon removal of a component, the modifications the component made to the shared environment must be completely and safely reversed"。换句话说——

组件卸载后，世界状态 必须等于 组件加载前的世界状态。中间的所有副作用、注册的事件、打开的文件句柄、分配的缓存——全部回滚。

• 完全撤销（complete reversal）：不是"部分撤销"或"尽力撤销"——必须 = id_Γ，所有 effect 全部 revert
• LIFO 顺序：后装的先卸（stack 语义），因为后装的可能依赖先装的资源；乱序会导致 resource 已经卸了但有人还在用
• 自动组合（composition-preserving）：单个 effect 撤销 + 另一个 effect 撤销 = 复合 effect 撤销（数学上的 monoid homomorphism）

机制：Revertible Effects（论文 §3.1）

核心思想：每个 effect 配对一个 inverse，runtime 自动累积、按 LIFO 撤销。作者用一个代数结构承载这个语义。

// 1) 改造前的 impure 函数
f_impure : X → Y

// 2) 改造成"接受 context、返回 (新 context, inverse)"
f : Γ × X → Γ × Y

// 3) effect 上下文：当前 state + inverse 累积器
∂Γ := Γ × (Γ → Γ)
       //  ↑       ↑
       // state   累积器：到目前为止所有 inverse 的复合

// 4) 跟踪 effect 的核心函数
track( f, g ) : ∂Γ → ∂Γ
track( f, g )(γ, φ) = ( f(γ), φ ∘ g )
                     // ↑      ↑
                     // 应用 f  把 inverse g 复合到累积器

// 5) 卸载时跑累积器
dispose() : ∂Γ → ∂Γ
dispose(γ, φ) = ( φ(γ), id )  // 把世界状态用累积器回滚

应用到 agent 工具管理：3 个场景

工具（tool）是 agent 最常见的"组件"。传统实现里，工具加载 / 卸载的副作用管理是程序员记性——用 Cordis 视角看，每个 tool 的 lifecycle 都应该走 ctx.effect。

• 传统：工具打开 file handle / 建立 DB connection / 启动子进程，开发者记 dispose
• Cordis 化：ctx.effect(() => { fd = open(path); return () => close(fd) })——accumulator 收集 close callback
• agent 价值：长跑 agent 中途换 tool（比如从 file_reader 换成 s3_reader）时，fd 自动关、新 fd 自动开，state 干净

• 问题：tool 加载时建了 derived state（比如 embedding 缓存、connection pool），卸载时这些 state 必须清掉否则泄漏
• 传统：开发者手动跟踪，debug 噩梦
• Cordis 化：每个 derived state 用 ctx.effect 分配 → inverse 自动记录 → 卸载时自动回收