一个AI Agent想要真正干活，光靠大脑远远不够！
当 deepseek 雇了 Jane Streeter 高手来领导 harness 团队，突然 harness 设计里就冒出了交换图的时候！
2026年8月13日，DeepSeek正式开源了DeepSeek Harness（DSH）开发者预览版。这不是一个新模型，也不是一个API客户端，而是一整套把模型接入文件系统、终端、网页、代码工具和其他Agent的运行框架。官方给出了一个简洁公式：Model + Harness = Agent。模型负责理解和生成，Harness负责调度上下文、工具、任务状态、反馈与边界，把模型能力落地到真实环境中。
Harness最核心的设计原则只有五个字：一切皆插件。模型适配器、工具注册表、会话日志，甚至Agent循环本身，全部都是插件。开发者无需改动源码，就能独立替换或扩展任一能力。这套架构底层由Cordis插件系统驱动，而Cordis的设计思想来自一篇学术论文——《A Programming Paradigm for Spatiotemporal Composability》。
问题来了：让一个AI框架变得如此灵活、可替换、可组合的底层逻辑，到底是什么数学在撑腰？
Jane Streeter是什么来头？
DeepSeek在2026年3月从Jane Street挖来了一位核心工程师，中文名叫崔添翼（英文名可能叫Tianyi Cui或类似），让他牵头Harness业务线。
崔添翼，90后，浙江大学计算机系毕业，大学期间拿过6枚ACM-ICPC亚洲区域赛金牌。2013年加入华尔街顶级量化交易机构Jane Street香港分部，一待就是九年，专攻量化系统、风控和回测平台开发。2022年联合创办香港量化基金TSY Capital，2026年3月加入DeepSeek，牵头Harness独立业务线。
Jane Street是家什么公司？不管理客户资产，只用自有资金在全球200多个交易所做市交易，2025年净交易收入396亿美元，超过了高盛和摩根大通的交易业务收入。3000名员工干掉了22万人的花旗银行，人均薪酬268万美元。这家公司没有CEO，只有数学模型和极致低延迟，在毫秒级交易里抠利润。
崔添翼把这套思维直接搬进了Harness。量化系统要求每一步可追溯、可回滚、异常自动恢复、状态确定一致。Harness的插件架构、交换图定理、单子结构——本质上是把量化交易里的“容错、可审计、确定性”翻译成了范畴论语言。
这就是为什么Harness设计里突然冒出了交换图：不是偶然，是基因。
范畴论就是一张画满箭头的交通地图
初二数学课上学过函数：给一个输入x，经过函数f，得到一个唯一输出y。范畴论把这事儿升级了。
范畴论认为，世界上所有概念体系都可以抽象成一个个“范畴”。一个范畴包含两样东西：对象和态射（也就是箭头）。对象可以理解成类型、数据结构、组件。箭头表示对象之间的变换关系——一个对象通过箭头变成另一个对象。
更关键的是：如果A到B有箭头，B到C有箭头，那么就一定存在一个A到C的箭头，它是前两个箭头的组合。这就像从家到学校有路，从学校到球场有路，那从家到球场就一定有一条路——先走第一条，再走第二条。
范畴论的精髓就两个字：组合。任何能串联起来的东西，都可以用箭头画出来，然后用数学保证组合之后的结果是确定的、可预测的。
那什么是函子？函子就是能把一个范畴“整体搬”到另一个范畴的搬运工。它把第一个范畴里的每个对象映射到第二个范畴里的某个对象，同时把第一个范畴里的每个箭头也映射到第二个范畴里对应的箭头。搬完之后，原来能组合的箭头，搬过去之后依然能组合——结构一点没乱。
单子又是什么？单子可以理解成一个带“包装”的计算。比如一个函数可能失败、可能依赖外部状态、可能产生副作用——这些东西就像给计算结果裹了一层包装纸。单子提供两个操作：把普通值装进包装里；把包装里的值取出来处理，处理完再装回包装里。这样一来，带副作用、带状态、带上下文依赖的计算，就能像普通函数一样干干净净地串联起来，不用到处写if判断或者层层回调。
插件就是箭头，组合就是数学保证
Harness把范畴论这套数学框架直接编进了代码。
在Harness的世界里，每个插件就是一个态射——它接收特定类型的输入，产出特定类型的输出。插件与插件之间的关系，就是箭头与箭头的复合。一个插件处理完，把结果交给下一个插件，下一个继续处理。这种串联方式在数学上被范畴论的组合律严格保证：只要每个插件自身的输入输出类型匹配，组合之后的行为就是确定的、可预测的。
这意味着什么？意味着开发者不需要写大量集成测试来验证插件之间会不会打架。范畴论在类型系统层面已经替开发者验证过了——类型不匹配的插件根本组合不到一起，编译器直接报错。
Harness底层的Cordis框架把这件事做得更彻底。Cordis的核心理念叫“时空可组合性”。拆开来看：
空间可组合性管理插件之间的依赖关系。一个插件依赖另一个插件提供的服务，当那个服务出现、消失或被替换时，系统自动调整依赖它的所有插件。这就像乐高积木——拔掉一块，跟它卡在一起的其他块自动松脱，不会把整个结构扯碎。
时间可组合性追踪插件产生的副作用。插件卸载时，它注册的所有资源——服务、事件监听器、配置项——全部自动撤销。插上就工作，拔掉就干净，不留任何残留。
这两个维度合在一起，保证了一个关键性质：合流性——无论系统以何种顺序加载或卸载插件，最终到达的稳定状态完全一致。这就是范畴论里交换图定理在代码世界的直接映射。
单子把“脏活累活”装进包装盒
AI Agent干活的时候要做一堆“脏活”：读文件可能失败、调API可能超时、多步操作之间要传递状态、每一步都可能出错需要重试。传统编程里，这些乱七八糟的东西散落在代码各处，改一处就可能炸另一处。
Harness用单子来处理这些脏活。每个插件运行在一个单子结构里——输入被包装、处理、再包装输出。副作用、错误、状态变化全被关在包装盒内部，外部链条只看得到干干净净的输入输出。
举个例子：一个插件要读取文件、解析内容、调用模型、写回结果。每一步都可能失败。在单子结构里，失败被封装成一种“带错误信息的包装”。任何一个环节出错，整个链条自动短路，返回错误包装，不会让程序崩溃或者产生不可预料的状态。
这就像快递包裹——每一站只负责把包裹传给下一站，包裹里面碎了还是没碎，由打包方式保证。驿站不用拆开检查，直接传递就行。
Harness的Cordis框架把这种模式推广到了整个系统。插件通过类型化事件通信，通过可逆的副作用注册资源。加载一个插件，就是向系统“注入”一组服务；卸载一个插件，就是把这些服务“撤回”。整个过程数学上可逆、可验证，不需要人工判断“这个插件卸了会不会影响那个”。
数学骨架让AI Agent变得可预测
传统AI Agent开发像写小说——靠经验、靠手感、靠反复试错。改了提示词可能整个行为都变了，没人说得清为什么。
Harness把这件事变成了做证明题。先画好插件之间的组合关系（范畴论的交换图），再填具体实现。数学保证组合后的行为符合预期，开发者只需要保证每个插件本身功能正确。
这种设计直接反映在Harness的四种运行模式上。标准模式加载完整插件集合；PTC模式让模型用TypeScript程序组合多步工具调用；极简模式只保留两个工具用于基准测试；创造模式允许在内存中试验插件组合。四种模式本质上是同一套插件系统的四种不同“组装方案”——插拔不同的插件，就得到不同的Agent行为。
开源不到24小时，Harness的GitHub仓库星数就超过了一万。程序员们兴奋的不只是“能用”，更是“终于有数学给我兜底了”。