Cordis Paper InterpretationSpatiotemporal Composability

A community interpretation of "A Programming Paradigm for Spatiotemporal Composability" — how Revertible Effects and Reactive Coeffects let DeepSeek Harness's plugin system support hot reload, side-effect rollback, and self-evolving Agents.

Start reading →

Revertible Effects

Reactive Coeffects

Paper repository

Two orthogonal dimensions

Temporal Composability (fully reverting side effects when a component is removed) and Spatial Composability (automatically adjusting lifecycles when dependencies change), lifting classical effect/coeffect into runtime mechanisms.

DeepSeek Harness architecture

DeepSeek Harness is built on the Cordis core, turning Tools/Skills/Sessions/Sandboxes/Storage/Loops/sub-Agents/UI into Cordis plugins, realizing "Everything is a Plugin".

Six formal theorems

Preservation, Recovery Exactness, Ordering, Resolution Coherence, Progress, Confluence — elevating "dynamic history leaves no trace" from engineering practice to metatheoretical guarantee.

Three projects, do not conflate

Cordis (meta-framework, Shigma et al.), Koishi (a chatbot framework built on Cordis, 4000+ plugins), DeepSeek Harness (an Agent Harness built on Cordis) — the three share origins but are distinct projects.

Pinned versions, traceable

Each key conclusion is annotated with paper section number (§) and theorem number (Thm); the paper version is pinned at commit 948a07b (2026-08-13).

Unofficial study site

A community-driven paper interpretation; it does not replace the original paper. Depth content points to the cordiverse/paper original. Paper authors: Yifan Shi, Wei Zhang (Peking University) and Tianyi Cui (DeepSeek-AI, i.e. Koishi author Shigma).