@cyning/harness 2.8.0 → 2.10.0

package/lib/lifecycle.js

@@ -2,6 +2,7 @@ import fs from 'node:fs';
 import path from 'node:path';
 import yaml from 'js-yaml';
 import { resolveHarnessRoot } from './paths.js';
+import { findReview, parseHumanGates } from './task-meta.js';
 
 const SEVERITIES = new Set(['block', 'warn']);
 
@@ -119,3 +120,224 @@ export function formatLifecycleShow(data) {
   }
   return lines.join('\n').trimEnd();
 }
+
+/** 本波已接线的守卫（其余 unevaluated） */
+const GUARD_ADAPTERS = {
+  'HG-AUDIT-R1': evaluateHgAuditR1,
+  reviews_retention: evaluateReviewsRetention,
+};
+
+function findRepoRootFromTask(absTask) {
+  let cur = path.dirname(absTask);
+  while (true) {
+    if (path.basename(cur) === 'docs') return path.dirname(cur);
+    const parent = path.dirname(cur);
+    if (parent === cur) return null;
+    cur = parent;
+  }
+}
+
+function flagsAllow(flags, allowFlag) {
+  if (allowFlag === '--allow-no-review') return Boolean(flags.allowNoReview);
+  if (allowFlag === '--allow-lint-fail') return Boolean(flags.allowLintFail);
+  if (allowFlag === '--allow-no-spec-review') return Boolean(flags.allowNoSpecReview);
+  return false;
+}
+
+function evaluateHgAuditR1({ taskPath }) {
+  const content = fs.readFileSync(taskPath, 'utf8');
+  const gates = parseHumanGates(content);
+  const audit = gates.find((g) => g.id === 'HG-AUDIT-R1');
+  if (!audit) {
+    return { status: 'fail', detail: '闸表无 HG-AUDIT-R1 行' };
+  }
+  if (audit.status === 'approved') {
+    return { status: 'pass', detail: 'HG-AUDIT-R1=approved' };
+  }
+  return {
+    status: 'fail',
+    detail: `HG-AUDIT-R1=${audit.status}（须 approved）`,
+  };
+}
+
+function evaluateReviewsRetention({ taskPath, target, flags }) {
+  const review = findReview(target, taskPath);
+  if (review.found) {
+    return { status: 'pass', detail: review.latest };
+  }
+  if (flags.allowNoReview) {
+    return {
+      status: 'warn',
+      detail: 'missing R<n> review（--allow-no-review）',
+    };
+  }
+  return { status: 'fail', detail: 'missing R<n> review' };
+}
+
+/**
+ * 转移 dry-run（引擎最小骨架 · v2.10+）。
+ * 默认不写盘；无 --apply。
+ *
+ * @param {{
+ *   transitionId: string,
+ *   fromState: string,
+ *   taskPath?: string,
+ *   harnessRoot?: string,
+ *   flags?: { allowNoReview?: boolean, allowLintFail?: boolean, allowNoSpecReview?: boolean },
+ *   cwd?: string,
+ * }} options
+ */
+export function dryRunTransition(options = {}) {
+  const {
+    transitionId,
+    fromState,
+    taskPath,
+    harnessRoot,
+    flags = {},
+    cwd = process.cwd(),
+  } = options;
+
+  const { data } = loadLifecycle({ harnessRoot });
+  const knownIds = data.transitions.map((t) => t.id);
+  const transition = data.transitions.find((t) => t.id === transitionId);
+
+  if (!transition) {
+    return {
+      engine: 'lifecycle-dry-run',
+      lifecycle_doc_version: data.version,
+      transition_id: transitionId ?? null,
+      from: fromState ?? null,
+      to: null,
+      hat: null,
+      structure_ok: false,
+      guards: [],
+      blocked: true,
+      unevaluated_count: 0,
+      detail: `未知 transition: ${transitionId}（已知: ${knownIds.join(', ')}）`,
+      exitCode: 2,
+    };
+  }
+
+  if (!fromState || !transition.from.includes(fromState)) {
+    return {
+      engine: 'lifecycle-dry-run',
+      lifecycle_doc_version: data.version,
+      transition_id: transition.id,
+      from: fromState ?? null,
+      to: transition.to,
+      hat: transition.hat ?? null,
+      structure_ok: false,
+      guards: [],
+      blocked: true,
+      unevaluated_count: 0,
+      detail: `from "${fromState}" ∉ ${JSON.stringify(transition.from)}`,
+      exitCode: 2,
+    };
+  }
+
+  const absTask = taskPath
+    ? path.isAbsolute(taskPath)
+      ? taskPath
+      : path.resolve(cwd, taskPath)
+    : null;
+
+  if (taskPath && absTask && !fs.existsSync(absTask)) {
+    const e = new Error(`--task 不可读: ${taskPath}`);
+    e.exitCode = 1;
+    throw e;
+  }
+
+  const canEval = Boolean(absTask);
+  const target = absTask ? findRepoRootFromTask(absTask) ?? cwd : cwd;
+  const guards = [];
+
+  for (const g of transition.guards) {
+    const adapter = GUARD_ADAPTERS[g.id];
+    if (!canEval || !adapter) {
+      guards.push({
+        id: g.id,
+        severity: g.severity,
+        status: 'unevaluated',
+        detail: !canEval ? '无 --task · 未求值' : '本波未接线 adapter',
+        allow_flag: g.allow_flag ?? null,
+      });
+      continue;
+    }
+
+    const evaluated = adapter({
+      taskPath: absTask,
+      target,
+      flags,
+      guard: g,
+      cwd,
+    });
+
+    let status = evaluated.status;
+    let detail = evaluated.detail ?? null;
+
+    if (
+      status === 'fail' &&
+      g.allow_flag &&
+      flagsAllow(flags, g.allow_flag)
+    ) {
+      status = 'warn';
+      detail = `${detail ?? 'fail'}（${g.allow_flag} 豁免）`;
+    }
+
+    guards.push({
+      id: g.id,
+      severity: g.severity,
+      status,
+      detail,
+      allow_flag: g.allow_flag ?? null,
+    });
+  }
+
+  const unevaluated_count = guards.filter((g) => g.status === 'unevaluated').length;
+  const blocked = guards.some(
+    (g) => g.severity === 'block' && g.status === 'fail',
+  );
+
+  return {
+    engine: 'lifecycle-dry-run',
+    lifecycle_doc_version: data.version,
+    transition_id: transition.id,
+    from: fromState,
+    to: transition.to,
+    hat: transition.hat ?? null,
+    structure_ok: true,
+    guards,
+    blocked,
+    unevaluated_count,
+    exitCode: blocked ? 2 : 0,
+  };
+}
+
+/**
+ * 人读 dry-run 报告。
+ */
+export function formatLifecycleDryRun(report) {
+  const lines = [
+    '=== Harness lifecycle dry-run ===',
+    `engine: ${report.engine}`,
+    `lifecycle: v${report.lifecycle_doc_version}`,
+    `transition: ${report.transition_id} · ${report.from} → ${report.to}${report.hat ? ` · hat=${report.hat}` : ''}`,
+    `structure_ok: ${report.structure_ok}`,
+    `blocked: ${report.blocked}`,
+    `unevaluated_count: ${report.unevaluated_count}`,
+  ];
+  if (report.detail) lines.push(`detail: ${report.detail}`);
+  if (report.unevaluated_count > 0) {
+    lines.push('WARN: 存在未求值守卫 · unevaluated ≠ pass（勿当作已通过）');
+  }
+  lines.push('', '## guards');
+  for (const g of report.guards ?? []) {
+    const d = g.detail ? ` · ${g.detail}` : '';
+    lines.push(`- [${g.severity}] ${g.id}: ${g.status}${d}`);
+  }
+  lines.push('');
+  lines.push(
+    '注: dry-run 为旁路资格报告 · 不替代 verify / gate-check 作为 30 硬闸 · 非 G7 runner',
+  );
+  return lines.join('\n');
+}

