@cyning/harness 2.8.0 → 2.10.0

package/harness/discipline-coverage.yaml

@@ -0,0 +1,289 @@
+# Discipline coverage · Starter 子集机械化率资产（方向一）
+#
+# 运行时真值：本文件（随 npm 包分发）。
+# 历史叙事：docs/rethink/2026-07-mechanization-rate/03_coverage_matrix.md
+# 维护：新闸合入时更新 statements[].status / gaps[] / as_of_package_version
+# 禁止：把本文件当「每周全量重盘」流程；不做 audit --discipline UI（本波）
+
+version: "1"
+as_of_package_version: "2.10.0"
+scope: "Starter · harness/prompts （10/22/30/40 + FRAGMENT）+ TEMPLATE_invoke"
+source_audit: "rethink/2026-07-mechanization-rate · 02 转录 + 03 聚合 · 状态已按 G1–G4/N1–N4 刷新（非第二轮通读盘点）"
+
+gaps:
+  - id: G1
+    title: task md 结构 lint
+    status: closed
+    closed_in: "2.3.0"
+    note: "task lint E1–E7"
+  - id: G2
+    title: reviews 留档闸
+    status: closed
+    closed_in: "2.5.0"
+    note: "verify --task + close 检查 6；N4 全量 2.9.0"
+  - id: G3
+    title: 文本纪律（绝对路径）
+    status: closed
+    closed_in: "2.3.0"
+    note: "E6；invoke 预写 approved grep 仍缓做"
+  - id: G4
+    title: 思考轮结构
+    status: closed
+    closed_in: "2.6.0"
+    note: "task lint E8–E10 / W4–W5"
+  - id: G6
+    title: git 行为层
+    status: deferred
+    closed_in: null
+    note: "方向三"
+  - id: G7
+    title: 执行证据（真跑过）
+    status: deferred
+    closed_in: null
+    note: "方向二 runner；跟 lifecycle dry-run 之后"
+  - id: N2-C
+    title: verify --task lint → block
+    status: deferred
+    closed_in: null
+    note: "现 warn-only（2.7.0）· 须 FAIL 率下降"
+  - id: SPEC-reviews
+    title: SPEC 审查文闸
+    status: closed
+    closed_in: "2.8.0"
+    note: "verify --spec"
+  - id: FULL-reviews
+    title: 裸 verify 全量 reviews + 双路径
+    status: closed
+    closed_in: "2.9.0"
+    note: "N4"
+  - id: LIFECYCLE-ENGINE
+    title: lifecycle dry-run 最小引擎
+    status: closed
+    closed_in: "2.10.0"
+    note: "Epic T2 · 旁路报告"
+
+statements:
+  - id: A1
+    source: 30-execute-code.md
+    summary: HG pending → 拒开工、禁改码
+    status: mechanical
+    mechanism: "M1 gate-check + M2 verify"
+    gap: null
+    notes: null
+    mechanism_quality: null
+  - id: A2
+    source: 30-execute-code.md
+    summary: 开工前首输出 GATE_VERIFY 闸扫描表
+    status: partial
+    mechanism: "M2 提供判定；Agent 是否先输出表无检查"
+    gap: null
+    notes: null
+    mechanism_quality: null
+  - id: A3
+    source: 30-execute-code.md
+    summary: 真值在 task 表；声称 vs 表 pending → STOP
+    status: partial
+    mechanism: "M1/M2 读表"
+    gap: null
+    notes: "用户声称侧不可机械"
+    mechanism_quality: null
+  - id: A4
+    source: 30-execute-code.md
+    summary: test_strategy required → 先可失败测试再改实现
+    status: partial
+    mechanism: "M3 D5 探测测试文件存在"
+    gap: null
+    notes: "先红后绿顺序无机制 · mechanism_quality 预留"
+    mechanism_quality: null
+  - id: A5
+    source: 30-execute-code.md
+    summary: 运行验证命令 + 回填自检结论
+    status: mechanical
+    mechanism: "M5 非占位符检查"
+    gap: G7
+    notes: "命令真跑过仍靠 40 诚实"
+    mechanism_quality: null
+  - id: A6
+    source: 30-execute-code.md
+    summary: invoke 快照落盘 by-task/<slug>/
+    status: mechanical
+    mechanism: "M5 close + M6 lint-done"
+    gap: null
+    notes: null
+    mechanism_quality: null
+  - id: A7
+    source: 30-execute-code.md
+    summary: 归档只能 task close PASS 后进行
+    status: mechanical
+    mechanism: "M5"
+    gap: null
+    notes: "手动 mv 旁路由 M6 兜底"
+    mechanism_quality: null
+  - id: A8
+    source: 30-execute-code.md
+    summary: HG-GRAPH-MODULES pending → 禁改码
+    status: mechanical
+    mechanism: "M1 gate-check --graph"
+    gap: null
+    notes: null
+    mechanism_quality: null
+  - id: A9
+    source: 30-execute-code.md
+    summary: 缺验收/failure_paths/必读 → 仅输出阻塞清单
+    status: mechanical
+    mechanism: "task lint E1–E7（G1 · v2.3.0）"
+    gap: G1
+    notes: "02 原 ❌ · 已刷新"
+    mechanism_quality: null
+  - id: A10
+    source: 30-execute-code.md
+    summary: 交接物 commit 仅本轮路径、禁 git add -A
+    status: prompt-only
+    mechanism: null
+    gap: G6
+    notes: null
+    mechanism_quality: null
+  - id: B1
+    source: 40-self-check.md
+    summary: 逐条对照验收标准标记 pass/fail
+    status: partial
+    mechanism: "M5 查无未勾选"
+    gap: null
+    notes: null
+    mechanism_quality: null
+  - id: B2
+    source: 40-self-check.md
+    summary: 必须运行验证命令并摘要退出码
+    status: prompt-only
+    mechanism: null
+    gap: G7
+    notes: "真跑过无证据"
+    mechanism_quality: null
+  - id: B3
+    source: 40-self-check.md
+    summary: 必须回填自检结论（执行者）
+    status: mechanical
+    mechanism: "M5"
+    gap: null
+    notes: null
+    mechanism_quality: null
+  - id: B4
+    source: 40-self-check.md
+    summary: 禁止改 tasks/reviews/invokes（S2）
+    status: prompt-only
+    mechanism: null
+    gap: G6
+    notes: null
+    mechanism_quality: null
+  - id: B5
+    source: 40-self-check.md
+    summary: 不凭记忆声称测过
+    status: prompt-only
+    mechanism: null
+    gap: null
+    notes: "诚实纪律 · 设计上留 Prompt"
+    mechanism_quality: null
+  - id: C1
+    source: 22-task-audit.md
+    summary: 必须落盘 reviews task_*_audit_R*
+    status: mechanical
+    mechanism: "findReview · verify/close（G2 · v2.5+；全量 v2.9）"
+    gap: G2
+    notes: "02 原 ❌ · 已刷新；内容质量仍 prompt-only"
+    mechanism_quality: null
+  - id: C2
+    source: 22-task-audit.md
+    summary: HG-AUDIT-R1 pending 时禁止附 30 Prompt
+    status: partial
+    mechanism: "存在性闸；审查文内容无检查"
+    gap: G2
+    notes: null
+    mechanism_quality: null
+  - id: C3
+    source: 22-task-audit.md
+    summary: 思考轮审查不通过 → 退回 10
+    status: prompt-only
+    mechanism: null
+    gap: null
+    notes: "流程纪律"
+    mechanism_quality: null
+  - id: C4
+    source: 22-task-audit.md
+    summary: 零阻塞写已核对项；终轮写签收
+    status: prompt-only
+    mechanism: null
+    gap: null
+    notes: "审查文结构无 lint"
+    mechanism_quality: null
+  - id: D1
+    source: 10-requirements.md
+    summary: task 必含验收/failure_paths/非范围/依赖
+    status: mechanical
+    mechanism: "task lint（G1）"
+    gap: G1
+    notes: "02 原 ❌ · 已刷新"
+    mechanism_quality: null
+  - id: D2
+    source: 10-requirements.md
+    summary: 不写绝对本机路径
+    status: mechanical
+    mechanism: "task lint E6（G3）"
+    gap: G3
+    notes: "02 原 ❌ · 已刷新"
+    mechanism_quality: null
+  - id: D3
+    source: 10-requirements.md
+    summary: 预置 R0–R5 + 思考轮控制表
+    status: mechanical
+    mechanism: "task lint E8–E10（G4 · 条件触发）"
+    gap: G4
+    notes: "02 原 ❌ · 已刷新；内容质量仍 20 帽"
+    mechanism_quality: null
+  - id: D4
+    source: 10-requirements.md
+    summary: 缺验收/failure_paths → 仅输出阻塞清单
+    status: mechanical
+    mechanism: "task lint（G1）"
+    gap: G1
+    notes: null
+    mechanism_quality: null
+  - id: E1
+    source: FRAGMENT_30
+    summary: invoke 中禁止预写 HG-AUDIT-R1 approved
+    status: prompt-only
+    mechanism: null
+    gap: G3
+    notes: "SPEC R2 缓做 · 误报风险"
+    mechanism_quality: null
+  - id: E2
+    source: FRAGMENT_30
+    summary: 用户确认 approved = 须核验非事实
+    status: partial
+    mechanism: "M2 读表"
+    gap: null
+    notes: null
+    mechanism_quality: null
+  - id: F1
+    source: TEMPLATE_invoke.md
+    summary: 落盘路径 by-task/<task_slug>/
+    status: mechanical
+    mechanism: "M5/M6"
+    gap: null
+    notes: null
+    mechanism_quality: null
+  - id: F2
+    source: TEMPLATE_invoke.md
+    summary: 同帽追问不新增 invoke；打回用 _r2
+    status: prompt-only
+    mechanism: null
+    gap: null
+    notes: "命名纪律 · 可留 prompt"
+    mechanism_quality: null
+  - id: F3
+    source: TEMPLATE_invoke.md
+    summary: 落盘 + task 回填后再 commit
+    status: prompt-only
+    mechanism: null
+    gap: G6
+    notes: null
+    mechanism_quality: null

