@cyning/harness 2.9.0 → 2.11.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.11.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,10 @@
-# Task lifecycle · 最小真值（方向二文档先行 · v1）
+# Task lifecycle · 最小真值（方向二 · v1）
 #
-# 只读登记：状态 / 转移 / 守卫。不由引擎执行。
-# CLI：npx @cyning/harness lifecycle show [--json]
+# 登记真值：状态 / 转移 / 守卫。yaml 本身不是引擎。
+# 由 `lifecycle dry-run` 引擎消费（v2.10+ · 资格判定旁路报告 · 不写盘）。
+# v2.11+ to_30 已接线：HG-AUDIT-R1 · HG-TASK-DRAFT · reviews_retention · audit_D5 · task_lint
+#   （close_* / 可选 to_00 仍可 unevaluated）
+# 只读展示：npx @cyning/harness lifecycle show [--json]
 # Schema：schema/lifecycle.v1.schema.json
 
 version: "1"

package/lib/audit.js

@@ -45,7 +45,11 @@ function runGateCheck(target, taskFile) {
   };
 }
 
-function runTestCheck(target, taskFile) {
+/**
+ * D5 · test_strategy vs 测试/CI 制品（供 audit / lifecycle dry-run 复用）。
+ * @returns {{ ok: boolean, skipped?: boolean, reason: string }}
+ */
+export function runTestCheck(target, taskFile) {
   // 未指定 task 文件时，D5 跳过（在 active task 上跑 gate-check 已覆盖 D3）
   if (!taskFile) {
     return { ok: true, skipped: true, reason: '未指定 --task，跳过 D5' };

package/lib/cli.js

@@ -43,6 +43,7 @@ function usage(version = 'unknown') {
   npx @cyning/harness gate-check [--target PATH] [--task FILE] [--graph] [--json]
   npx @cyning/harness verify [--target PATH] [--task FILE | --spec FILE] [--graph] [--json] [--agent-hint] [--workspace-root PATH]
   npx @cyning/harness lifecycle show [--json]
+  npx @cyning/harness discipline show [--json]
   npx @cyning/harness sync index [--target PATH]
   npx @cyning/harness task check --file PATH [--no-circular] [--registry DIR]...
   npx @cyning/harness task close --file PATH [--target PATH] [--yes] [--allow-unchecked]
@@ -63,7 +64,8 @@ function usage(version = 'unknown') {
   audit       ICVO 机械审计：复用 gate-check · D5 测试声明检查 · S5 git-clean 提醒
   gate-check  调用 wizard/gate-check.sh（业务仓无需 clone 即可用）
   verify      30 前聚合（--task）或 SPEC→00 审查文闸（--spec · v2.8+）
-  lifecycle   只读展示 harness/lifecycle.yaml（状态/转移/守卫 · v2.7+）
+  lifecycle   只读展示 harness/lifecycle.yaml（状态/转移/守卫 · v2.7+；dry-run v2.10+）
+  discipline  只读展示 harness/discipline-coverage.yaml（机械化率资产 · v2.11+）
   sync index  生成 .cyning-harness/invoke_index.json
   task check  校验 task.harness.v1.json sidecar · --no-circular 检测 depends_on 环
   task close  受闸归档：5 项机械校验（invoke/自检结论/勾选/slug/状态）后 mv active→done（v2.2+）
@@ -134,6 +136,10 @@ export async function runCli(argv) {
     await cmdLifecycle(rest);
     return;
   }
+  if (cmd === 'discipline') {
+    await cmdDiscipline(rest);
+    return;
+  }
   if (cmd === 'sync') {
     await cmdSync(rest);
     return;
@@ -505,34 +511,136 @@ 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;
+
+  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 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 === '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 { data } = loadLifecycle();
-  if (json) {
-    console.log(JSON.stringify(data, null, 2));
-  } else {
-    console.log(formatLifecycleShow(data));
+
+  const err = new Error(
+    `lifecycle 子命令未知: ${sub}\n用法: lifecycle show [--json] · lifecycle dry-run --transition ID --from STATE`,
+  );
+  err.exitCode = 1;
+  throw err;
+}
+
+async function cmdDiscipline(args) {
+  const { loadDisciplineCoverage, formatDisciplineShow } = await import(
+    './discipline-coverage.js'
+  );
+  const [sub, ...rest] = args;
+  if (!sub || sub === '--help' || sub === '-h' || args.includes('--help') || args.includes('-h')) {
+    console.log(`用法:
+  npx @cyning/harness discipline show [--json]
+
+show  · 只读展示 harness/discipline-coverage.yaml（机械化率资产 · v2.11+ · 非 audit UI）
+`);
+    return;
+  }
+
+  if (sub === 'show') {
+    const json = rest.includes('--json');
+    const unknown = rest.filter((a) => a !== '--json');
+    if (unknown.length > 0) {
+      const err = new Error(`discipline show 未知参数: ${unknown.join(' ')}`);
+      err.exitCode = 1;
+      throw err;
+    }
+    const { data } = loadDisciplineCoverage();
+    if (json) {
+      console.log(JSON.stringify(data, null, 2));
+    } else {
+      console.log(formatDisciplineShow(data));
+    }
+    return;
   }
+
+  const err = new Error(
+    `discipline 子命令未知: ${sub ?? '(空)'}\n用法: discipline show [--json]`,
+  );
+  err.exitCode = 1;
+  throw err;
 }
 
 async function cmdSync(args) {

package/lib/discipline-coverage.js

@@ -0,0 +1,148 @@
+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 };
+}
+
+/**
+ * 人读摘要（镜像 lifecycle show · 只读）。
+ */
+export function formatDisciplineShow(data) {
+  const byStatus = {};
+  for (const s of data.statements ?? []) {
+    byStatus[s.status] = (byStatus[s.status] ?? 0) + 1;
+  }
+  const gapBy = {};
+  for (const g of data.gaps ?? []) {
+    gapBy[g.status] = (gapBy[g.status] ?? 0) + 1;
+  }
+
+  const lines = [
+    `discipline-coverage v${data.version}`,
+    `as_of: ${data.as_of_package_version}`,
+    `scope: ${data.scope}`,
+    '',
+    `## statements (${data.statements?.length ?? 0})`,
+    ...Object.entries(byStatus)
+      .sort(([a], [b]) => a.localeCompare(b))
+      .map(([k, n]) => `- ${k}: ${n}`),
+    '',
+    `## gaps (${data.gaps?.length ?? 0})`,
+  ];
+  if ((data.gaps?.length ?? 0) === 0) {
+    lines.push('- （无）');
+  } else {
+    lines.push(
+      ...Object.entries(gapBy)
+        .sort(([a], [b]) => a.localeCompare(b))
+        .map(([k, n]) => `- ${k}: ${n}`),
+    );
+  }
+
+  lines.push('', '## sample statements（最多 12）');
+  for (const s of (data.statements ?? []).slice(0, 12)) {
+    const sum =
+      s.summary.length > 72 ? `${s.summary.slice(0, 69)}…` : s.summary;
+    lines.push(`- [${s.status}] ${s.id}: ${sum}`);
+  }
+  if ((data.statements?.length ?? 0) > 12) {
+    lines.push(`- … +${data.statements.length - 12} more`);
+  }
+
+  lines.push(
+    '',
+    '注: SoT = harness/discipline-coverage.yaml · show 只读 · 非 audit --discipline UI',
+  );
+  return lines.join('\n');
+}