Cordis：面向时空可组合性的编程范式

这份 2026 年 8 月 13 日预印本为 DeepSeek Harness 的 Cordis 底层设计提供形式化解释。论文把动态组合拆成时间与空间两个维度：时间可组合性要求组件移除时完整撤销副作用，空间可组合性要求组件能够声明依赖并响应上下文变化。作者以可逆 effect、响应式 coeffect 和统一 context type 构建组件演算，并在 Cordis 中落地为副作用跟踪、依赖解析、声明式组件加载、配置协调与热模块替换。仓库明确标记论文仍在积极修订，引用或依赖具体结论前应检查最新版本。