package/lib/task-meta.js

@@ -310,17 +310,25 @@ export function buildTaskHandoff(target, taskFile, options = {}) {
 }
 
 /**
- * 扫描 target 下 active task 列表。
+ * 扫描 target 下 active task 列表（N4 · v2.9+）。
+ * 双路径：docs/tasks/active ∪ docs/harness/tasks/active；
+ * 同 basename 优先 Starter；排序稳定。
  */
 export function listActiveTasks(target) {
-  const activeDir = path.join(target, 'docs/tasks/active');
-  if (!fs.existsSync(activeDir)) return [];
-
-  return fs
-    .readdirSync(activeDir)
-    .filter((f) => f.startsWith('task_') && f.endsWith('.md'))
-    .map((f) => path.join('docs/tasks/active', f).replace(/\\/g, '/'))
-    .sort();
+  const dirs = ['docs/tasks/active', 'docs/harness/tasks/active'];
+  const byBasename = new Map();
+
+  for (const dir of dirs) {
+    const abs = path.join(target, dir);
+    if (!fs.existsSync(abs)) continue;
+    for (const f of fs.readdirSync(abs)) {
+      if (!f.startsWith('task_') || !f.endsWith('.md')) continue;
+      if (byBasename.has(f)) continue;
+      byBasename.set(f, path.join(dir, f).replace(/\\/g, '/'));
+    }
+  }
+
+  return [...byBasename.values()].sort();
 }
 
 function escapeRegExp(s) {

package/lib/verify.js

@@ -14,8 +14,9 @@ import {
 import { lintTaskFile } from './task-lint.js';
 
 /**
- * 30 前聚合验证：gate-check + audit D5（仅 --task）+ reviews 留档闸（仅 --task）
- * + task lint WARN（仅 --task · v2.7+）+ S5 git-clean warn + 可选 --graph
+ * 30 前聚合验证：gate-check + audit D5（仅 --task）+ reviews 留档闸
+ *（--task 与全量 · N4/v2.9+）+ task lint WARN（仅 --task · v2.7+）
+ * + S5 git-clean warn + 可选 --graph
  */
 export function verifyTarget(target, options = {}) {
   const { taskFile, graph, allowNoReview = false, allowLintFail = false } = options;
@@ -69,6 +70,26 @@ export function verifyTarget(target, options = {}) {
         gateResult.stdout += `WARN: task lint FAIL · ${rules || 'errors'}（不挡 may_start_30 · 修结构或 --allow-lint-fail）\n`;
       }
     }
+  } else {
+    // 3c. 全量 reviews 闸（N4 · v2.9+）：不跑 lint / D5
+    const taskFiles = listActiveTasks(target);
+    const missing = [];
+    for (const tf of taskFiles) {
+      if (!findReview(target, tf).found) missing.push(path.basename(tf));
+    }
+    if (missing.length > 0) {
+      const detail = `${missing.length}/${taskFiles.length} tasks · ${missing.join(', ')}`;
+      if (allowNoReview) {
+        gateResult.stdout += `WARN: missing R<n> review（--allow-no-review 豁免 · 留痕）· ${detail}\n`;
+      } else {
+        return {
+          ok: false,
+          exitCode: 2,
+          reason: `missing R<n> review（${detail}）`,
+          stdout: gateResult.stdout,
+        };
+      }
+    }
   }
 
   // 4. S5 git-clean：warn 不挡
@@ -335,14 +356,19 @@ export function buildVerifyHandoff(target, options = {}) {
   const taskFiles = listActiveTasks(target);
   const tasks = taskFiles.map((tf) => {
     const handoff = buildTaskHandoff(target, tf, handoffOpts);
+    const reviewOk = handoff.review_found || allowNoReview;
+    const verifyOk = handoff.may_start_30 && reviewOk;
     return {
       schema_version: '1',
-      verify_ok: handoff.may_start_30,
+      verify_ok: verifyOk,
       ...handoff,
+      may_start_30: verifyOk,
+      blocked_reason: handoff.blocked_reason ?? (reviewOk ? null : 'missing R<n> review'),
+      next_hat: verifyOk ? '30' : null,
     };
   });
 
-  const verifyOk = tasks.length > 0 && tasks.every((t) => t.may_start_30);
+  const verifyOk = tasks.length > 0 && tasks.every((t) => t.verify_ok);
   return {
     schema_version: '1',
     verify_ok: verifyOk,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cyning/harness",
-  "version": "2.8.0",
+  "version": "2.10.0",
   "description": "cyning-harness discipline package · init / upgrade / check CLI",
   "license": "MIT",
   "type": "module",

package/schema/discipline-coverage.v1.schema.json

@@ -0,0 +1,55 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://cyning.dev/schemas/cyning-harness/discipline-coverage.v1.json",
+  "title": "cyning-harness Discipline Coverage (mechanization matrix)",
+  "description": "Starter 子集机械化率资产 · 随包版本维护 · 非 audit UI（v2.10+）",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["version", "as_of_package_version", "scope", "statements"],
+  "properties": {
+    "version": { "type": "string", "minLength": 1 },
+    "as_of_package_version": { "type": "string", "minLength": 1 },
+    "scope": { "type": "string", "minLength": 1 },
+    "source_audit": { "type": "string" },
+    "statements": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["id", "source", "summary", "status"],
+        "properties": {
+          "id": { "type": "string", "minLength": 1 },
+          "source": { "type": "string", "minLength": 1 },
+          "summary": { "type": "string", "minLength": 1 },
+          "status": {
+            "type": "string",
+            "enum": ["mechanical", "partial", "prompt-only"]
+          },
+          "mechanism": { "type": ["string", "null"] },
+          "gap": { "type": ["string", "null"] },
+          "notes": { "type": ["string", "null"] },
+          "mechanism_quality": { "type": ["string", "null"] }
+        }
+      }
+    },
+    "gaps": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["id", "title", "status"],
+        "properties": {
+          "id": { "type": "string", "minLength": 1 },
+          "title": { "type": "string", "minLength": 1 },
+          "status": {
+            "type": "string",
+            "enum": ["open", "closed", "deferred"]
+          },
+          "closed_in": { "type": ["string", "null"] },
+          "note": { "type": ["string", "null"] }
+        }
+      }
+    }
+  }
+}

