dsh-doublecheck

DeepSeek Harness 的交付质量门禁：先拷问需求，再测试实现，最后证明交付——并用「可交付 / 需要返工」的裁决来把关交接。

需求在第一次改动之前就被拷问清楚；交付是被证明的，而不是被口头宣称的。

English · 简体中文 · Español · Português · हिन्दी

兼容性

| 方面 | 状态 | |---|---| | Harness | DeepSeek Harness 0.1.1-rc.2 | | Node | ^22.19.0 \|\| >=24.0.0 | | 平台 | 全部（纯宿主；无原生代码，自身无直接网络请求） | | 模型 | 任意（守卫本身从不调用模型；评审与批评阶段作为宿主 subagent 运行） |

你会得到什么

dsh-doublecheck 安装两个插件行，它们读取并执行同一份持久会话日志：

1. doublecheck-grill —— 需求熔炉：内置的 grill-requirements 技能，加上面向模型的 doublecheck_skills、doublecheck_spec、doublecheck_report 工具，以及按维度执行的验证工作流。
2. doublecheck-guard —— 纪律守卫：grill 门禁、红/绿证据门禁、对抗式评审、/doublecheck 与 /gate 命令、doublecheck.gate 设置命名空间，以及四阶段交付门禁。

两者共同执行纪律闭环 —— grill → design → red → green → review → verify：

grill ──▶ design ──▶ red ──▶ green ──▶ review ──▶ verify
   │
   └─ 六个需求维度、共识门禁，
      结构化 spec 提交到会话 + 工作区

| 阶段 | 含义 | |---|---| | grill | 拷问六个需求维度；在达成共识之前拒绝实现。 | | design | 通过 doublecheck_spec 提交已确定的 spec。 | | red | 在实现改动之前，用一次失败的测试运行来证明差距。 | | green | 改动之后一次通过的测试运行闭合闭环。 | | review | 一个分叉的对抗式批评者对照 spec 审计交付。 | | verify | doublecheck_report + 按维度的验证工作流证明交付。 |

快速开始

# 1. install the bundle into your profile
dsh plugin --profile web add "github:PerryLink/dsh-doublecheck#main"

# or from npm (published releases)
dsh plugin --profile web add dsh-doublecheck

# 2. restart and verify the row
dsh --profile web --dump-config | grep -E -A3 'id: doublecheck-(grill|guard)'

两个行（doublecheck-grill 和 doublecheck-guard）随配置文件自动激活。

安装与卸载

• git 渠道（最新 main）：dsh plugin --profile web add "github:PerryLink/dsh-doublecheck#main" —— prepare 脚本只使用生产依赖进行构建。
• npm 渠道（发布版本）：dsh plugin --profile web add dsh-doublecheck。
• tarball 渠道：在本仓库中执行 pnpm pack，然后 dsh plugin --profile web add ./dsh-doublecheck-<version>.tgz。
• 卸载：dsh plugin --profile web remove dsh-doublecheck（或从配置文件补丁中移除这些行）。

如需零配置的严格模式（每个门禁都以 block 强度开启、要求门禁覆盖率），在捆绑补丁之上应用随附的覆盖层：dsh --profile web --patch ./node_modules/dsh-doublecheck/strict.patch.yml。

配置

所有可调项都是 Schemastery 的 Config 字段（可在 cordis.yml 中修改）。按 id 定位的覆盖会替换整行——请重新声明你需要的每一个键。cordis.patch.yml 逐键内联说明；Schema 默认值是调优默认值的唯一来源。