package/harness/lifecycle.yaml

@@ -1,7 +1,8 @@
-# Task lifecycle · 最小真值（方向二文档先行 · v1）
+# Task lifecycle · 最小真值（方向二 · v1）
 #
-# 只读登记：状态 / 转移 / 守卫。不由引擎执行。
-# CLI：npx @cyning/harness lifecycle show [--json]
+# 登记真值：状态 / 转移 / 守卫。yaml 本身不是引擎。
+# 由 `lifecycle dry-run` 引擎消费（v2.10+ · 资格判定旁路报告 · 不写盘）。
+# 只读展示：npx @cyning/harness lifecycle show [--json]
 # Schema：schema/lifecycle.v1.schema.json
 
 version: "1"
@@ -34,7 +35,7 @@ transitions:
     from: ["draft", "in_progress"]
     to: in_progress
     hat: "30"
-    description: "执行帽开工（verify --task 聚合）"
+    description: "执行帽开工（verify --task 与全量模式聚合 · v2.9+）"
     guards:
       - id: HG-AUDIT-R1
         command_or_check: "gate-check · human_gate HG-AUDIT-R1=approved"
@@ -46,9 +47,10 @@ transitions:
         command_or_check: "verify/audit · test_strategy vs 测试文件存在"
         severity: block
       - id: reviews_retention
