2026 年 8 月，DeepSeek 联合北京大学发布重磅学术论文《A Programming Paradigm for Spatiotemporal Composability》，正式揭开 Harness（黑鲸）Agent 框架底层核心 Cordis 元框架完整技术蓝图。 这套基于类型论改造的动态插件系统，解决了全球绝大多数开发工具无法热卸载、依赖紊乱的行业痛点，为可自我迭代、自主改造工具的自进化 AI 提供底层基础设施，也是 DeepSeek 今年第七篇校企联合研究成果。
一、行业通用插件系统两大致命缺陷：时空双重不可组合
当前 VSCode、各类 AI 编程工具均存在插件架构底层短板，也是 Agent 难以实现自主进化的核心阻碍。
- 时间维度缺陷（无法可逆） 主流工具插件激活后会产生注册、连接、缓存等副作用，卸载 / 禁用插件必须重启全部宿主进程。以 VSCode Marketplace 前 100 款热门扩展为例，87% 运行后无法单独卸载，重启会清空全部会话上下文、推理缓存，AI 自主修改工具时极易丢失任务进度。
- 空间维度缺陷（依赖混乱） 传统框架缺少标准化依赖声明机制，插件间依赖关系靠硬编码补丁实现，极易形成循环依赖，模块增减后频繁出现空引用、程序崩溃。 放到 Agent 场景中问题被无限放大：AI 运行时会自主生成、替换工具插件，一旦每次改动都要重启进程，长期任务、长会话将完全无法稳定执行，自进化概念无从落地。
二、Cordis 核心理论：可逆效应 + 反应式余效应
论文以类型论中效应、余效应为基础，针对运行时动态场景完成改造，形成两大核心底层机制，解决时空组合难题。
- 可逆效应（解决时间问题） 每一个插件对系统上下文的修改都会绑定专属逆函数，系统自动生成操作撤销链。卸载插件时反向执行全部逆操作，完整回滚注册、连接、缓存等所有副作用，无需重启进程，其余插件、会话数据不受任何干扰，相当于给每一步操作配备 “后悔药”。
- 反应式余效应（解决空间依赖） 插件采用声明式依赖逻辑，明确运行所需数据库、适配器、工具服务。依赖缺失时插件自动休眠；依赖上线自动激活；依赖卸载则先执行插件全部可逆操作再关停，系统自动推导依赖拓扑，无需开发者手动编排启动顺序。 两者结合构成 “时空可组合” 底层能力，实现插件随任务动态加载、替换、清理，为 AI 自主新增、修改工具铺平道路。
三、四年生产验证：Koishi 框架落地证明架构可行性
Cordis 并非实验室理论模型，早在四年前便落地 Koishi 聊天机器人框架，经过 4000 + 社区插件长期线上验证，积累 5.7k GitHub 星标，形成完整落地佐证。
实测两大维度落地效果：时间层面，单独禁用任意插件，仅撤回自身操作，数据库连接、全局缓存持续保留；空间层面切换存储、通讯适配器时，仅依赖对应模块的插件重启，其余功能正常运行。
不同开发者独立开发的数千款插件可自由组合、动态切换，充分验证该架构在开放社区生态下的稳定性。如今 DeepSeek Harness 便是 Cordis 元框架升级后的 Agent 专属运行时，全部模型、工具、Skill、沙箱、调度器均以插件形式存在，真正实现 “万物皆插件，万物可重组”。
四、团队背景与行业长期价值
1. 论文核心研发团队
论文共三位核心作者，实现产学研深度结合：北大计算机副教授张伟深耕程序设计语言；北大在读、DeepSeek 核心研发 Yifan Shi 为 Koishi 创始人；DeepSeek Harness 负责人崔添翼，浙大 ACM 金牌、前国际投行技术专家，主导整套 Agent 框架落地。
2. 行业变革意义
此前 Codex、Claude Code 等海外 Agent 工具采用封闭固化架构，插件改动成本极高，无法支持 AI 自主迭代工具。而 Cordis 提供标准化动态组合底层，让 Harness 拥有自进化能力：AI 可根据任务自主生成插件、测试、替换、清理，全程不中断长周期工作流。 这套架构打破闭源 Agent 的生态壁垒，普通开发者可自由魔改、定制、二次开发各类 Agent 技能，也是 DeepSeek Harness 上线后迅速涌现上千款社区插件的底层支撑，为下一代自主智能体奠定软件工程基础。
AI 速览
