Context Paradigm + Cordis 落地 + Agent 架构连接

Context Paradigm：两维度合一（论文 §3.3）

前 3 页分别讲了 temporal 和 spatial 两维度。论文 §3.3 的核心动作是——把它们塞进同一个 first-class 类型，叫 context type：

// 单一 context type：装下 effect + coeffect 两套机制
context := {
  state:        Γ,           // 当前世界状态
  dispose:      Γ → Γ,        // ← temporal：revertible effects 的 inverse 累积器
  inject:       Set[K],       // ← spatial：组件声明需要的 coeffect 列表
  provided:     Set[K],       // ← spatial：组件提供的 coeffect 列表
  store:        Map[K, V],    // coeffect → value 的实际绑定
  isolate:      Map[K, R],    // realm：决定 key 解析到哪个 binding
  intercept:    Map[K, M],    // metadata：拦截器
  parent:       Context?,     // 父 context（递归结构）
  fiber:        Fiber?,       // 当前 fiber（组件实例）
}

// 一个 ctx.effect 调用 = 修改 state + 累积 dispose
// 一个 ctx.set 调用 = 修改 store + notify 所有 inject 该 key 的 fiber
// 卸载 = 跑 dispose + notify dependents（dependency 消失触发 deactivate）

Cordis 核心 API：5 个原语走通全流程

范式落到代码就是 5 个原语。这里的 API（Application Programming Interface，应用程序接口）指"框架暴露给组件作者调用的一组函数/方法"。组件作者只用这 5 个 API 就能写出"安全可卸载"代码——runtime 帮你处理剩下的所有事。

// === Provider 组件 ===
class WebSearch implements Component {
  inject = [];                            // 不需要任何依赖
  apply(ctx: Context, config: Config) {
    ctx.effect(function* () {              // effect 迭代器
      const api = yield openSearchAPI(config.key);
      ctx.set('web_search', api);          // 注册 coeffect
      yield () => closeSearchAPI(api);     // inverse：unregister
    });
  }
}

// === Consumer 组件 ===
class SummarizerAgent implements Component {
  inject = ['web_search'];                // 声明依赖
  apply(ctx: Context) {
    // ctx['web_search'] 是类型安全的访问
    // runtime 自动检查 inject 声明
    const api = ctx['web_search'];
    ctx.set('summarizer', new Summarizer(api));
  }
}

// === Orchestrator ===
const root = new Context();
root.use(WebSearch, { key: 'sk-...' });    // Provider 加载 → notify
root.use(SummarizerAgent);                 // Consumer 加载 → 找到依赖 → ACTIVE
// ...
root.dispose();                            // 全部 LIFO 撤销

案例：Koishi 4 年 + 4000+ 社区插件（论文 §5.3）

Koishi 是一个开源 chatbot 框架，4 年积累 4000+ 社区贡献插件，跑在 Cordis 之上。论文用它证明这个范式能撑住生产级 open ecosystem。

连回本仓：4 个 brand adapter 的 Cordis 视角

本仓 experiment_modules/solving/adapters/ 下有 4 个 brand adapter（kimi / qwen / mimo / opencode）+ 1 个 ollama（带 3 个 runner）。用 Cordis 视角审视，能看到清晰的改造方向。

• tool schema 漂移（论文 §6.6）：4 个 brand 的 tool schema 是同名但结构不同的——kimi 的 web_search 跟 qwen 的 web_search 字段不完全一致。论文给了 3 个解决方向：key namespacing / peer dependencies / structural compatibility，但都还未彻底解决
• 多版本同 key：npm 之类的包管理器只能选一个版本；但 agent 多 brand 共存时可能需要同一 key 的多个版本——Cordis 目前不直接支持