DeepSeek 与北大联手放出一篇 80 多页论文，把「自进化 Agent」的工程底座摊开了。核心是一套叫 Cordis 的元框架——可逆插件系统，也是 DeepSeek Harness（大黑鲸）插件生态如此开放的原因。论文给出数学化解法：可逆效应 + 反应式余效应，解决「时空可组合性」，让 AI 在运行时自己装卸工具，不用重启进程。
为什么自进化必须先过「不能重启」这道坎
几乎所有插件系统都「插上就拔不下来」。论文以 VSCode 为例：截至 2026 年 6 月 9 日，Marketplace 排名前 100 的扩展里 87 个含可执行代码，激活后无法在运行时单独卸载，禁用或删除必须重启整个扩展宿主。
普通软件重启的代价尚可接受，但 Agent 运行时里塞满了工具集、执行环境、权限控制、沙箱、会话状态和记忆系统——重启一次，之前积累的上下文全部崩掉。而自进化 AI 的未来场景是：Agent 自己生成工具、装进运行时、发现问题再替换。如果改一行代码就要重启整个进程，Agent 每自我改进一次就失忆一次。论文称之为时间可组合性。
另一半问题是空间可组合性：模块之间靠各自打补丁维护依赖，很容易引入循环依赖，重载时爆雷。运行时要想扛住自我修改，依赖拓扑必须自动推导，而不是手写维护。
解法：可逆效应 + 反应式余效应
理论根基来自类型论：效应刻画程序对世界的影响，余效应刻画世界对程序的约束，两者对偶。但经典效应/余效应是静态类型系统工具，自进化场景下框架是动态加载的，DeepSeek 为此做了适配升级：
可逆效应主攻时间维度：每次上下文修改必须配一个显式逆函数，加载时按顺序叠成「撤销链」，卸载时反向执行，状态精确复原到加载之前——就像一摞盘子，最后放上去的先拿走。
反应式余效应负责空间维度：组件声明自己需要哪些依赖，依赖齐全才进入 ACTIVE；提供者撤走，依赖方先停、等自己的 effect 撤回，提供者才完成卸载。拓扑编排从声明自动推导，不用开发者手写。
两者结合，就是论文标题里「时空可组合性」的含义。
不是实验室玩具：Koishi 四年 4000+ 插件验证
这套范式不是纸上谈兵，已经在生产环境跑了四年。Cordis（拉丁语「心」）是聊天机器人框架 Koishi 的底座，而 Koishi 的作者正是论文一作、同时挂名北大和 DeepSeek 的 Yifan Shi。四年间 Koishi 积累了 4000+ 社区插件，覆盖 IM 适配器、数据库驱动、管理控制台等。
实测效果：控制台禁用一个插件，影响原地撤回，其他插件照常工作；开发时改完插件保存即热重载，缓存和连接不动；切换存储后端时，只有依赖真正变化的插件才被重新激活——这些插件来自不同作者，唯一协调机制就是反应式余效应规则。
论文也坦承局限：单一生态（Koishi）、单一语言（TypeScript）、缺乏与替代架构的受控对比。但它是可用的存在性证明——而 DeepSeek Harness 就是 Cordis 的产品级升级版。
这意味着什么
Agent 战争正从模型质量转向运行时基础设施：谁能安全地让 Agent 自我修改，谁就赢得长期竞争——Cloudflare 给 Agent 建持久化运行环境，打的也是同一片战场。DeepSeek 这次补上了关键一块：让自我修改变得安全的数学化方案。
三个直接推论：其一，自进化 Agent（写工具→装载→测试→替换）从科幻变成有理论支撑的工程路线图；其二，插件生态第一次可以在运行时安全变更，记忆、工具、技能全部热插拔，「插上就拔不下来」的时代结束；其三，可逆性会成为通用设计原则——任何允许软件修改自身的系统，都得先有撤销语义。这个模式会扩散到所有长期运行的 Agent 宿主，包括本地部署的 Agent 方案。
DeepSeek 的打法是一个飞轮：开放的范式 + Harness 周边病毒式增长的插件文化 + 底层理论背书，三者互相强化，对手很难快速复制。
现在可以做什么
**开发者：**读论文（github.com/cordiverse/paper）和 Koishi 源码，可逆效应模式可以直接借鉴进自己的 Agent 工具链，不必等 DeepSeek 落地。
**做 Agent 运行时的团队：**在加自修改功能之前，先把撤销链状态管理做好——可逆性是缺失的原语，后期补装很痛。
**选型团队：**直接问平台能不能不重启就热换工具和技能——这已经是基准能力，不是加分项。
**观察者：**盯 DeepSeek Harness 路线图和 Koishi/Cordis 仓库，自进化 Agent 栈来得比主流预期快。