Cordis

定义

Cordis 是 DeepSeek Harness 底层的插件框架，一个”时空可组合性的元框架（meta-framework of spatiotemporal composability）“。它提供一个带效应追踪（effect tracking）与共效应解析（coeffect resolution）的核心库，以及带配置调和（configuration reconciliation）与热模块替换（hot module replacement, HMR）的声明式组件加载器。

关键信息

• 仓库：github.com/cordiverse/cordis（在 DSH 中为 vendor/ vendored 源码）
• 作者：shigma（shigma@cordis.io）
• 理论论文：《A Programming Paradigm for Spatiotemporal Composability》（2026-08-13 草稿），见 Cordis时空可组合性论文
• 在 DSH 中：@deepseek-ai/cordis 是所有 harness 包的 peerDependency

五个核心思想（DSH primer 归纳）

1. 插件是对象：实现 Service 的对象（函数带 inject/apply(ctx)，或 Service 子类）
2. 上下文是服务仓库：服务占用稳定 ctx.<key>（ctx.tools、ctx.llm、ctx.sessions）
3. inject 声明依赖：加载顺序由依赖表达
4. Typed events 通信：按 emit / waterfall / parallel / serial 分发
5. 注册是可逆 effect：ctx.effect() / ctx.on() 安装，卸载可回退

事件分发模式

Mode	await	顺序	返回值
emit	否	注册顺序	否
waterfall	否	注册顺序	是
parallel	是	并行	否
serial	是	注册顺序	是

关联

• 理论：时空可组合性（可逆效应 + 反应式共效应 → 单一 context 类型）
• 应用：一切皆插件（DeepSeek Harness 的架构原则）
• 实体：DeepSeek Harness