Cordis 論文解讀Spatiotemporal Composability

繁體中文解讀《A Programming Paradigm for Spatiotemporal Composability》——Revertible Effects 與 Reactive Coeffects 如何讓 DeepSeek Harness 的插件系統支援熱重載、副作用撤銷與自演化 Agent。

開始閱讀 →

Revertible Effects

Reactive Coeffects

論文倉庫

兩個正交維度

Temporal Composability（元件移除時完全撤銷副作用）與 Spatial Composability（依賴變化時自動調整生命週期），把古典 effect/coeffect 提升為執行時機制。

DeepSeek Harness 架構

DeepSeek Harness 建在 Cordis 核心之上，把 Tools/Skills/Sessions/Sandboxes/Storage/Loops/子 Agent/UI 全部做成 Cordis 插件，實現「Everything is a Plugin」。

六條形式化定理

Preservation、Recovery Exactness、Ordering、Resolution Coherence、Progress、Confluence——把「動態歷史不留痕跡」從工程實踐提升為元理論保證。

三項目不混淆

Cordis（meta-framework，Shigma 等）、Koishi（建在 Cordis 上的 chatbot 框架，4000+ 插件）、DeepSeek Harness（建在 Cordis 上的 Agent Harness）——三者同源但不同專案。

釘版本可溯源

每條關鍵結論標註論文章節號（§）與定理號（Thm），論文版本釘在 commit 948a07b（2026-08-13）。

非官方學習站

社群驅動的論文解讀，不替代原論文，深度內容指向 cordiverse/paper 原文。論文作者：Yifan Shi、Wei Zhang（北大）與 Tianyi Cui（DeepSeek-AI，即 Koishi 作者 Shigma）。