Cordis 论文解读 · 时空可组合性

Deux dimensions orthogonales

Temporal Composability (réversion complète des effets de bord lors du retrait d'un composant) et Spatial Composability (ajustement automatique des cycles de vie lors des changements de dépendances), élevant le classique effect/coeffect en mécanismes d'exécution.

Architecture DeepSeek Harness

DeepSeek Harness est construit sur le cœur de Cordis ; Tools/Skills/Sessions/Sandboxes/Storage/Loops/sous-Agents/UI deviennent des plugins Cordis, réalisant « Everything is a Plugin ».

Six théorèmes formels

Preservation, Recovery Exactness, Ordering, Resolution Coherence, Progress, Confluence — ils élèvent « l'histoire dynamique ne laisse pas de trace » de la pratique d'ingénierie à une garantie métathéorique.

Trois projets, à ne pas confondre

Cordis (meta-framework, Shigma et al.), Koishi (framework de chatbot construit sur Cordis, 4000+ plugins), DeepSeek Harness (un Agent Harness construit sur Cordis) — les trois partagent une origine mais sont des projets distincts.

Versions épinglées et traçables

Chaque conclusion clé est annotée avec le numéro de section (§) et le numéro de théorème (Thm) ; la version de l'article est épinglée au commit 948a07b (2026-08-13).

Site d'étude non officiel

Interprétation communautaire de l'article ; elle ne remplace pas l'article original. Le contenu approfondi renvoie à l'original cordiverse/paper. Auteurs : Yifan Shi, Wei Zhang (Université de Pékin) et Tianyi Cui (DeepSeek-AI, c.-à-d. l'auteur de Koishi, Shigma).