-        command_or_check: "verify · findReview R<n> 存在性（v2.5+）"
+        command_or_check: "verify --task 与全量 · findReview R<n> 存在性（v2.5+ · 全量 v2.9+）"
         severity: block
         allow_flag: "--allow-no-review"
+        note: "全量模式扫描双路径 active；不跑 lint / D5"
       - id: task_lint
         command_or_check: "verify --task · lintTaskFile（v2.7+）"
         severity: warn

package/lib/cli.js

@@ -400,7 +400,8 @@ async function cmdVerify(args) {
   if (args.includes('--help') || args.includes('-h')) {
     console.log(`用法: npx @cyning/harness verify [--target PATH] [--task FILE | --spec FILE] [--graph] [--json] [--agent-hint] [--workspace-root PATH] [--allow-no-review] [--allow-lint-fail] [--allow-no-spec-review]
 
-无 --task/--spec：扫描 docs/tasks/active/task_*.md 并逐项列出闸表（同 gate-check）；不跑 task lint。
+无 --task/--spec：扫描 docs/tasks/active ∪ docs/harness/tasks/active（同 basename 优先 Starter）；
+  闸表 + 全量 reviews 存在性（v2.9+）· 不跑 task lint / D5 · --allow-no-review。
 --task：30 前聚合（gate + audit + reviews + lint WARN）· --allow-no-review / --allow-lint-fail。
 --spec：SPEC→00 前查审查文存在性（v2.8+ · 与 --task 互斥）· --allow-no-spec-review。
   推荐：--spec <产品仓 SPEC> --workspace-root <含 docs/harness/reviews 的工作区根>
@@ -504,34 +505,98 @@ async function cmdVerify(args) {
 }
 
 async function cmdLifecycle(args) {
-  const { loadLifecycle, formatLifecycleShow } = await import('./lifecycle.js');
+  const {
+    loadLifecycle,
+    formatLifecycleShow,
+    dryRunTransition,
+    formatLifecycleDryRun,
+  } = await import('./lifecycle.js');
   const [sub, ...rest] = args;
   if (!sub || sub === '--help' || sub === '-h' || args.includes('--help') || args.includes('-h')) {
-    console.log(`用法: npx @cyning/harness lifecycle show [--json]
+    console.log(`用法:
+  npx @cyning/harness lifecycle show [--json]
+  npx @cyning/harness lifecycle dry-run --transition ID --from STATE [--task PATH] [--json]
+       [--allow-no-review] [--allow-lint-fail] [--allow-no-spec-review]
 
-只读展示产品包 harness/lifecycle.yaml（状态 / 转移 / 守卫登记）。
-不做转移执行、不写盘（方向二文档先行 · v2.7+）。
+show     · 只读展示 harness/lifecycle.yaml（登记真值 · v2.7+）
+dry-run  · 转移资格判定（引擎消费 yaml · v2.10+ · 旁路报告 · 非 runner / 非 G7）
 `);
     return;
   }
-  if (sub !== 'show') {
-    const err = new Error(`lifecycle 子命令未知: ${sub}\n用法: lifecycle show [--json]`);
-    err.exitCode = 1;
-    throw err;
-  }
-  const json = rest.includes('--json');
-  const unknown = rest.filter((a) => a !== '--json');
-  if (unknown.length > 0) {
-    const err = new Error(`lifecycle show 未知参数: ${unknown.join(' ')}`);
-    err.exitCode = 1;
-    throw err;
+
+  if (sub === 'show') {
+    const json = rest.includes('--json');
+    const unknown = rest.filter((a) => a !== '--json');
+    if (unknown.length > 0) {
+      const err = new Error(`lifecycle show 未知参数: ${unknown.join(' ')}`);
+      err.exitCode = 1;
+      throw err;
+    }
+    const { data } = loadLifecycle();
+    if (json) {
+      console.log(JSON.stringify(data, null, 2));
+    } else {
+      console.log(formatLifecycleShow(data));
+    }
+    return;
   }
-  const { data } = loadLifecycle();
-  if (json) {
-    console.log(JSON.stringify(data, null, 2));
-  } else {
-    console.log(formatLifecycleShow(data));
+
+  if (sub === 'dry-run') {
+    let remaining = rest;
+    const { value: transitionId, rest: r1 } = takeOption(remaining, '--transition');
+    remaining = r1;
+    const { value: fromState, rest: r2 } = takeOption(remaining, '--from');
+    remaining = r2;
+    const { value: taskPath, rest: r3 } = takeOption(remaining, '--task');
+    remaining = r3;
+    const json = remaining.includes('--json');
+    const allowNoReview = remaining.includes('--allow-no-review');
+    const allowLintFail = remaining.includes('--allow-lint-fail');
+    const allowNoSpecReview = remaining.includes('--allow-no-spec-review');
+    remaining = remaining.filter(
+      (a) =>
+        a !== '--json' &&
+        a !== '--allow-no-review' &&
+        a !== '--allow-lint-fail' &&
+        a !== '--allow-no-spec-review',
+    );
+    if (remaining.length > 0) {
+      const err = new Error(`lifecycle dry-run 未知参数: ${remaining.join(' ')}`);
+      err.exitCode = 1;
+      throw err;
+    }
+    if (!transitionId || !fromState) {
+      const err = new Error(
+        'lifecycle dry-run 须 --transition <id> 与 --from <state>\n提示: lifecycle show',
+      );
+      err.exitCode = 1;
+      throw err;
+    }
+
+    const report = dryRunTransition({
+      transitionId,
+      fromState,
+      taskPath,
+      flags: { allowNoReview, allowLintFail, allowNoSpecReview },
+      cwd: process.cwd(),
+    });
+
+    if (json) {
+      console.log(JSON.stringify(report, null, 2));
+    } else {
+      console.log(formatLifecycleDryRun(report));
+    }
+    if (report.exitCode && report.exitCode !== 0) {
+      process.exitCode = report.exitCode;
+    }
+    return;
   }
+
+  const err = new Error(
+    `lifecycle 子命令未知: ${sub}\n用法: lifecycle show [--json] · lifecycle dry-run --transition ID --from STATE`,
+  );
+  err.exitCode = 1;
+  throw err;
 }
 
 async function cmdSync(args) {

package/lib/discipline-coverage.js

@@ -0,0 +1,96 @@
+import fs from 'node:fs';
+import path from 'node:path';
+import yaml from 'js-yaml';
+import { resolveHarnessRoot } from './paths.js';
+
+const STATUSES = new Set(['mechanical', 'partial', 'prompt-only']);
+const GAP_STATUSES = new Set(['open', 'closed', 'deferred']);
+
+/**
+ * 轻量结构校验（对齐 schema/discipline-coverage.v1.schema.json 必填约束）。
+ * @returns {{ ok: boolean, errors: string[] }}
+ */
+export function validateDisciplineCoverage(data) {
+  const errors = [];
+  if (!data || typeof data !== 'object') {
+    return { ok: false, errors: ['根须为 object'] };
+  }
+  if (typeof data.version !== 'string' || !data.version.trim()) {
+    errors.push('缺 version');
+  }
+  if (typeof data.as_of_package_version !== 'string' || !data.as_of_package_version.trim()) {
+    errors.push('缺 as_of_package_version');
+  }
+  if (typeof data.scope !== 'string' || !data.scope.trim()) {
+    errors.push('缺 scope');
+  }
+  if (!Array.isArray(data.statements) || data.statements.length === 0) {
+    errors.push('缺 statements[] 或为空');
+  } else {
+    data.statements.forEach((s, i) => {
+      if (!s || typeof s.id !== 'string' || !s.id.trim()) {
+        errors.push(`statements[${i}] 缺 id`);
+      }
+      if (!s || typeof s.source !== 'string') {
+        errors.push(`statements[${i}] 缺 source`);
+      }
+      if (!s || typeof s.summary !== 'string') {
+        errors.push(`statements[${i}] 缺 summary`);
+      }
+      if (!s || !STATUSES.has(s.status)) {
+        errors.push(`statements[${i}] status 非法: ${s?.status}`);
+      }
+    });
+  }
+  if (data.gaps != null) {
+    if (!Array.isArray(data.gaps)) {
+      errors.push('gaps 须为 array');
+    } else {
+      data.gaps.forEach((g, i) => {
+        if (!g || typeof g.id !== 'string') errors.push(`gaps[${i}] 缺 id`);
+        if (!g || typeof g.title !== 'string') errors.push(`gaps[${i}] 缺 title`);
+        if (!g || !GAP_STATUSES.has(g.status)) {
+          errors.push(`gaps[${i}] status 非法: ${g?.status}`);
+        }
+      });
+    }
+  }
+  return { ok: errors.length === 0, errors };
+}
+
+/**
+ * 加载并校验 harness/discipline-coverage.yaml。
+ */
+export function loadDisciplineCoverage(options = {}) {
+  const harnessRoot = options.harnessRoot ?? resolveHarnessRoot();
+  const filePath =
+    options.filePath ??
+    path.join(harnessRoot, 'harness', 'discipline-coverage.yaml');
+
+  if (!fs.existsSync(filePath)) {
+    const e = new Error(`discipline-coverage.yaml 不存在: ${filePath}`);
+    e.exitCode = 1;
+    throw e;
+  }
+
+  let data;
+  try {
+    data = yaml.load(fs.readFileSync(filePath, 'utf8'));
+  } catch (err) {
+    const e = new Error(`discipline-coverage.yaml 解析失败: ${err.message}`);
+    e.exitCode = 1;
+    throw e;
+  }
+
+  const v = validateDisciplineCoverage(data);
+  if (!v.ok) {
+    const e = new Error(
+      `discipline-coverage.yaml 校验失败:\n  - ${v.errors.join('\n  - ')}`,
+    );
+    e.exitCode = 1;
+    e.validationErrors = v.errors;
+    throw e;
+  }
+
+  return { data, filePath, harnessRoot };
+}