Cordis-Papier-InterpretationSpatiotemporal Composability

Eine deutschsprachige Interpretation von „A Programming Paradigm for Spatiotemporal Composability" — wie Revertible Effects und Reactive Coeffects das Plugin-System von DeepSeek Harness Hot Reload, Rollback von Seiteneffekten und selbst-evolvierende Agenten ermöglichen.

Lesen beginnen →

Revertible Effects

Reactive Coeffects

Papier-Repository

Zwei orthogonale Dimensionen

Temporal Composability (vollständiges Zurücksetzen von Seiteneffekten beim Entfernen einer Komponente) und Spatial Composability (automatisches Anpassen der Lebenszyklen bei Änderung von Abhängigkeiten) heben das klassische effect/coeffect in Laufzeitmechanismen an.

DeepSeek-Harness-Architektur

DeepSeek Harness baut auf dem Cordis-Kern auf und macht Tools/Skills/Sessions/Sandboxes/Storage/Loops/Sub-Agenten/UI zu Cordis-Plugins, wodurch „Everything is a Plugin" realisiert wird.

Sechs formale Theoreme

Preservation, Recovery Exactness, Ordering, Resolution Coherence, Progress, Confluence — sie heben „dynamische Geschichte hinterlässt keine Spur" von einer Engineering-Praxis zu einer metatheoretischen Garantie.

Drei Projekte, nicht vermengen

Cordis (Meta-Framework, Shigma u. a.), Koishi (auf Cordis aufgebautes Chatbot-Framework, 4000+ Plugins), DeepSeek Harness (ein auf Cordis aufgebautes Agent Harness) — die drei haben gemeinsame Wurzeln, sind aber eigene Projekte.

Versionen fixiert und nachverfolgbar

Jede Schlüsselaussage ist mit Abschnittsnummer (§) und Theorem-Nummer (Thm) annotiert; die Papier-Version ist auf Commit 948a07b (2026-08-13) fixiert.

Inoffizielle Lernseite

Eine community-getragene Interpretation des Papiers; sie ersetzt nicht das Original. Tiefergehende Inhalte verweisen auf das Original cordiverse/paper. Autoren: Yifan Shi, Wei Zhang (Peking-Universität) und Tianyi Cui (DeepSeek-AI, d. h. der Koishi-Autor Shigma).