| 键 | 默认值 | 含义 | |---|---|---| | specFile | 'doublecheck-spec.md' | 已提交 spec markdown 的工作区文件（grill 行）。 | | reportFile | 'doublecheck-report.md' | 交付报告的工作区文件（grill 行）。 | | reportVerify | true | 默认运行验证工作流（grill 行）。 | | verifyProvider | 'fork' | 各维度检查器运行的 subagent 提供者（grill 行）。 | | verifyMode | 'all' | all = 每个维度一个并行检查器；single = 一个合并检查器（grill 行）。 | | intensity | 'remind' | grill、红/绿和评审门禁的执行强度（remind / warn / block）。 | | enableByDefault | true | 没有 /doublecheck on\|off 记录的会话的主开关。 | | language | 'en' | 注入的提醒/拒绝/评审/门禁文案语言（en / zh）。 | | guardTools | ['edit', 'write'] | 两个门禁监视的修改工具名称。 | | vagueTaskMaxChars | 200 | 超过此长度的任务绝不会被视为模糊。 | | remindOnce | true | 每个提醒每会话最多注入一次（跨重启持久）。 | | testToolNames | ['bash', 'pwsh'] | 可以运行测试的 shell 工具名称。 | | testCommandPatterns | (pnpm/npm/yarn/bun test、pytest、go/cargo/make test、node --test、deno test、uv run pytest) | 命令必须匹配才能计为一次测试运行的正则。 | | testFilePatterns | (测试目录、*.test.* / *.spec.*) | 识别测试文件的正则——始终可编辑，免于红门禁。 | | modules.grill | true | 关闭则禁用 grill 门禁。 | | modules.tdd | true | 开启则启用红/绿证据门禁。 | | modules.adversary | false | 开启则在绿色后启用分叉批评者评审。 | | adversaryModel | null | 批评者模型路由；null = 主模型自评。 | | adversaryProvider | 'fork' | 批评者运行的 subagent 提供者。 | | adversaryMaxFindings | 5 | 注入会话的发现上限（1–20）。 | | adversaryTools | ['read', 'glob', 'grep'] | 批评者工具允许列表；请保持只读。 | | adversaryTimeoutMs | 120000 | 一次批评者运行的硬性时间预算。 | | gate.enabled | true | 门禁面板与回合边界红色通知的主开关。 | | gate.planSuggestion | true | 在红色报告中附加计划模式复查建议。 | | gate.reportFile | 'gate-report.md' | 门禁报告的工作区文件。 | | gate.requirements.checklist | (六个 spec 维度问题) | 可插拔的关键问题清单：{ id, question, specDimension, required }。 | | gate.requirements.minConfirmed | 6 | 必须通过的最少必答问题数（1..必答数量）。 | | gate.requirements.interrogateTool | 'ask_user_question' | 其调用计为询问证据的工具名称。 | | gate.tests.requirePassingRun | true | 最近一次测试运行未通过（或缺失）即为红灯。 | | gate.tests.allowFailingRuns | 0 | 最近一次绿色之后允许的失败运行次数，超过则红灯。 | | gate.tests.requireCoverage | false | 开启则要求在测试输出中有覆盖率证据。 | | gate.tests.minCoveragePct | 80 | 最低覆盖率百分比（0–100）。 | | gate.tests.evalReports.enabled | false | 开启则把 dsh-eval 报告（dsh-auto-review 的评测引擎）并入测试证据。 | | gate.tests.evalReports.dir | '.eval-reports' | 存放引擎报告的工作区相对目录。 | | gate.tests.evalReports.file | 'report.json' | 目录内的报告文件名。 | | gate.tests.evalReports.required | false | 为 true 时缺失报告即为红灯（否则跳过）。 | | gate.consistency.* | provider: 'fork'、model: null、tools: ['read','glob','grep']、timeoutMs: 120000、maxFindings: 5 | 本地一致性评审者的旋钮（model: null = 主模型）。 | | gate.review.engine | 'auto' | auto = 存在时使用 dsh-auto-review 的裁决记录，否则使用本地评审者；local = 始终使用本地评审者。 | | gate.review.provider | 'fork' | 本地评审评审者的提供者（其 model/tools/timeoutMs/maxFindings 与 gate.consistency.* 相同）。 |

配置错误会在加载时大声失败：无效的正则、空或重复的名称列表、越界阈值、重复的清单 id 都会抛错，而不是悄无声息地什么都不做。strict.patch.yml 是全门禁阻断覆盖层，以 intensity: block 重新声明守卫行，开启所有模块并要求覆盖率。

工具与界面

| 界面 | 类型 | 说明 | |---|---|---| | doublecheck_skills | 工具 | 通过技能注册表接口列出并加载包内四个内置技能。 | | doublecheck_spec | 工具 | 将拷问得出的六维 spec 提交到会话日志和工作区 markdown 副本。 | | doublecheck_report | 工具 | 将纪律证据折叠为交付报告（可选的按维度验证工作流）。 | | /doublecheck status\|report\|on\|off | 命令 | 开关、模块、强度、阶段事实、折叠报告，以及持久的开/关覆盖。 | | /gate status\|run\|config | 命令 | 实时清单进度、已确定的可交付/返工报告，以及生效配置。 | | grill-requirements、red-green-tdd、delivery-review、delivery-proof | 技能 | 覆盖全部六个闭环阶段的内置纪律技能。 | | doublecheck.gate | 设置命名空间 | 可插拔清单，暴露给支持设置的 UI（expose: true、applies: restart）。 | | strict.patch.yml | 覆盖层 | 一个补丁层内以 block 强度开启每个门禁并启用覆盖率要求。 | | dsh-doublecheck/invariant | 伴生行 | 通过宿主 invariants 注册表报告包自有写路径矛盾。 |

