# DeepSeek Harness 的底座：把「插件架构」写成论文的 Cordis

---

**DeepSeek Harness**（`dsh`）的架构宣言只有一句：**Everything is a plugin**——模型适配器、工具注册表、会话日志、Agent 主循环，全部是插件，没有不可替换的核心。

支撑这套架构的底座叫 **Cordis**——一个把「插件架构」本身写成论文的元框架。这篇从 Harness 的架构说起，讲清楚 Cordis 是什么、为什么 Harness 选了它。

---

## 一、Harness 的架构：一切皆插件

dsh 的产品文档里有一句关键的话：**没有特权核心可打补丁**——你扩展 dsh 的方式是在其他插件旁边挂载一个新插件。

```text
模型适配器 = 插件
工具注册表 = 插件
会话日志   = 插件
Agent 主循环 = 插件
Web UI    = 插件
```

每一部分都能从配置层替换。这让 dsh 的扩展性从「打补丁」变成「换组件」。但这个能力有个前提：插件系统必须能**干净地挂载和卸载**、**声明式管理依赖**、**在运行时组合**。这正是 Cordis 解决的问题。

---

## 二、Cordis：动态组合的编程范式

Cordis 是一个元框架——一套关于「动态组合」的编程范式。它把插件架构里最难的两个问题形式化成了一篇论文（《A Programming Paradigm for Spatiotemporal Composability》）。

两个正交维度：

| 维度 | 问题 | 形式化 |
|------|------|--------|
| **时间可组合性** | 移除组件时，副作用能完全回退吗？ | Revertible Effects（可逆效果） |
| **空间可组合性** | 组件间的依赖能声明并响应式管理吗？ | Reactive Coeffects（响应式共效） |

**可逆效果**：每次上下文转换都携带一个逆操作，运行时跟踪它——组件卸载时按逆操作回退。

**响应式共效**：上下文的每次变化都会根据组件的共效声明通知它——依赖变化自动传导。

---

## 三、五个核心概念

Cordis 把整个框架压缩成五个概念：

```text
1. 插件 = 实现 Service 的对象
2. Context = 服务的仓库（ctx.tools、ctx.llm、ctx.sessions...）
3. inject = 声明服务依赖（依赖满足才激活）
4. 类型化事件 = emit / waterfall / parallel / serial
5. 注册 = 可逆效果（ctx.effect()，卸载时自动回退）
```

插件之间找服务靠 `ctx.<key>`，不靠 import 具体实现——这是解耦的关键。加载顺序通过服务依赖表达，无需手动排序。

---

## 四、四种事件分发模式

每个事件有且只有一种分发模式，是公开契约的一部分：

| 模式 | 语义 | 返回值 |
|------|------|--------|
| **emit** | 监听者按注册顺序观察，不等结果 | 无 |
| **waterfall** | 中间件链，`next()` 委托给下一个，可短路 | 有 |
| **parallel** | 所有监听者并行执行 | 无 |
| **serial** | 监听者按顺序执行，逐个等待 | 有 |

waterfall 是策略拦截的核心：一个策略监听者可以在自己拥有决策权时直接返回而不调用 `next()`，下游监听者只能看到被替换后的结果。dsh 的 `agent/pre-step`、`tools/*` 事件就是用这个模式实现「改写请求、拒绝请求、短路 turn」。

---

## 五、组合演算：从单个组件到整个系统

论文的元理论部分做了一个关键的提升：

> 把可逆效果和响应式共效组合成「组件」，给出动态组合的演算。其元理论将时空可组合性从单个组件推广到整个交错组件系统。

单组件的可逆性 + 依赖响应性，通过组合规则传递到整个系统。系统级的「热替换」从工程实践变成可证明的性质。

---

## 六、Harness 怎么用 Cordis

### 每个产品模块 = 一个 Cordis 插件

dsh 的核心包全部映射为 Cordis 服务：

```text
dsh 核心包              → Cordis 服务（ctx key）
core/session            → ctx.sessions
core/system-prompt      → ctx.systemPrompt
core/tools              → ctx.tools
core/agent              → ctx.agents
core/agent-loop         → ctx.agentLoop
llm/llm                 → ctx.llm
```

### Profile/Bundle = Cordis 声明式加载器

dsh 的「Profile 是命名组合、Bundle 是分发格式、patch 是配置覆盖」这套体系，底层就是 Cordis 的 loader（配置调和 + 热模块替换）。`dsh --profile web --dump-config` 打印的配置树，就是 loader 实际启动的组件树。

### 「全部可替换」由可逆效果支撑

替换一个服务，旧注册自动回退，不留残留——dsh 的「任何部分都能从配置层替换」由此成立。

### Vendor 机制隔离 API 不稳定

dsh vendor 固定版本的 Cordis（代码进 `vendor/` 目录，有同步流程），不依赖 npm 最新版。Cordis 的「API 可能随时变更」不影响 dsh 的稳定性。

---

## 七、安装

```bash
npm install @cordisjs/core
```

---

## 结语

大部分框架把「插件能挂上」当作终点，Cordis 把「插件能干净地拆下来、依赖能自动传导」当作起点，并且用论文形式化了这两个性质。Harness 证明了这套范式能撑起一个完整的 Agent 产品；它的适用场景远不止于此——编辑器内核、自进化软件、任何需要运行时动态组装和策略拦截的系统。


DeepSeek Harness（dsh）的架构宣言只有一句：Everything is a plugin——模型适配器、工具注册表、会话日志、Agent 主循环，全部是插件，没有不可替换的核心。

DeepSeek Harness 的底座：把「插件架构」写成论文的 Cordis

软件研发

编程语言

架构设计

开发工具

DeepSeekHarness以"一切皆插件"为架构核心，模型适配器、工具注册表等均为可替换组件，由元框架Cordis提供支撑。Cordis将插件架构形式化为论文，通过可逆效果与响应式共效实现动态组合，支持插件干净卸载与依赖自动传导，保障系统级热替换可证明，广泛适用于Agent产品与动态组装系统。

代码解释

中间件

Agent

快速部署LLM、AI绘画等应用,助你玩转AIGC！


文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

EdgeOne AI 安全实战专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

社区新版编辑器体验调研

DeepSeek Harness 的底座：把「插件架构」写成论文的 Cordis-腾讯云开发者社区-腾讯云

DeepSeek Harness 的底座：把「插件架构」写成论文的 Cordis

DeepSeek Harness 的底座：把「插件架构」写成论文的 Cordis

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