package/schema/lifecycle.v1.schema.json

@@ -2,7 +2,7 @@
   "$schema": "https://json-schema.org/draft/2020-12/schema",
   "$id": "https://cyning.dev/schemas/cyning-harness/lifecycle.v1.json",
   "title": "cyning-harness Task Lifecycle (minimal)",
-  "description": "状态/转移/守卫登记 · 只读真值 · 非引擎（v2.7+）",
+  "description": "状态/转移/守卫登记真值 · 由 lifecycle dry-run 引擎消费（yaml ≠ 引擎 · v2.7+ 登记 · v2.10+ dry-run）",
   "type": "object",
   "additionalProperties": false,
   "required": ["version", "states", "transitions"],

package/wizard/gate-check.sh

@@ -174,6 +174,29 @@ if [[ "$JSON_MODE" != "1" ]]; then
   echo ""
 fi
 
+# N4 · v2.9+：双路径发现（Starter ∪ Extended）；同 basename 优先 Starter
+# 输出绝对路径列表到 TASK_LIST（bash 3.2 兼容 · 无关联数组）
+collect_active_tasks() {
+  TASK_LIST=()
+  local dir tf base existing already
+  for dir in "$TARGET/docs/tasks/active" "$TARGET/docs/harness/tasks/active"; do
+    [[ -d "$dir" ]] || continue
+    for tf in "$dir"/task_*.md; do
+      [[ -f "$tf" ]] || continue
+      base="$(basename "$tf")"
+      already=0
+      for existing in "${TASK_LIST[@]+"${TASK_LIST[@]}"}"; do
+        if [[ "$(basename "$existing")" == "$base" ]]; then
+          already=1
+          break
+        fi
+      done
+      [[ "$already" == "1" ]] && continue
+      TASK_LIST+=("$tf")
+    done
+  done
+}
+
 BLOCKED=0
 
 if [[ "$GRAPH_MODE" == "1" ]]; then