门禁阶段

交付门禁把会话的持久证据聚合为可配置的四阶段清单，并确定一个 可交付 / 需要返工 的裁决。每个阶段只折叠会话日志（重放即状态），因此一次运行在恢复或分叉后会得到相同的结果。

| 阶段 | 检查 | 证据来源 | 模型成本 | |---|---|---|---| | 需求询问 | 逐项确认的关键问题清单（默认六个 spec 维度问题） | 已提交的 doublecheck_spec + ask_user_question 调用 | 无 | | 测试证据 | 最近运行颜色、绿色后的失败运行、可选覆盖率阈值、可选 dsh-eval 报告 | 会话日志中的 shell 测试运行（[exit code: N]、覆盖率百分比）；开启 gate.tests.evalReports.enabled 时的 dsh-eval 报告文件 | 无 | | 实现一致性 | 差异 ↔ 需求映射：每次改动都必须服务于某个 spec 维度 | 本地分叉评审者（结构化发现、只读工具） | 一个 subagent | | 评审结论 | 交付裁决；engine: auto 在存在时消费 dsh-auto-review 的持久裁决记录，否则使用本地评审者 | autoReview/verdict / autoReview/rejection 事件，或本地分叉评审者 | 一个 subagent（本地） |

红灯是失败的检查（缺失 spec、最近运行失败、覆盖率低于下限、未映射的改动、blocker/major 发现）——每一项都附带返工建议。警告与跳过永远不会翻转裁决。门禁将 dsh-auto-review 作为弱依赖集成：review.engine: auto 在存在时折叠其裁决记录，否则降级到本地评审者；gate.tests.evalReports.enabled 把其评测引擎的 dsh-eval 报告（prompt 回归 / 压测 / 公平性套件）并入测试证据，并在报告不存在时如实跳过。门禁从不合成审批请求。

示例报告

/gate run 返回这份 markdown——可直接粘贴到 PR 描述中：

# Delivery gate report

> **Verdict: rework required** — 2 red item(s)
> The gate is red. Re-open the work in plan mode to re-check the open items before delivering.

## 1. Requirements interrogation — PASS
- [✔] **What outcome must the delivery produce?** — spec dimension "goal" committed
- [✔] **What is in scope, and what is out of scope?** — spec dimension "scope" committed
- [✔] **Which observable checks prove the work is done?** — spec dimension "acceptanceCriteria" committed
- [✔] **What can go wrong, and what is the correct behavior in each case?** — spec dimension "failureModes" committed
- [✔] **What is traded when goals conflict; what is optional?** — spec dimension "priorities" committed
- [✔] **What does the user explicitly not want?** — spec dimension "nonGoals" committed

## 2. Test evidence — FAIL
- [✔] **passing test run** — latest test run passed
- [✔] **failing cases after green** — 0 failing run(s) after green (allowed: 0)
- [✖] **coverage evidence** — 61% coverage below the 80% minimum — rework: raise coverage above the configured minimum

## 3. Implementation consistency — WARN
- [⚠] **[minor] src/telemetry.ts touched without a requirement** — [minor] the edit adds a metric no spec dimension covers

## 4. Review conclusion — PASS
- [✔] **dsh-auto-review conclusion** — 3 call(s) approved by dsh-auto-review (latest risk: low)

## Red items
1. **tests/coverage** — 61% coverage below the 80% minimum — *rework: raise coverage above the configured minimum*
2. **consistency/finding-1** — [minor] the edit adds a metric no spec dimension covers — *rework: src/telemetry.ts touched without a requirement*

## Audit
- review engine: dsh-auto-review
- generated at: 2026-08-14T12:00:00.000Z
- counts, ids, and verdicts only: no file contents or session text are embedded, and recognized secrets are redacted.

权限与数据

