指令队列编排 keyiadiannao/dsh-instruction-queue

dsh-instruction-queue

为 DeepSeek Harness 打造的持久化指令队列。

智能体负责执行。你继续思考。计划始终同步。

把用户分段给出的指令收集成一份协作计划，编译成已批准的义务，通过主智能体会话逐段执行，并在每段执行后对计划做一次对账——对照用户意图、智能体的新发现和工作区证据。

这是一个事件溯源式的义务编排器，不是「调用 LLM 的队列插件」：只追加的账本是唯一事实来源，纯 reducer 把它投影成运行状态（系统不变量 #9），LLM 只在 compile/reconcile 内部做语义判断——它从不拥有状态真相。LLM 与账本之间隔着一道schema 防火墙（src/iq/schema.ts）：任何格式错误或幻觉出来的 LLM 输出都会被判为调用失败并拒绝，绝不会被悄悄写成事实。

V1 的三大差异化设计

1. 先编译，再执行。 缓冲中的输入永远不会直接运行。iq_compile 提取原子意图，区分覆盖关系（「输入 7 取代输入 2」）与矛盾关系，构建依赖图，并给出一份带具体验收标准的义务队列——在 iq_approve 之前，什么都不执行。
2. 批准即锁定意图。 批准会在 approved_task_revision 处锁定每个任务的语义和验收标准。之后的语义变更必须走一份新提案，绝不允许悄悄改写（不变量 #2）。
3. 执行后对账。 每段执行完，iq_reconcile 会记录结果（参考性摘要 + 结构化证据），对照证据逐条判定每个验收标准（只有智能体结论不算满足标准——不变量 #6），并修订剩余依赖图：残余工作自动进入，扩大范围的工作则要提案并重新批准（不变量 #4）。

状态

V1——协议正确性 MVP（仅宿主端，工具驱动的循环）。完整的编排协议已实现并通过不变量检查：compile → approve（门禁：未解决的依赖环和未确认的冲突会阻止批准）→ 分段执行（dispatch/start 分离，保留真实的崩溃窗口）→ reconcile（证据驱动的标准判定，残余自动进入 vs 扩大范围需批准，完成前的最终覆盖审计——审计失败会阻止运行，而不是让它完成）。目前还没有客户端 UI；队列通过七个 iq_* 工具驱动。

安装

加到你的配置档的 package.json bundles + dependencies 里（~/.dsh/profiles/<profile>/）：

// dependencies
"dsh-instruction-queue": "link:D:/cursor_try/VLLM/plugins/dsh-instruction-queue",
// dsh.profile.bundles
"dsh-instruction-queue"

重启 harness。插件会注册七个工具：iq_enable、iq_collect、iq_compile、iq_approve、iq_execute_next、iq_reconcile、iq_status。

配置

| 键 | 默认值 | 含义 |
| dataDir | ~/.dsh/storages/instruction-queue（通过 os.homedir() 解析） | 每次运行存放一个 <session>.ndjson 账本的目录 |
| llmProvider / llmModel | ''（会话默认值） | 编译 + 对账语义调用所用的服务商/模型 |
| allowPartialApproval | true | 设为 false 时，iq_approve 要求整队批准 |
| maxCompiledTasks | 12 | 提案超过这么多任务时，编译器发出警告 |
| autoCapture | false | 设为 true 且运行处于收集状态时，普通用户输入会在 agent/pre-step 被拦截并缓冲，而不是执行——队列变成真正的输入路由状态。控制类话语（/iq …、开始/编译/批准/…）照常通过。默认关闭（工具驱动的循环是 V1 行为） |

用法（工具循环）

1. iq_enable —— 为会话启动一次运行。
2. iq_collect —— 缓冲指令片段（数量不限；每条都按原样记录，并带上它在队列中的位置）。
3. iq_compile —— LLM 把缓冲区编译成 PROPOSED 队列，附带验收标准、冲突、循环、歧义（经 schema 校验）。
4. iq_approve —— 用户批准（全部或部分）+ 确认取代关系。只要还存在依赖循环或未确认的冲突，就阻塞。批准会在此修订版锁定语义 + 标准。
5. iq_execute_next —— 派发下一个待办事项；返回执行信封（任务 + 标准 + 约束）。这里只写入 TASK_DISPATCHED——尝试尚未「开始」。
6. iq_reconcile —— 上报结果（摘要 + 证据 + 逐条标准判定）。插件写入 ATTEMPT_STARTED + SIDE_EFFECT_OBSERVED（可证明时），对照证据判定标准，自动录入剩余工作，提出扩展，并且——当所有已批准的待办事项都解决后——在 RUN_COMPLETED 之前运行最终覆盖审计（失败 → QUEUE_BLOCKED）。

iq_status 是只读的——查看阶段、缓冲输入、待办事项、下一个任务。

设计

这个插件是事件溯源的待办事项编排器，由一组系统不变量引导（状态机、双状态枚举、对账边界、不可变修订边界、至多一次重试、覆盖判定、崩溃恢复矩阵、账本单一事实来源）。

架构：src/iq/{types,events,reducer,recovery,invariants,ledger,schema}.ts —— 纯协议层，不含 LLM/IO；src/compile.ts + src/reconcile.ts —— 位于 schema 防火墙之后的惰性 LLM 语义判定；src/index.ts —— 工具循环。

License

MIT