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)。