• 读取：仅进程内读取会话日志（tool/call / tool/result / tool/code-dispatch、注入的 user/message 来源，以及外部的 autoReview/* 裁决记录）；可选的计划模式服务状态。
• 写入：会话工作区中的 doublecheck-spec.md、doublecheck-report.md 和 gate-report.md（路径可配置），通过 ctx.fs 接口；持久的 doublecheck/state 和 doublecheck/gate 会话事件。
• 模型调用：门禁的一致性阶段和本地评审阶段（每次 /gate run 各一个 subagent）、可选的对抗式评审，以及 doublecheck_report 验证工作流会启动 subagent 运行；除此之外不调用模型或网络。
• 绝不触碰：凭据、环境变量，或会话工作区之外的任何文件。workshop 清单只声明 filesystem:read 和 filesystem:write。门禁报告只携带计数、id 和裁决；评审文本中被识别的机密在存储或显示之前会被脱敏。

安全边界

• 模型可见 ⟺ 已记录。 每条注入的提醒、评审和门禁通知都经由标准通道并落入会话日志；持久的 spec/state/gate 事实经由工具结果或 SessionEventMap 成员。
• 失败关闭 / 大声失败。 守卫和门禁配置在 apply 中校验（断言抛错）；无法运行的评审者或对抗式接口会退化为诚实的 "unavailable"/跳过通知，而非伪造裁决。
• 审计安全报告。 门禁和交付报告只记录计数、id 和裁决——不含文件内容或会话文本——模型生成的发现文本在存储或显示之前会经过机密脱敏器。
• 自身无网络。 该插件不发起直接网络请求；批评者和评审者 subagent 经由宿主的 subagent 接口运行。
• 对 dsh-auto-review 的弱依赖。 它从不被 import 或硬性要求；门禁折叠其持久裁决记录并降级到本地评审者，且从不合成审批请求。

已知限制

• 持久写入。 /doublecheck on\|off → doublecheck/state 与 /gate run → doublecheck/gate 需要宿主的 ignorable 追加接口（rc.6 之后），受支持宿主（≥ 0.1.1-rc.2）均具备该接口。
• 可选接口。 doublecheck.gate 设置命名空间仅在挂载设置服务时注册；/gate status 的计划模式行读取可选的 ctx.planMode（没有则显示 unknown）；对抗式评审需要 ctx.subagents；验证需要 workflowEngine。
• 本地降级。 当 dsh-auto-review 缺失或本会话没有裁决记录时，gate.review.engine: auto 会降级到本地评审者——报告会写明原因，而不是捏造裁决。
• dsh-eval 证据基于文件。 dsh-auto-review 评测引擎（dsh-eval）把其 prompt 回归 / 压测 / 公平性结果写入工作区报告文件，而非会话日志。gate.tests.evalReports.enabled 折叠该文件（默认关闭；缺失时跳过），折叠出的计数随持久 doublecheck/gate 记录保存，使已定的运行仍可重放。

开发

pnpm install             # node ^22.19 || >=24
pnpm run build           # tsc --noEmitOnError (lib/ is committed)
pnpm run prepare         # tsc --noEmitOnError (git-install channel)
pnpm run prepublishOnly  # build + full test suite
pnpm run typecheck       # tsc --noEmit + tests tsconfig
pnpm run lint            # eslint src tests
pnpm test                # vitest run
pnpm run test:coverage   # vitest run --coverage
pnpm run pack:check      # build + pack the tarball

主题

dsh, dsh-plugin, deepseek-harness, engineering-discipline, requirements, guard, skill, quality-gate, delivery-gate

贡献者

• @PerryLink —— 创建者与维护者：grill → design → red → green → review → verify 纪律闭环、四阶段交付门禁、五语言文档，以及 CI/发布流水线。

PerryLink DSH Plugin Family

本项目是 PerryLink 维护的 15 个 DeepSeek Harness 插件之一。如果这个对你有所帮助，其余的很可能也会帮到你：

| Plugin | One-liner | |---|---| | dsh-mcp-panel | Read-only MCP runtime panel: /mcp command + Settings tab with status, tools and errors | | dsh-doublecheck | Engineering-discipline guard + delivery quality gate: requirements grill, test gates, adversary review, /gate deliverable/rework panel | | dsh-background-agents | Durable background child agents with a Web UI sidebar, messaging and interrupt | | dsh-lsp-actions | LSP diagnostics, formatting, completion, code actions and rename over language servers | | dsh-output-styles | Claude Code outputStyles-equivalent runtime style switching | | dsh-checkpoint-rewind | Claude Code /rewind-equivalent: snapshots, session forks, one-shot restore | | dsh-permission-rules | Claude Code-style declarative allow/deny/ask permission rules with audit | | dsh-auto-review | Second-model auto-review on the approval chain, fail-closed by default | | dsh-memento | Approval-gated cross-session memory: ctx.memory seam + SQLite + memory tool | | dsh-skill-pack-security | Security-audit skill pack: secret scan, dependency and supply-chain review | | dsh-session-pin | Pin sessions in the Web sidebar with durable ordering | | dsh-composer-history | Terminal-style input history for the web composer: arrows, Ctrl+R search | | dsh-github | GitHub PR/issues integration for DSH, every write gated by approval | | dsh-plugin-guide | Plugin-development knowledge base as an on-demand agent skill | | dsh-claude-move | Migrate Claude Code sessions, memory, skills and CLAUDE.md into DSH |

许可证

Apache License 2.0 © 2026 dsh-doublecheck contributors