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 插件挂载，与本仓库的原生插件互补。

状态

• M1 evidence 骨架 + 工具 + 文件校验 provider
• M2 turn-stopping 守卫 + stale/hash 失效（compaction 兼容：纯 fold 天然兼容）
• M3 intent-router + prompt section（reactive coeffect 面）
• M4 review-separation + subagent 编排 + 驳回撤回
• M5 三插件联调配置（.cordis.yml）+ 文档 + 35 单元测试全绿
• 真实 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 层）。