Harness 形而上：
给或然性引擎铸造容器

一、从 Shell 到 Harness：一次词源的考古

Unix 时代，人机界面的核心部件叫 Shell——壳。人类敲入确定性指令，机器执行确定性动作，壳只负责传递，不负责收束。大模型时代，这个词序被颠倒了：模型本身成了可能性的源泉，而人类侧需要的，反而是一个替我们收束可能性的结构。社区先后叫过它 wrapper、agent loop、orchestrator，而最终沉淀下来的词是 Harness——马具、缰绳、挽具。

这个词选得极准。一匹千斤重的马并不需要更多肌肉，它需要的是笼头：让千斤之力在正确的时刻指向正确的方向。DeepSeek-Harness（下称 DSH）就是这样一副挽具——它不生产智能，它组织智能。

二、解剖 DSH：六层骨架

依据本刊工作区留存的《DeepSeek-Harness V0.2 整体架构 · 通俗技术说明书》，一台智能体运行时可以拆成六层。这六层在 DSH 中各有其名，也各有其「形而上」的对应物。

2.1 会话层：把「永恒」切成回合

LLM 没有时间观念，上下文窗口就是它的全部宇宙。DSH 的会话层做了一件朴素而关键的事：引入回合制与目标制。目标（goal）被持久化为可修订的对象，带修订号（revision）与动作白名单（edit/pause/resume/complete/blocked）；自动续跑的轮数有上限，阻塞要给出具体原因。这本质上是给无限长的生成过程装上了节拍器——智能体从此有了「现在」，也有了「下一步」。

2.2 权限层：fail-closed 的技术礼制

DSH 的文件沙箱策略是一行看似平淡的声明：workspace-write——只有工作区可写，平台临时区受限开放。凡需越界者，必须带着理由向人申请审批（approval ask）；无应答者，请求直接失败而非默认放行。这就是 fail-closed：在安全问题上，沉默不构成同意。

更有意思的是它的「观察策略」：覆写前必先读（read-before-write）、编辑前必先读——除非文件是本会话刚创建的。删除与移动前，必须先校验目标的绝对路径确实是预期目标，「绝不向一个未经核实的计算路径动手」。这些条款读起来像法条，实际上正是数字空间的「礼」：不是不信任智能，而是不把信任押注在概率上。

2.3 记忆层：可证伪的上下文

长任务的第一敌人是上下文腐坏：快照过期、元素失效、旧结论污染新判断。DSH 的对策是一整套「可证伪记忆」——元素令牌一换新快照即作废（stale error）；工具结果被截断时会存档全文路径；后台任务有生命周期（job 列表、等待、终止）；压缩由专门的守护插件看管。记忆不再是「记住了什么」，而是「此刻仍可核查什么」。

2.4 多体层：任务板上的社会契约

当多个智能体共享同一个工作目录，冲突管理就从工程问题升级为社会问题。DSH 给出的答案是一块共享任务板：任务带写域声明（advisory write scopes）、带依赖关系、带修订号，认领即比较并交换（compare-and-set）。写域重叠只是建议而非锁——真正的秩序来自「先读最新修订，再动笔」的习惯，以及 Lead 对最终差异（diff）与测试的复核。这是最小政府式的多智能体治理：规则极少，但每条都可执行。

三、三个设计原则

把六层骨架压缩到底，DSH 的全部工程选择收敛为三条原则：

1. Fail-closed（不确定即拒绝）：权限、目标校验、窗口不存在时的拒答——所有歧义都通向「拒绝」而非「猜测」。这条原则牺牲了顺滑，买回了可预期。
2. Ground-truth 优先（眼见为实）：截图与 DOM 树必须交叉印证；点击成功不等于结果达成，必须回读新状态验证后置条件（postcondition）。智能体被要求像科学家一样对待自己的行为——每次操作都是一次待验证的假设。
3. 人保留两件事：提问与裁断：系统尽量自动化执行，但在破坏性操作、越界写入、目标修订处留下人工审批的「呼吸口」。自动化的边界，恰好画在「不可逆」开始的地方。

四、Harness 形而上：容器先于内容

回到标题。为什么说 Harness 是一种形而上学？因为它的每一个工程决定，背后都是一个哲学站队：

• 模型是或然的，沙箱是必然的——DSH 选择了让必然包裹或然，而非相反；
• 生成是廉价的，验证是昂贵的——于是验证被写进流程，成为与生成同级的动作；
• 能力是无限的，回合是有限的——无限之物只有经过有限形式的规训，才可被谈论、被审计、被信任。

这恰好暗合了一个古老的直觉：形式先于质料，容器先于内容。陶罐的价值不在土，在于那圈让水成为水的壁。当所有人都盯着模型的参数量时，真正决定智能体成败的，是那圈看不见的壁——会话怎么切、错误怎么处理、边界怎么守、信任怎么建立。

黄昏不是终结，而是光的换幕。同理，Harness 不是模型的对手，而是模型成为「可托付之物」的那道工序。当机器接管思考，「如何思考」让渡给了模型；而「如何让思考可托付」——这个问题，此刻仍握在铸造容器的人手里。