@@ -191,26 +214,16 @@ if [[ "$GRAPH_MODE" == "1" ]]; then
     fi
     graph_for_task "$TASK_FILE"
   else
-    ACTIVE_DIR="$TARGET/docs/tasks/active"
-    if [[ ! -d "$ACTIVE_DIR" ]]; then
+    collect_active_tasks
+    if [[ ${#TASK_LIST[@]} -eq 0 ]]; then
       if [[ "$JSON_MODE" == "1" ]]; then
         printf ']\n'
       else
-        echo "⚠️  无 $ACTIVE_DIR" >&2
+        echo "无 active task_*.md（docs/tasks/active ∪ docs/harness/tasks/active）"
       fi
       exit 0
     fi
-    TASK_FILES=("$ACTIVE_DIR"/task_*.md)
-    if [[ ! -e "${TASK_FILES[0]}" ]]; then
-      if [[ "$JSON_MODE" == "1" ]]; then
-        printf ']\n'
-      else
-        echo "无 active task_*.md"
-      fi
-      exit 0
-    fi
-    for tf in "$ACTIVE_DIR"/task_*.md; do
-      [[ -f "$tf" ]] || continue
+    for tf in "${TASK_LIST[@]}"; do
       if [[ "$JSON_MODE" == "1" ]]; then
         [[ "$local_first" == "1" ]] || printf ','
         local_first=0
@@ -234,15 +247,16 @@ if [[ -n "$TASK_FILE" ]]; then
   fi
   check_one_task "$TASK_FILE" || BLOCKED=1
 else
-  ACTIVE_DIR="$TARGET/docs/tasks/active"
-  [[ -d "$ACTIVE_DIR" ]] || { echo "无 $ACTIVE_DIR" >&2; exit 1; }
-  TASK_FILES=("$ACTIVE_DIR"/task_*.md)
-  if [[ ! -e "${TASK_FILES[0]}" ]]; then
+  collect_active_tasks
+  if [[ ${#TASK_LIST[@]} -eq 0 ]]; then
+    if [[ ! -d "$TARGET/docs/tasks/active" && ! -d "$TARGET/docs/harness/tasks/active" ]]; then
+      echo "无 docs/tasks/active 且无 docs/harness/tasks/active" >&2
+      exit 1
+    fi
     echo "无 active task_*.md"
     exit 0
   fi
-  for tf in "$ACTIVE_DIR"/task_*.md; do
-    [[ -f "$tf" ]] || continue
+  for tf in "${TASK_LIST[@]}"; do
     check_one_task "$tf" || BLOCKED=1
   done
 fi