小K交付套件 kaisersong/dsh-xiaok-plugins

dsh-xiaok-plugins

把 xiaok 的差异化能力做成 DeepSeek Harness（dsh）的原生 Cordis 插件。设计依据是《A Programming Paradigm for Spatiotemporal Composability》论文里的三个机制：可逆效应、反应式协效应、时间可组合性。实现计划见 PLAN.md。

插件一览（9 包 / 3 能力）

| 能力 | 包 | ctx 键 | 论文机制 | 一句话 |
| 证据化交付 | @xiaok/dsh-evidence | ctx.evidenceStore | 时间可组合性 | done = 有可检查的产物，不是模型说了算 |
| | @xiaok/dsh-evidence-filesystem | — (provider) | | 内置校验器：exists/nonempty/json/json-keys/html + sha256 |
| | @xiaok/dsh-tool-evidence | — (consumer) | | 工具：declare_evidence / check_evidence / evidence_status |
| | @xiaok/dsh-guard-completion | — (consumer) | | agent/turn-stopping 守卫：未满足契约 → 注入补齐提醒 |
| 意图路由 | @xiaok/dsh-intent-router | ctx.intentRegistry | 反应式协效应 | 模糊请求 → 规范化 intent + 单步活动契约 |
| | @xiaok/dsh-tool-intent | — (consumer) | | 工具：declare_intent / complete_step / intent_status |
| 评审分离 | @xiaok/dsh-review-separation | ctx.reviewPolicy | 可逆效应 | maker/checker 分离；驳回 = 撤回重做 |
| | @xiaok/dsh-tool-review | — (consumer) | | 工具：request_review / review_status |
| | @xiaok/dsh-review-policy-automatic | — (provider) | | 规则自动审批（低风险白名单短路） |

架构约定（对齐 dsh 规范）

- 一切状态都是 session log 的纯 fold：三个能力各持 3 组 log-only 事件（evidence/、intent/、review/*），通过 SessionEventMap 声明合并注册；resume/fork/compaction 不需要任何 live mirror（与 plan/mode 同构）。
- 能力三件套：Service Definition（types + fold + Service） / Provider（实现） / Consumer（工具/守卫）。
- 注册即效应：validator、intent pattern、decider 的注册都经 ctx.effect() 绑定生命周期，卸载插件即撤销其注册（插件级时间可组合性）。
- 回退语义：evidence 重声明 → 旧检查变 stale；review 新 cycle → 旧 verdict 被忽略；intent 新声明 → 旧契约被取代。全部由 fold 保证，无额外存储。

快速开始

pnpm install
pnpm test # 35 个纯逻辑测试

挂载到 dsh：复制/引用 xiaok-plugins.cordis.yml 的 insert 片段（包需先链接进 harness 的 workspace 或以 file: 安装）。

与 xiaok 的关系

逻辑源自在 xiaok 生产环境验证的三套机制（artifact 证据链、Intent Broker 的 run contract、KSwarm 的 PO/worker/reviewer 角色分离），按 dsh 的 capability-seam 规范重写；kai-xiaok-plugins 的 MCP 渲染器（slide/report/canvas）可继续作为独立 MCP 插件挂载，与本仓库的原生插件互补。

状态

- [x] M1 evidence 骨架 + 工具 + 文件校验 provider
- [x] M2 turn-stopping 守卫 + stale/hash 失效（compaction 兼容：纯 fold 天然兼容）
- [x] M3 intent-router + prompt section（reactive coeffect 面）
- [x] M4 review-separation + subagent 编排 + 驳回撤回
- [x] M5 三插件联调配置（.cordis.yml）+ 文档 + 35 单元测试全绿
- [x] 真实 dsh 运行时 E2E 通过（11/11）：dsh --profile xiaok 启动 HTTP 200；
进程内等价 boot（dsh-app-boot 四步流程）加载 11 层组合、9 插件全部激活、 ctx.evidenceStore/ctx.intentRegistry/ctx.reviewPolicy 服务存活，并在真实 SessionStore 上完成 declare→check→fold→guard→stale 失效全往返（node scripts/e2e-verify.mjs）

E2E 脚本：scripts/e2e-verify.mjs；部署方式：~/.dsh/profiles/xiaok/ （package.json 依赖 file: 指向本仓库 9 包 + cordis.patch.yml insert 层）。