A9. Cordis 论文精读:时空可组合性范式与 dsh 源码对照developer preview,API 可能变更。 本文基于 Cordis 论文《A Programming Paradigm for Spatiotemporal Composability》(Yifan Shi¹·², Wei Zhang¹, Tianyi Cui²,¹北京大学 ²DeepSeek-AI,cordiverse/paper)与 dsh 仓库 vendored 源码 vendor/cordis/(@deepseek-ai/cordis@4.0.1)逐节对照写作。论文 88 页,含形式化