與 DeepSeek Harness 的關係

论文版本948a07b (main)

論文實作 Cordis，DeepSeek Harness 建在 Cordis 之上。但 Cordis、Koishi、DeepSeek Harness 是三個不同專案，不能混淆。

三個專案的關係

【基於原文與官方資料的推論】：

• Cordis：開源 meta-framework（MIT），實作論文描述的 spatiotemporal composability。倉庫 github.com/cordiverse/cordis，核心包 cordis 當前版本 4.0.0-rc.x（對應論文 §5 描述的 Cordis v4）。它獨立於 DeepSeek，由 cordiverse 組織維護（Shigma 是核心作者）。
• Koishi：開源 chatbot application framework（MIT），建在 Cordis 之上。論文 §5.3 案例研究：Koishi 當前用 Cordis v3，論文描述的是 Cordis v4，「the core compositional model is shared across both versions」。Koishi 有 4000+ 社群插件，是論文的生產案例。
• DeepSeek Harness（DSH）：DeepSeek 開源的 Agent Harness（MIT），建在 Cordis 核心之上。倉庫 github.com/deepseek-ai/deepseek-harness。官方文件明確：Cordis 核心管理插件掛載/卸載/依賴，Harness 建在 Cordis 插件系統之上，「Everything is a plugin」。

注意論文作者：Tianyi Cui（DeepSeek-AI）即 Shigma，是 Koishi 框架作者。所以 Cordis/Koishi/Harness 三者同源（都關聯 Shigma），但論文不是 DeepSeek 獨立完成——第一機構是 Peking University，第二機構才是 DeepSeek-AI。

為什麼這套機制適合 DeepSeek Harness

【基於原文的推論】DSH 把 Tools / Skills / Sessions / Sandboxes / Storage / Loops / Sub-agent scheduling / UI 全部做成 Cordis 插件，因此：

1. Tool Provider 熱替換：Agent 運行中替換某個工具（比如升級檔案搜尋工具的版本）→ Cordis 卸載舊 fiber、安裝新 fiber，依賴該工具的 Session 和子 Agent 自動 re-resolve。整個過程由 Ordering 定理 保證：舊 provider 晚於 consumer 卸載，不會出現「用著已釋放的工具」。
2. 子 Agent 獨立環境：每個子 Agent 用 ctx.isolate 派生獨立 context，同一 key（如 'filesystem'）在不同子 Agent 中解析為不同實例。子 Agent 之間互不污染，父 Agent 可對子 Agent 施加不同 realm。
3. Sandbox 權限控制：透過 ctx.intercept 給社群插件施加更嚴格的存取策略（如唯讀檔案系統），不修改插件程式碼即可限制其能力。
4. Trajectory 追溯：DSH 的 append-only session log 與 Cordis 的 effect accumulator 在精神上一致——都是「可回放的運行軌跡」。但要注意區分：DSH 的 session log 是 emission（§6.1）層面的記錄，不可自動撤銷；Cordis 的 accumulator 是 acquisition 層面的，可自動恢復。前者是「發生過什麼」的日誌，後者是「如何撤銷已發生的副作用」的逆操作鏈。

DeepSeek Harness 現狀

【基於官方資料的核實，2026-08-15】截至當前，DSH 仍是 Developer Preview，核心插件與 API 會繼續演進。官方明確：「core plugins and APIs are expected to continue evolving」。

四種運行模式：

• Standard：完整編碼 agent，暴露全部工具集；
• Code：暴露 Code Mode SDK，模型生成 TypeScript 來編排工具呼叫；
• Minimal：僅 bash + str_replace_editor 兩個工具，用於 benchmark；
• Creator：建構自訂 preset，可檢視執行時、測試插件、編寫 preset。

Trajectory view 支援 resume / fork / search / replay，都基於 append-only session log——這呼應了論文 §1.2.2 對 self-evolving agent harness 的描述（可 fork、可回放、可持續服務請求）。

對其他 Agent Runtime 的啟示

【個人評價】這套架構對 DeepSeek Harness、Claude Code、Codex、OpenClaw 等 Agent Runtime 的啟示：

• Tool 熱替換：Agent 運行中替換工具，不需要重啟 session；
• 子 Agent 隔離：ctx.isolate 給每個子 Agent 獨立依賴視圖；
• 能力宣告即權限：fiber.inject 即 capability 請求清單，可在載入時審計；
• Trajectory = Emission：append-only session log 是 emission（§6.1），不可自動撤銷；要支援 resume/fork/replay 還需要 emission 層的 compensation 設計；
• 不可信插件：仍需行程/容器/WASM sandbox，Cordis 只提供語言級隔離。

但要注意：論文是 Cordis v4 的理論模型，DeepSeek Harness 是建在 Cordis 之上的 Developer Preview 產品。兩者關係是「DSH 建在 Cordis 之上，Cordis 實作論文模型」，不是「DSH 已經證明論文的所有結論」。詳見 局限與證據強度。