> 带自动资源追踪的响应式微内核 —— 把「插件的可逆装卸」与「依赖的反应式解析」做成内核不变量
>
> 研究对象：cordis（元框架，时空可组合性）及其理论根基《A Programming Paradigm for Spatiotemporal Composability》
> 研究时间：2026-08-16 ｜ 二路专项 Agent 并行取证（论文 88 页 PDF 全文理论深读 ＋ 工程实现/生态/横向定位深读），方法以论文形式化内容 + 一手代码/仓库证据为主；凡推断处标「【推断】」，论文明言标「【论文明言】」
> 一手材料：cordis-notes.md（理论笔记）、cordis-工程实现与横向定位.md（工程笔记），二 Worker 分头产出
—
〇、费曼视角 · 一句话讲清
设想你经营一座乐高城：白天要加一栋楼（装插件），傍晚要拆掉它、连地基的坑也得填平、连借来的电线也得归还——这叫「时间可组合」（拆得干净）；而每栋楼都靠「隔壁供电、上游供水」活着，一旦供电断了，这栋楼得自动停摆、等电来了再自动复工——这叫「空间可组合」（依赖反应式）。
市面既有方案，要么拆楼不填坑（IoC 容器只管装配、不管清理，漏了就内存泄漏），要么供电断了全城停电（OS/容器级替代，代价高昂）。Cordis 的野心，是把「填坑」与「等电」从「程序员凭良心」变成「地基本身的物理定律」——你就算想漏，框架也不让你漏。
一句话：Cordis 是「插件的物理规律」——它不替你写业务逻辑，只保证你装的每样东西，都能被完整、可逆地卸下来，且依赖一变就自动协调生死。
—
一、它到底是什么（基本档案 + 五大核心概念）
1.1 基本档案
| 项 | 内容 |
|---|---|
| 定位 | 插件元框架（meta-framework）：提供核心库（effect/coeffect 追踪）+ 声明式组件 loader（配置协调 + HMR），把「动态组合」做成范式 |
| 理论根基 | 论文《A Programming Paradigm for Spatiotemporal Composability》（时空可组合性之编程范式） |
| 作者 | Yifan Shi, Wei Zhang, Tianyi Cui（署名 shigma 即史一凡） |
| 机构 | 北京大学 + DeepSeek-AI |
| 版本 | 论文 Draft of 2026-08-13（仓库明示 under active revision）；框架 cordis 当前 4.0.0-rc.x，README 明言「API 未稳，可能不预告变更」 |
| 实现 | TypeScript；应用框架落地于 Koishi（聊天机器人）、DeepSeek Harness（Agent 运行时底座） |
| 谱系 | 源自 Koishi 生态插件内核；名取拉丁语「心」（cor/cordis） |
| 许可 | 代码侧全 MIT；⚠️ 论文仓库 cordiverse/paper 无 LICENSE（引用需注意） |
1.2 五大核心概念（【已证实】，来源 cordis-primer + 生成式 API 参考）
1. plugin（插件）：三形态联合类型 Plugin.Function | Plugin.Constructor | Plugin.Object，共享元数据 { name, Config, inject, provide, intercept }。无装饰器、无注解扫描；ctx.plugin(fn) 与 YAML loader 挂载走同一条代码路径。
2. context 是 Proxy：属性读取经服务解析器；三个派生操作均不修改父上下文——extend(meta)（原型继承+遮蔽）、isolate(name, label?)（服务名独立作用域）、intercept(name, config)（向下游合并服务专属配置）。底层 Context.is() 用全局 symbol 品牌而非 instanceof，可跨 realm/多副本。
3. inject 是响应式且持续生效的（最关键差异）：官方教程原文「如果应用运行期间所需服务消失……每个依赖插件也会随之卸载，并在服务恢复后再次加载」。未满足时停在 PENDING 且不报错；可选依赖的正确写法是不写 inject、改用 ctx.get(name) 探测。加载顺序完全由依赖拓扑决定，YAML 行序无关。
4. 事件分发实为五种：DispatchMode = 'emit' | 'parallel' | 'serial' | 'bail' | 'waterfall'。⚠️ 文档不一致：primer 的分发表只列 4 种（缺 bail），而 cordis-api/events 类型定义有 5 种（bail 值定义为非 null/非 false/非 undefined）。waterfall 听众签名 (...args, next)，洋葱式环绕，不调 next() 即否决。
5. effect / on 可逆注册：effect(execute, label?) 立即执行 execute，收集的 disposer 在「返回 disposer 被调」或「fiber 卸载」先发生时逆序执行；Effect 可为单 disposer / Promise /（异步）可迭代——生成器 effect 每 yield 一个 disposer 即刻注册。fiber.getEffects() 返回 EffectMeta{label, children} 树（非平坦列表）。
补充第六个概念 Fiber（primer 未列但是全部机制的承载体）：状态机 PENDING → LOADING → ACTIVE → UNLOADING → DISPOSED（旁支 ↘ FAILED）；暴露 uid（root=0，dispose 后 null）、store（所需服务实现快照）、inertia（在飞转换）、await()、restart()、update(config, noSave?)（先跑 internal/update waterfall，允许 HMR 否决或取代重启）。Plugin.Runtime 按 callback 身份共享，一个插件多次挂载 = 多个 fiber 挂同一 Runtime——即「定义」与「实例」两层分离。
—
二、问题陈述与动机（【论文明言】）
现代软件——插件系统、自演化 Agent harness——日益需要 dynamic composition（动态组合）：在运行时加载、卸载、重配置组件。然其形式基础远弱于静态组合（函数调用、模块导入、继承均在编译期固定）。论文识别两个正交维度：
– Temporal composability（时间可组合性）：移除组件时，必须完全、安全回卷（reverse）其施加于共享环境的所有副作用（资源分配、事件注册、状态变更）。 – Spatial composability（空间可组合性）：组件须以结构化、可验证方式声明、发现、解析彼此依赖，并随依赖变化协调生命周期。
论文以 VSCode 插件（top 100 扩展中 87 个含可执行代码、卸载需重启宿主；仅 7 个声明 extensionDependencies；deactivate hook 仅优雅关闭回调、不启用「活卸载」）与 自演化 Agent harness（连续、无人监督的组件级自修改，缺时间可组合性则每次自修改都需全量重启丢弃进程内状态，缺空间可组合性则模块须靠 ad hoc 手段侦测依赖变化）为例，说明现有「粗粒度替代」（OS/容器编排：进程级时间可组合性、服务级空间可组合性）代价高昂——丢弃进程内状态、引入网络开销、无法表达同地址空间内组件间依赖。
—
三、理论核心：时空可组合两维
3.1 时间可组合性 = revertible effects（可逆效应）
直觉：每个上下文变换都携带一个逆变换（inverse），由运行时追踪；把 effect 建模为 Γ → Γ × (Γ → Γ)——给定当前上下文，产生（新上下文, 显式逆）。
形式（第 3.1 节）：
– 定义 1 twisted composition：(f₁,g₁)∘(f₂,g₂) ≔ (f₁∘f₂, g₂∘g₁)，构成 twisted composition monoid 𝔗Γ（逆按相反顺序累加）。
– 定义 2 effect context 𝜕Γ ≔ Γ × (Γ → Γ)：(𝛾,𝜑) 中 𝜑 为逆变换累加器（accumulator），recover 时 𝜑(𝛾) 回到初始态。
– 定义 3 trackΓ 把 (f,g) 提升为 𝜕Γ → 𝜕Γ，把逆 g 累加到 𝜑。定理 5：trackΓ 是从 𝔗Γ 到 𝜕Γ → 𝜕Γ 的幺半群同态。
– 定义 6 recoverΓ(𝛾,𝜑) ≔ (𝜑(𝛾), idΓ)。定理 7（soundness invariant）：recoverΓ(trackΓ(f,g)(𝛾,𝜑)) = recoverΓ(𝛾,𝜑)) 当且仅当 g(f(𝛾)) = 𝛾。
– 定义 8/9 witnessed effect function 𝔈Γ∗（每个状态自选逆、满足 g(𝛿)=𝛾）与 effect composition ⋄。定理 10/11：(𝔈Γ, ⋄) 是带单位 𝜂Γ 的幺半群，𝔈Γ∗ 是其子幺半群。
– 定义 17–19 transformation monoid 𝔐(𝑒) 与 independence（独立）：生成元相互交换且互不扰动对方的逆。
– 定理 16（逆序回卷）：从 (𝛾₀, idΓ) 顺序施加并逆序回卷，每步恢复其施加时的状态。推论 21（Corollary 21）：在 pairwise independent 下，任意排列顺序施加逆变换都能回到 𝛾₀——这是把「交错组件系统」的回卷带到整体的关键。
> 局部时态可组合性判据：加载 = 施加序列并把逆累加进 𝜑，卸载 = 施加 𝜑。
【推断】revertible effects 与可逆计算（reversible computing, Landauer/Bennett）及 Heunen et al.「Reversible Effects as Inverse Arrows」（相关工作中点名）精神最近；但 Cordis 仅要求每原子效应有单边逆、由调用方在施加点提供，而非整体可逆，复合逆由组合得出。
3.2 空间可组合性 = reactive coeffects（反应式共效应）
直觉：组件把依赖声明为 specification（规格）；上下文每次变化都按规格被归类为 activating / deactivating / neutral，并驱动激活/停用。
形式（第 3.2 节）：
– 定义 22 coeffect context Σ ≔ (k:K) ⇀ 𝒱_k（依赖类型偏函数，键 k 关联值类型 𝒱_k）。
– 定义 23 get/set：关键结论 set(k,v) 类型为 𝔈Σ∗——coeffect 操作本身就是 effect，且是可逆的（「coeffect operations are effects, and effects are revertible」），这是 reactive coeffects 与 revertible effects 的协同。
– 定义 24 coeffect 是三元组 (𝒱_k, ≃, 𝒜_k)：值类型、比较等价关系、该键提供的共效应操作集（操作自带逆、尊重 ≃）。
– 定义 25 规格 𝔇Σ ≔ 𝖲𝖾𝗍(𝖪)；定义 26 notify_d(𝜎,𝜎′)：依满足谓词 𝜎 ⊧ d 是否翻转，分类为 activating/deactivating/neutral（激活/停用/中性）。
– 定义 28/29 isolate（coeffect isolation）：通过 realm 表 𝜌: K⇀R 实现运行时 ad-hoc 多态（同键在不同上下文解析不同值），是解决多租户/沙箱/测试的关键。
– 定义 30/31 intercept（coeffect interception）：跨切面 metadata（右偏合并 ⊕），外层上下文可覆盖组件声明，无需修改组件即可约束其访问。
> 局部空间可组合性判据：组件仅在满足其规格的状态激活（永不读缺失绑定）；每次上下文变化都按规格分类，依赖丧失在发生时被检出并驱动停用。
3.3 与经典 effect / coeffect 理论的关联（【论文明言】）
效应（Moggi 幺半群；Plotkin & Power 代数效应 + handlers）建模「计算如何修改环境」；共效应（Uustalu & Vene 余幺半群；Petricek et al. ICALP’13「Coeffects」；graded coeffects, Gaboardi et al. ICFP’16）建模「计算如何依赖环境」。经典体系是静态的（词法固定作用域 + 编译期检查），而动态组合要求运行时保证。论文把 effect 与 coeffect 从「类型注解」提升（lift）为运行时可操作机制——此乃贡献的方法论核心。
3.4 统一上下文型（unified context type）
定义 32 统一上下文 Γ∞ ≔ μΓ. Γ × (Γ → Γ) × Σ：递归地把「当前态 + 累加器 + 共效应上下文」合为单一 context type。Σ 被结构整合，依赖操作 act on Σ 且累加器追踪其回卷；Γ∞ 支持层级组合（父聚合子效应，任意嵌套「插件」隐喻）。
定义 33–37 观测等价（observational equivalence）：因物理状态不可真正恢复（如 free 不还原堆布局、生成名不可还原），恢复「=」应读作 ≃（按各共效应自带等价关系组装）。引理 38：第 3.1 节所有等式在 ≃ 下成立且累加器尊重 ≃。
– 定理 40：不同键上的操作相互独立。 – 定理 42：若每个键 commutative，则任意两个由这些操作构成的共效应中介效应函数相互独立——由此把「全局时间可组合性」所需的独立性假说消解为组件提供键的接口义务。
第 3.3.3 节把 context paradigm 定位为融合函数式显式状态线程（可追踪）与命令式隐式变更（人体工学）两派：所有 effect/coeffect 经显式 context 参数中介，正确性从「开发者纪律」变为「范式结构属性」（teardown 由 loading 派生，而非手写并列）。
3.5 组件模型与动态组合演算（calculus of dynamic composition）
定义 43 组件 ℭΓ ≔ 𝔇Γ × 𝔓Γ × 𝔈Γ∗：三元组 (d 声明依赖, p 声明提供键, e 见证效应函数)，是同一接口的两个方向。
定义 44 fiber（纤维）：组件的实例，携带生命周期状态、父指针 𝜋、自身共效应表 𝜎、retirement 标志 𝜏、committed view 𝜔；定义 45 registry：状态承载 fiber 的有限偏函数（父指针成树），共效应上下文 𝜎_𝛾 由所有 ACTIVE fiber 的并集推导，每个键至多一个 provider（provider_k）。
核心算子（规则，共 10 条，Table 1）：编排规则 O-Insert / O-Retire / O-Remove；激活侧 L-Begin / L-Iter / L-Finish / L-Divert / L-Raise；停用侧 L-Leave / L-Unload。
元理论结论（第 4.4 节，均为「全局」形式——一个 fiber 的保证不受其他 fiber 交错影响）：
| 定理 | 结论 |
|---|---|
| 定理 59 Preservation | 良好形成的 registry 在任意规则下保持 |
| 定理 61 + 推论 62 Recovery exactness / Terminal recovery | 在 pairwise independent 下，施加某 fiber 累加器 g_n 恰好撤去该 fiber 的贡献、不扰动其余——全局时间可组合性 |
| 定理 63 Ordering | provider 先激活、consumer 后激活；provider 撤回其键前，consumer 的停用已完成（guard ¬relied 保证 consumer 在整个停用期间仍能读该 key） |
| 定理 64 Resolution coherence | 转换中迭代按单一解析 𝜔 运行；目标视图变化则转离转换（惯性） |
| 定理 66 Progress | 假设 precedence ≺ 无环、迭代长度有界、名称有限，则无死锁且终止 |
| 定理 73 Confluence（汇合） | 生命周期关系汇合，其范式是「静态装配」的状态——无论经历哪些激活/停用交错，系统静息到的状态等于「从零按依赖序加载最终组合」所得状态 |
> 定理 73 是「把系统当作静态装配推理」的许可——类比增量计算的 change propagation 一致性。
—
四、实现：Cordis 元框架（【论文明言】）
三层实现：核心库、组件 loader、应用框架（如 Koishi）。
– 核心库（5.1）：ctx.effect（Algorithm 1，实现 effectiter_Γ，返回 dispose 闭包，LIFO 回卷，父子累加器组合）；ctx.set/get（Algorithm 2/3，coeffect provision 即 ctx.effect 调用、自动追踪恢复；notify 依定义 26 反应式分类）；isolate/intercept（派生实现，丢弃子上下文即恢复）；ctx.use（Algorithm 4 组件实例化，即定义 47 注册原语，父卸载级联到子）；Algorithm 5 惯性状态机（reload/unload 互相链入，L-Unload 的 guard 等待依赖者 INACTIVE）；Algorithm 6 Proxy 中介属性访问，在 use 点强制 coeffect 规格（ctx[key] 对违反声明抛错，区别于不抛错的裸 ctx.get）。
– 组件 loader（5.2）：声明式配置（entry 含 id/url/isolate/intercept/config/disabled），配置协调（configuration reconciliation）——定理 73 保证静息态仅为最终配置的函数，故增量协调安全、可并发加载模块；热模块替换 HMR（@cordisjs/hmr，三阶段：模块分类、陈旧条目检测、事务性重载，失败则回滚缓存——无需开发者标注接受边界，区别于 webpack/Vite HMR）。
– 论文 Cordis v4 vs Koishi 所用 Cordis v3：本文提出 Cordis v4（精炼 effect/coeffect 语义并重设计 loader），核心组合模型跨版本共享。
—
五、与 DeepSeek Harness 的集成（【已证实】）
harness packages/ 下约 50 个顶层分组（core/llm/session/sandbox/shell/subprocess/terminal/lsp/mcp/acp/fs/storage/guard/hooks/plan/skill/subagent/workflow/schedule/jobs/compaction/preset/web/host/boot/sdk/typert…）。主干循环流经 6 个核心包：agent-loop → session → system-prompt → llm-streaming → tools → 日志回写。
– 服务键：ctx.tools（作用域化工具注册表+受保护执行流水线）、ctx.llm、ctx.sessions（仅追加 SessionEvent 日志，唯一真源）、ctx.systemPrompt、ctx.agents、ctx.agentLoop、ctx.agentPresets、ctx.agentDefaultModel。
– Seam 三角色：Service Definition（必须是 Cordis Service 类，不能只是 TS interface）+ Provider + Consumer。文档金句「Seams are why one provider swap changes the whole product」——文件系统与子进程共享同一「执行世界」seam，换成远程沙箱则 Bash/PTY/LSP 一起迁到远端。这是响应式 inject 在产品层的兑现。
– 扩展手段：六个规范 map（ContentBlockMap/MessageSourceMap 等）+ declare module 声明合并，插件可零改源码扩展对话词汇。
5.1 vendor 策略与 18 条修改日志（本次最硬的一手证据）
9 个包源码内联、全部 rescoped 进 @deepseek-ai，目录名与上游版本号刻意不变。核心是 cordis 4.0.0-rc.7（上游 cordiverse/cordis packages/core，commit 56b3d4f7），另有 loader 1.0.0-rc.5、include 1.0.4、group/timer/hmr/logger-console、cosmokit 1.8.1、schemastery 3.18.0。注意：include/group/timer/hmr/logger-console 已指向 deepseek-harness/cordis 这个 fork，不是 cordiverse 上游。
理由原文「让 harness 完全拥有自己的框架层——可审计、可打补丁、可锁定」，并坦白一个务实动机：用上游名发布会在 registry 上抢占（squat）上游包名。有 hygiene 门禁 verify-vendored-links 断言全部解析到 workspace link:。
18 条日志里至少 6 条是内核级并发/正确性修复，含金量最高：
| 日志 | 内容 |
|---|---|
| #6 fiber.ts 生命周期加固 | 修补三处可重入 disposal 缺口（effect 的 owner-list 包装器须先于 setup body 注册；同步 setup 失败要回滚已收集 cleanup；owner 为 UNLOADING 时拒绝创建 effect，防 cleanup 期注册逃出 unload 快照） |
| #8 事务化 Loader/Include 配置协调 | 先 import 后 dispose，失败回滚旧插件/旧配置 |
#12 group 事务 update 不可重入 | 并发 apply 会交错 create/rollback 把 Include fiber 卡在永不 settle；记录一次无诊断死锁（exit 13）——HMR 初始扫描 → Include 中途 refresh → 失败回滚 dispose HMR → HMR teardown 等待排在同一 apply 后的 refresh |
| #14 / #9 Windows 特有 | 句柄短暂保留导致 fire-and-forget rename 变 unhandled rejection 并丢失持久化的 disabled 状态；短名别名与 libuv 长格式事件路径冲突 |
| #15 | 移植上游 PR cordiverse/cordis#41 惰性配置解析 |
| #7 | 纯 JSDoc 补全（官网 API 生成器对未文档化成员硬报错） |
> 【推断】上游 rc 的可逆性语义在「高并发 + 可重入 dispose + Windows FS」三重压力下尚未充分验证，DeepSeek 实际承担了内核硬化工作。「可打补丁」是刚需而非愿望。
—
六、生态谱系（数据均【已证实】）
| 仓库 | 创建 | 星标 | 备注 | ||
|---|---|---|---|---|---|
| koishijs/koishi | 2019-12-03 | 5903★ | MIT，聊天机器人框架，Cordis 唯一实证生态 | ||
| cordiverse/cordis | 2022-05-17 | 4071★ | 550 commits，5 贡献者，shigma 一人 537 次 ≈ 97.6%，34 open issues | ||
| cordiverse/paper | 2026-08-13 | 1629★ | 无 LICENSE | ||
| deepseek-ai/deepseek-harness | 2026-08-13 | 115544★ | version 0.1.0-rc.5，Node ^22.19 | >=24 | |
npm cordis | — | — | 最新 4.0.0-rc.8（比 vendor 的 rc.7 新一个版本） | ||
| cordiverse 组织 | — | 26 仓库 | 除 cordis/paper 外最高仅 39★（database），其余多为 1–24★ |
【推断】cordis 的 4071★ 几乎全部来自 08-13 后的 DeepSeek 光环——依据是组织内其他长期仓库星标停在个位到两位数。harness 发布前 Cordis 的真实社区规模是「数十人量级」。
【推断/第三方】2019 Koishi → 2023 shigma 写《可逆的插件系统》（定义「可逆」为路径无关/零熵）→ 2022 起抽出 cordis（名取拉丁语「心」）→ 2026 论文形式化 → 2026-08 harness 落地。论文用 Koishi 作唯一实证（4 年、3000–4000+ 插件），并自承只有单一生态单一语言数据、缺乏与替代架构的受控对比。
—
七、横向定位（三维度：a 依赖模型 / b 副作用回卷 / c 配置与 HMR）
三点收敛结论：
1. (a) Cordis 最像 OSGi Declarative Services，而不像 Spring。 传统 IoC 的命题是「解耦构造」，Cordis 的命题是「组件的存在性由环境条件推导」——插件不是被注入依赖，而是被依赖可用性决定其是否存在（PENDING/ACTIVE）。这才是 coeffect 的直觉。Spring 的 bean 依赖一旦装配完成即固化。
2. (b) 是 Cordis 唯一真正的差异化。 VSCode 的 context.subscriptions.push 与 Fastify 的 onClose（同样逆序）思路同源，但都是自愿的开发者纪律；Cordis 把「每个注册返回 disposer、自动归属当前 fiber、逆序回卷、嵌套树诊断」做成内核不变量，你想漏掉都难。OSGi 有完整 bundle 状态机但副作用撤销靠作者自律（classloader 泄漏即源于此），且用 ClassLoader 隔离（重、JVM 特有）而 Cordis 用 Proxy + isolate 标签（轻、语言内）。
3. (c) Loader 层比内核层更有工程分量。 id 稳定标识、disabled 保留条目、group 嵌套子树、isolate 服务隔离、include 的 patch overlay 与 !!js 惰性表达式插值——这套「配置即插件树 + 事务化差分协调」在 Spring/Fastify 生态几乎无对等物，最接近的是 OSGi Config Admin。
两个值得写入结论的判断：
– tapable 的 SyncWaterfallHook/SyncBailHook 与 Cordis 的 waterfall/bail 命名语义高度相似，【推断】命名很可能受其影响；但 tapable 只是事件层，Cordis 把它与依赖容器 + fiber 生命周期缝合成一体。
– 把 Cordis 称为「代数效应系统」是不精确的隐喻：Koka 的 effect row 是静态类型级，OCaml 5 有 delimited continuation；Cordis 是纯库级、动态的，Effect 只是「返回 disposer 的函数」的运行时约定，没有类型级 effect row，也没有 continuation 捕获。更准确的定位是带自动资源追踪的响应式微内核。
—
八、事实校正 / 献疑（批判审查）
8.1 「代数效应系统」之误称
媒体与部分技术文常把 Cordis 称作「运行时代数效应」。严格说不成立：Cordis 无类型级 effect row、无 continuation 捕获，仅是「注册即返回 disposer」的运行时约定。准确术语应为响应式微内核（responsive microkernel）+ 自动资源追踪。
8.2 「时空可组合」命名之度
「时间 = 可逆回卷、空间 = 依赖拓扑」的映射合理且直观，但「时空可组合性（spatiotemporal composability）」一词偏营销意味——它优雅地包装了两个正交但自古有之的关切（资源清理、依赖解析）。其新奇处不在术语，而在把静态 effect/coeffect 提升为运行时机制并给出统一演算。
8.3 「可逆性是内核保证」与一手证据之张力
论文主张可逆性由范式结构兑现；但 DeepSeek 的 vendor 修改日志 #6/#12 显示：上游 rc（4.0.0-rc.7）在可重入 dispose + 高并发下确曾出现清理逃逸（effect owner-list 包装器注册时序、同步 setup 失败回滚缺口）与无诊断死锁（exit 13）。可逆性达生产强度，是被 DeepSeek 补强后的结果，而非开箱即得。此点当在评估时打折。
⚠️ 两类「卡死」须分述，不可混为一谈：
– 理论层（论文自承）：组件间依赖环 → 该组件永久 INACTIVE。这是可预测的静态判定（从声明即可预知），非死锁，系统其余部分照常运行。
– 实现层（rc.7 实证）：Include 队列与 HMR 在并发 update 下交错 create/rollback，把 Include fiber 卡在永不 settle 的真正死锁（exit 13，且无诊断信息）。这是内核并发缺陷，与依赖环无关。
前者是范式「诚实标定的边界」，后者是「上游 rc 未充分验证的坑」——论文将 Cordis 呈现为范式实现、未披露此成熟度落差。勿把「形式不变量」等同于「已验证的生产内核不变量」。
【工程侧补证】coeffect ≈ inject（持续门控 fiber 存在性）、effect ≈ ctx.effect（EffectMeta 树 = 嵌套所有权）、fiber 状态机 PENDING→…→DISPOSED、三种作用域派生 extend/isolate/intercept，均一一对应论文第 3–4 节形式化——理论—实现映射自洽，无实质冲突。
8.4 文档主权倒置
Cordis 没有自己的文档：仓库 homepage 直接指向 deepseek-harness 文档站，cordis.js.org 仅 302 占位页。唯一可用文档由下游维护——此乃脆弱信号：框架的演进叙事被其最大使用者劫持。
8.5 bus factor = 1
cordiverse/cordis 550 commits 中 shigma 一人占 97.6%。单维护者 + API 未稳 + 无自有文档，三者叠加，长期可持续性存疑。
8.6 概念营销与实现落差
【推断】「代数安全」「时空可组合性」在中文媒体被大量放大；实现层 Effect 只是返回 disposer 的函数、inject 只是响应式依赖门控——理论包装强于实现新颖度（不否定工程价值，但评估应区分）。社区已有「过度抽象」批评：把 Agent Loop 与 Memory 压平为同等插件，且「运行时卸载插件」对 To C/To Dev/To B 三类用户都缺乏刚性需求。
—
九、成熟度与风险
| 指标 | 判断 |
|---|---|
| API 稳定性 | ❌ README 原文「may change without notice」，版本 4.0.0-rc.x |
| 上游成熟度 | ⚠️ bus factor = 1（shigma 97.6%） |
| 已知内核缺陷 | ⚠️ 18 条中 6 条为内核并发/可重入修复，含一次无诊断死锁 |
| 文档完整度 | ⚠️ 文档主权倒置（Cordis 无自有文档，homepage 指向 harness 文档站） |
| 下游成熟度 | ❌ harness 0.1.0-rc.5，仓库 3 天前创建 |
| 生态广度 | ⚠️ 通用生态近乎为零；Koishi 侧 3000–4000+ 插件但强绑定聊天机器人域 |
| 许可 | ✅ 代码侧全 MIT 且 vendor 保留上游 LICENSE；📄 paper 仓库无 LICENSE |
学习曲线（中等偏高，陡峭点在心智模型而非语法）：
– 需接受「静默 PENDING 是正常状态」——官方专门用一节教怎么诊断「什么都没输出」（遍历 ctx.registry.values() 查 fiber.state === FiberState.PENDING）。设计上把错误从「抛异常」改成「不激活」，对 fail-fast 直觉是反的。
– 隐式依赖坑（已证实）：HMR 插件自身 inject 了 timer、日志走 Cordis logger 服务——缺 cordis-plugin-timer 就永远 PENDING 且无提示，缺 logger-console 就看不到任何 HMR 消息。
– id 语义坑（已证实）：YAML 条目不写 id 时每次读取生成新 id，配置文件任何编辑都会让该条目被当作删除+新增而重挂载。
主要风险：① API 未稳 + 单维护者；② 文档主权倒置；③ 概念营销与实现落差；④ 过度抽象批评；⑤ Windows 与并发长尾（#9/#14 均 Windows 特有，【推断】上游 CI 以 Linux/macOS 为主）。
适用建议【推断】：适合长驻进程 + 运行时能力增删 + 严格资源回收的系统（Agent 运行时、IM 机器人、开发工具宿主、多租户插件平台），或作为架构思想来源；不适合短生命周期请求-响应服务、需长期 API 稳定承诺的企业交付。若要用，照抄 DeepSeek 的 vendor 策略（锁 commit、内联源码、维护修改日志），直接 npm i cordis@4.0.0-rc.x 并期待语义稳定风险明显偏高。
—
十、本研究的局限
1. 单一主源：核心理论几乎全部来自 2026-08-13 预印本（88 页），未经同行评审、无二手文献；相关结论随时可能因修订而变。
2. 证据性质：论文对 Koishi 的验证属观察性而非对照实验（单一生态、单一宿主语言 TypeScript）；度量抽象开销与开发者生产力为 future work。
3. 未跑真码：Cordis 本体未在本 workspace 独立运行（仅经 DeepSeek Harness 的 vendor 副本间接取证）；一手内核修复证据来自 vendor 修改日志，非独立复现。
4. 依赖 Worker 取证：理论笔记（cordis-notes.md）与工程笔记（cordis-工程实现与横向定位.md）由二 Agent 分头产出，关键定理表述已对照原文，但个别技术细节以 Worker 摘要为准。
—
十一、结论
Cordis 不是又一个 IoC 容器，而是一套把「可逆装卸」与「反应式依赖」从开发者纪律提升为内核不变量的范式。其理论贡献（revertible effects + reactive coeffects → 统一上下文型 → 动态组合演算及六条元理论定理）为「运行时动态组合」补上了长期缺失的形式基础；其工程兑现（Koishi 四年、4000+ 插件；DeepSeek Harness 作 Agent 运行时底座）证明该范式在长驻、可热改的系统中确有价值。
然则天下无免费之宴：论文的优雅，需以 API 未稳、bus factor=1、文档主权倒置、上游 rc 在内核并发下仍现死锁缺口 为代价。DeepSeek 以 vendor fork + 18 条修改日志（≥6 条内核级）实际承担了硬化工作——这恰说明 Cordis 当前更接近「被大厂补强后才堪一用」的早起元框架，而非开箱即稳的银弹。
一句话定评：Cordis 是「插件的物理规律」，理论扎实、工程有证；然其成熟度与治理，尚配不上它那顶「时空可组合范式」的华丽冠冕。若取法，当取其架构思想与 vendor 策略，而非直接 npm i 上生产。
—
十二、引用
> Yifan Shi, Wei Zhang, Tianyi Cui. “A Programming Paradigm for Spatiotemporal Composability.” Draft of August 13, 2026. Peking University & DeepSeek-AI. https://github.com/cordiverse/paper （标注 preprint, cite the latest version）
> – 论文 / PDF：https://github.com/cordiverse/paper · raw PDF: https://github.com/cordiverse/paper/raw/main/paper.pdf
> – Primer：https://deepseek-harness.github.io/deepseek-harness/reference/cordis-primer
> – Tutorial：https://deepseek-harness.github.io/deepseek-harness/develop/cordis-tutorial/
> – Koishi（案例）：https://koishi.chat · 本文 Cordis v4 vs Koishi 所用 Cordis v3
> – DeepSeek Harness：https://github.com/deepseek-ai/deepseek-harness
> – cordis 上游：https://github.com/cordiverse/cordis · npm: cordis@4.0.0-rc.8
—
本文由二路专项 Agent 取证、主-agent 综合而成；凡与外源/媒体叙事不符处，已于第八节单列「事实校正 / 献疑」。AI 辅助研究工具参与撰写。