@cyning/harness 2.0.1 → 2.0.3

package/CHANGELOG.md

@@ -4,6 +4,27 @@
 
 ## [Unreleased]
 
+## [2.0.2] - 2026-06-18
+
+### Added
+
+- **A6 Agent handoff**：`verify --json` · `--agent-hint` · `--workspace-root`
+- **lib/task-meta.js**：解析 task Harness 表 `entry_invoke_*` · 人工闸 · `may_start_30`
+- **schema/verify_result.v1.schema.json**：JSON 输出文档化
+- **sync index**：索引 task `entry_points.{10,20,30}`
+- **compliance-bench S6**：`S6_agent_handoff/` · `--all` 含 S6（6/6 = 100%）
+
+### Changed
+
+- **FRAGMENT_30**：verify 从「推荐」→ **「30 改码前必须」**
+- **USER_GUIDE** §5.1 Agent handoff · **QUICKREF** 新 flags
+- **版本**：`package.json` → **2.0.2**
+
+### Notes
+
+- **HG-RELEASE**：待维护者 publish `@cyning/harness@2.0.2`
+- dogfood：`kimi-code-meta` · `task_meta_graph_issue_sync_gate_v1.md`
+
 ## [2.0.1] - 2026-06-17
 
 ### Added

package/docs/USER_GUIDE_v1.0_zh.md

@@ -114,6 +114,12 @@ npx @cyning/harness@1.0.1 init --preset harness-only --ide cursor,agents --yes
 # 30 前聚合验证（gate-check + audit D5 + S5 warn + 可选 --graph）
 npx @cyning/harness verify --target . --task docs/tasks/active/task_xxx.md
 
+# Agent handoff（v2.0.2+）：JSON 路由 + 下一帽提示
+npx @cyning/harness verify --target . \
+  --task docs/tasks/active/task_xxx.md \
+  [--json] [--agent-hint] \
+  [--workspace-root /path/to/Projects]
+
 # 仅人工闸
 npx @cyning/harness gate-check --target . --task docs/tasks/active/task_xxx.md
 npx @cyning/harness gate-check --graph --target .    # Inform 图谱闸
@@ -131,6 +137,24 @@ npx @cyning/harness gate-check --graph --target .    # Inform 图谱闸
 | `HG-GRAPH-MODULES` | 架构模块表人签 | pending → 拒改码 30 |
 | `HG-RELEASE` | 发版闸（产品仓） | 一般业务仓不涉及 |
 
+### 5.1 Agent handoff（v2.0.2+）
+
+`verify --json` 从 task Harness 表解析 `entry_invoke_30` 等字段，输出 Agent 可消费的机械路由（不读取 Projects 文件正文）：
+
+| JSON 字段 | 含义 |
+| --- | --- |
+| `may_start_30` | 等价 gate-check「可 30」 |
+| `blocked_reason` | 阻塞时 D2/D3 文案 |
+| `review_path` | 最新 `*_audit_R1_*.md`（相对 target） |
+| `entry_invoke_30` | task 表原始路径 |
+| `entry_invoke_30_resolved` | 绝对路径（`Projects/` 前缀须 `--workspace-root`） |
+| `next_hat` | `"30"` 或 `null` |
+| `agent_preamble` | 短句提醒首输出 GATE_VERIFY |
+
+Schema：[`schema/verify_result.v1.schema.json`](../schema/verify_result.v1.schema.json)
+
+---
+
 **Inform 图谱闸（v1.0）**：改码类 task 前，确保 `docs/_tech_graph/` 模块表已维护者签 `HG-GRAPH-MODULES = approved`。存量大仓可按 [`ONBOARDING.md`](./ONBOARDING.md) §3 选 S0–S3 档位，**不必一次画完所有 Mermaid**。
 
 ---
@@ -142,7 +166,7 @@ npx @cyning/harness gate-check --graph --target .    # Inform 图谱闸
 | `npx @cyning/harness init` | 首次安装模板与 manifest（可选 `--with-scripts`） |
 | `npx @cyning/harness upgrade` | 同步产品包更新（可加 `--gate-check` 先 audit） |
 | `npx @cyning/harness check` | 检查是否有新版本 |
-| `npx @cyning/harness verify` | 30 前聚合：gate-check + audit D5 + S5 warn + 可选 `--graph` |
+| `npx @cyning/harness verify` | 30 前聚合：gate-check + audit D5 + S5 warn + 可选 `--graph` · v2.0.2+ `--json` / `--agent-hint` / `--workspace-root` |
 | `npx @cyning/harness gate-check` | 仅人工闸（`--graph` / `--json`） |
 | `npx @cyning/harness audit` | ICVO 机械审计（D3/D5/S5） |
 | `npx @cyning/harness sync index` | 生成 `.cyning-harness/invoke_index.json` |

package/examples/compliance_bench/S6_agent_handoff/.cyning-harness/manifest.json

@@ -0,0 +1 @@
+{"version":"2.0.2","preset":"harness-only"}

package/examples/compliance_bench/S6_agent_handoff/docs/harness/invokes/by-task/s6/PROMPT_START_30_v1.md

@@ -0,0 +1,3 @@
+# PROMPT_START_30 · S6 fixture
+
+Static invoke path for compliance bench S6.

package/examples/compliance_bench/S6_agent_handoff/docs/harness/reviews/task_s6_agent_handoff_audit_R1_20260618.md

@@ -0,0 +1,3 @@
+# 任务审核 · cyning-harness A6 · R1 fixture
+
+S6 compliance bench · static review path.

package/examples/compliance_bench/S6_agent_handoff/task_s6_agent_handoff.md

@@ -0,0 +1,31 @@
+# Task fixture · S6 · Agent handoff · verify --json
+
+> 用途：SDD-Compliance micro-bench S6 · approved + entry_invoke_30 → may_start_30 true
+
+---
+
+## Harness 元信息
+
+| 字段 | 值 |
+| --- | --- |
+| **task_slug** | `s6_agent_handoff` |
+| **test_strategy** | `not_applicable` |
+| **test_strategy_note** | compliance bench 静态夹具 |
+| **entry_invoke_30** | `docs/harness/invokes/by-task/s6/PROMPT_START_30_v1.md` |
+
+### 人工闸
+
+| human_gate_id | status | blocks_hats | 说明 |
+| --- | --- | --- | --- |
+| HG-TASK-DRAFT | approved | 20, 30 | ok |
+| HG-AUDIT-R1 | approved | 30 | R1 已签 |
+
+---
+
+## 背景与目标
+
+验证 A6 Agent handoff：`verify --json` 输出 `may_start_30: true` 且 `entry_invoke_30` 非空。
+
+## 验收标准
+
+- `verify --json --task task_s6_agent_handoff.md` · `may_start_30` = true · `entry_invoke_30` 非空

package/harness/prompts/FRAGMENT_30_gate_verify_v1_zh.md

@@ -20,7 +20,7 @@ reviews：task_*_audit_R1_*.md 存在且 R1 通过？ {是/否}
 
 结论：{STOP · 签闸指引 | 可进入读码/改码}
 
-机械辅助（推荐）：`npx @cyning/harness verify --target <meta> --task docs/tasks/active/task_*.md`
+机械辅助（30 改码前必须）：`npx @cyning/harness verify --target <meta> --task docs/tasks/active/task_*.md [--json] [--agent-hint] [--workspace-root <Projects>]`
 ```
 
 ## Agent 纪律

package/harness/templates/QUICKREF_v1_zh.md

@@ -8,7 +8,7 @@
 
 ```bash
 # 30 前聚合验证（gate-check + audit D5 + S5 warn + 可选 --graph）
-npx @cyning/harness verify [--target .] [--task docs/tasks/active/task_xxx.md] [--graph]
+npx @cyning/harness verify [--target .] [--task docs/tasks/active/task_xxx.md] [--graph] [--json] [--agent-hint] [--workspace-root PATH]
 
 # 仅人工闸	npx @cyning/harness gate-check [--target .] [--task ...] [--graph] [--json]
 

package/lib/cli.js

@@ -38,7 +38,7 @@ function usage(version = 'unknown') {
   npx @cyning/harness check [--target PATH]
   npx @cyning/harness audit [--target PATH] [--task FILE]
   npx @cyning/harness gate-check [--target PATH] [--task FILE] [--graph] [--json]
-  npx @cyning/harness verify [--target PATH] [--task FILE] [--graph]
+  npx @cyning/harness verify [--target PATH] [--task FILE] [--graph] [--json] [--agent-hint] [--workspace-root PATH]
   npx @cyning/harness sync index [--target PATH]
   npx @cyning/harness task check --file PATH [--no-circular] [--registry DIR]...
   npx @cyning/harness graph yaml compile --graph-id ID [--input DIR] [--output FILE]
@@ -375,12 +375,15 @@ async function cmdGateCheck(args) {
 
 async function cmdVerify(args) {
   // D3 · implemented in lib/verify.js
-  const { verifyTarget } = await import('./verify.js');
+  const { verifyTarget, buildVerifyHandoff, formatAgentHint } = await import('./verify.js');
   if (args.includes('--help') || args.includes('-h')) {
-    console.log(`用法: npx @cyning/harness verify [--target PATH] [--task FILE] [--graph]
+    console.log(`用法: npx @cyning/harness verify [--target PATH] [--task FILE] [--graph] [--json] [--agent-hint] [--workspace-root PATH]
 
 无 --task 时：扫描 docs/tasks/active/task_*.md 并逐项列出闸表（同 gate-check）。
 任一 task 阻塞则 VERIFY: BLOCKED · exit 2；全部可 30 则 VERIFY: PASS。
+--json：输出 Agent handoff JSON（may_start_30 · entry_invoke_30 · review_path 等）。
+--agent-hint：人类可读 handoff 摘要（可与 --json 同用）。
+--workspace-root：解析 task 中 Projects/ 前缀的 entry_invoke 路径。
 `);
     return;
   }
@@ -390,8 +393,12 @@ async function cmdVerify(args) {
   rest = r1;
   const { value: taskFile, rest: r2 } = takeOption(rest, '--task');
   rest = r2;
+  const { value: workspaceRoot, rest: r3 } = takeOption(rest, '--workspace-root');
+  rest = r3;
   const graph = rest.includes('--graph');
-  rest = rest.filter((a) => a !== '--graph');
+  const json = rest.includes('--json');
+  const agentHint = rest.includes('--agent-hint');
+  rest = rest.filter((a) => a !== '--graph' && a !== '--json' && a !== '--agent-hint');
 
   if (rest.length > 0) {
     const err = new Error(`verify 未知参数: ${rest.join(' ')}`);
@@ -402,15 +409,37 @@ async function cmdVerify(args) {
   const target = resolveTarget(process.cwd(), targetArg);
   const result = verifyTarget(target, { taskFile, graph });
 
-  // forward gate-check/audit/graph stdout if any
-  if (result.stdout) {
+  // forward gate-check/audit/graph stdout if any（--json 时仍透传机械闸表）
+  if (result.stdout && !json) {
     process.stdout.write(result.stdout);
+  } else if (result.stdout && json) {
+    // JSON 模式：闸表走 stderr 避免污染 stdout JSON
+    process.stderr.write(result.stdout);
   }
 
-  const summary = taskFile
-    ? `VERIFY: ${result.ok ? 'PASS' : 'BLOCKED'}${result.reason ? ` · ${result.reason}` : ''} · ${path.basename(taskFile)}`
-    : `VERIFY: ${result.ok ? 'PASS' : 'BLOCKED'}${result.reason ? ` · ${result.reason}` : ''}`;
-  console.log(summary);
+  const handoff = buildVerifyHandoff(target, {
+    taskFile,
+    workspaceRoot: workspaceRoot ? path.resolve(workspaceRoot) : undefined,
+  });
+
+  if (json) {
+    console.log(JSON.stringify(handoff, null, 2));
+  }
+  if (agentHint) {
+    console.log(formatAgentHint(handoff));
+  }
+
+  if (!json && !agentHint) {
+    const summary = taskFile
+      ? `VERIFY: ${result.ok ? 'PASS' : 'BLOCKED'}${result.reason ? ` · ${result.reason}` : ''} · ${path.basename(taskFile)}`
+      : `VERIFY: ${result.ok ? 'PASS' : 'BLOCKED'}${result.reason ? ` · ${result.reason}` : ''}`;
+    console.log(summary);
+  } else if (json || agentHint) {
+    const summary = taskFile
+      ? `VERIFY: ${result.ok ? 'PASS' : 'BLOCKED'}${result.reason ? ` · ${result.reason}` : ''} · ${path.basename(taskFile)}`
+      : `VERIFY: ${result.ok ? 'PASS' : 'BLOCKED'}${result.reason ? ` · ${result.reason}` : ''}`;
+    console.error(summary);
+  }
 
   if (!result.ok) {
     process.exitCode = result.exitCode ?? 2;

package/lib/task-meta.js

@@ -0,0 +1,223 @@
+import fs from 'node:fs';
+import path from 'node:path';
+
+const META_FIELD_RE = /\|\s*\*\*([^*]+)\*\*\s*\|\s*`([^`]+)`/;
+const GATE_ROW_RE = /^\|\s*(?:\*\*)?([^*|]+?)(?:\*\*)?\s*\|\s*([^|]+)\|\s*([^|]+)\|\s*([^|]*)\|/;
+
+/**
+ * 从 task Markdown 解析 Harness 元信息表（反引号包裹的值）。
+ */
+export function parseHarnessMeta(content) {
+  const meta = {};
+  const section = extractSection(content, '## Harness 元信息', '###');
+  if (!section) return meta;
+
+  for (const line of section.split('\n')) {
+    const match = line.match(META_FIELD_RE);
+    if (!match) continue;
+    const key = match[1].trim();
+    meta[key] = match[2].trim();
+  }
+  return meta;
+}
+
+/**
+ * 解析 ### 人工闸 表。
+ */
+export function parseHumanGates(content) {
+  const section = extractSection(content, '### 人工闸', '##');
+  if (!section) return [];
+
+  const gates = [];
+  for (const line of section.split('\n')) {
+    const match = line.match(GATE_ROW_RE);
+    if (!match) continue;
+    const id = match[1].trim();
+    if (!id.startsWith('HG-') || id.includes('human_gate')) continue;
+    gates.push({
+      id,
+      status: normalizeCell(match[2]),
+      blocks_hats: normalizeCell(match[3]),
+      note: normalizeCell(match[4]),
+    });
+  }
+  return gates;
+}
+
+/**
+ * 机械判定 may_start_30（与 gate-check.sh 一致）。
+ */
+export function evaluateMayStart30(gates) {
+  const byId = Object.fromEntries(gates.map((g) => [g.id, g]));
+  const draft = byId['HG-TASK-DRAFT'];
+  const audit = byId['HG-AUDIT-R1'];
+  const graph = byId['HG-GRAPH-MODULES'];
+
+  if (audit?.status !== 'approved') {
+    return {
+      may_start_30: false,
+      blocked_reason: 'HG-AUDIT-R1 非 approved（须维护者签 task 表）',
+    };
+  }
+
+  if (
+    draft?.status !== 'approved' &&
+    draft?.blocks_hats?.includes('30')
+  ) {
+    return {
+      may_start_30: false,
+      blocked_reason: 'HG-TASK-DRAFT pending 且 blocks 30',
+    };
+  }
+
+  if (graph?.status === 'pending') {
+    return {
+      may_start_30: false,
+      blocked_reason: 'HG-GRAPH-MODULES pending',
+    };
+  }
+
+  return { may_start_30: true, blocked_reason: null };
+}
+
+/**
+ * 解析 Projects/ 前缀路径；需 workspaceRoot 才 resolve。
+ */
+export function resolveInvokePath(rawPath, { target, workspaceRoot } = {}) {
+  if (!rawPath) {
+    return { resolved: null, warnings: [] };
+  }
+
+  const warnings = [];
+
+  if (rawPath.startsWith('Projects/')) {
+    if (!workspaceRoot) {
+      warnings.push(
+        `entry_invoke 路径以 Projects/ 开头但未提供 --workspace-root：${rawPath}`,
+      );
+      return { resolved: null, warnings };
+    }
+    const abs = path.join(workspaceRoot, rawPath.replace(/^Projects\//, ''));
+    if (!fs.existsSync(abs)) {
+      warnings.push(`entry_invoke 路径不存在：${rawPath}`);
+    }
+    return { resolved: abs, warnings };
+  }
+
+  if (path.isAbsolute(rawPath)) {
+    if (!fs.existsSync(rawPath)) {
+      warnings.push(`entry_invoke 路径不存在：${rawPath}`);
+    }
+    return { resolved: rawPath, warnings };
+  }
+
+  const abs = path.resolve(target ?? process.cwd(), rawPath);
+  if (!fs.existsSync(abs)) {
+    warnings.push(`entry_invoke 路径不存在（相对 target）：${rawPath}`);
+  }
+  return { resolved: abs, warnings };
+}
+
+/**
+ * 查找最新 R1 审查文（相对 target）。
+ */
+export function findReviewPath(target, taskFile) {
+  const reviewsDir = path.join(target, 'docs/harness/reviews');
+  if (!fs.existsSync(reviewsDir)) return null;
+
+  const taskBase = path.basename(taskFile, '.md');
+  const prefix = `${taskBase}_audit_R1_`;
+
+  let best = null;
+  let bestMtime = 0;
+
+  for (const name of fs.readdirSync(reviewsDir)) {
+    if (!name.startsWith(prefix) || !name.endsWith('.md')) continue;
+    const full = path.join(reviewsDir, name);
+    const mtime = fs.statSync(full).mtimeMs;
+    if (mtime > bestMtime) {
+      bestMtime = mtime;
+      best = path.relative(target, full).replace(/\\/g, '/');
+    }
+  }
+
+  return best;
+}
+
+/**
+ * 聚合单 task 的 Agent handoff 结果。
+ */
+export function buildTaskHandoff(target, taskFile, options = {}) {
+  const { workspaceRoot } = options;
+  const absTask = path.isAbsolute(taskFile)
+    ? taskFile
+    : path.join(target, taskFile);
+
+  const content = fs.readFileSync(absTask, 'utf8');
+  const meta = parseHarnessMeta(content);
+  const gates = parseHumanGates(content);
+  const gateEval = evaluateMayStart30(gates);
+
+  const warnings = [];
+  const entry30Raw = meta.entry_invoke_30 ?? null;
+  const entry20Raw = meta.entry_invoke_20 ?? null;
+
+  const entry30 = resolveInvokePath(entry30Raw, { target, workspaceRoot });
+  const entry20 = resolveInvokePath(entry20Raw, { target, workspaceRoot });
+  warnings.push(...entry30.warnings, ...entry20.warnings);
+
+  const reviewPath = findReviewPath(target, taskFile);
+
+  return {
+    task: path.basename(taskFile),
+    task_path: taskFile.replace(/\\/g, '/'),
+    task_slug: meta.task_slug ?? null,
+    may_start_30: gateEval.may_start_30,
+    blocked_reason: gateEval.blocked_reason,
+    review_path: reviewPath,
+    entry_invoke_20: entry20Raw,
+    entry_invoke_20_resolved: entry20.resolved,
+    entry_invoke_30: entry30Raw,
+    entry_invoke_30_resolved: entry30.resolved,
+    next_hat: gateEval.may_start_30 ? '30' : null,
+    agent_preamble: gateEval.may_start_30
+      ? '首输出 GATE_VERIFY 闸扫描表，再读 entry_invoke_30 开 30 帽。'
+      : null,
+    warnings,
+    gates: gates.map((g) => ({
+      id: g.id,
+      status: g.status,
+      blocks_hats: g.blocks_hats,
+    })),
+  };
+}
+
+/**
+ * 扫描 target 下 active task 列表。
+ */
+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();
+}
+
+function extractSection(content, startMarker, endMarker) {
+  const start = content.indexOf(startMarker);
+  if (start === -1) return null;
+
+  let end = content.length;
+  if (endMarker) {
+    const next = content.indexOf(endMarker, start + startMarker.length);
+    if (next !== -1) end = next;
+  }
+  return content.slice(start, end);
+}
+
+function normalizeCell(cell) {
+  return cell.replace(/\*/g, '').trim();
+}

package/lib/verify.js

@@ -3,6 +3,7 @@ import fs from 'node:fs';
 import path from 'node:path';
 import { resolveHarnessRootForTarget, wizardScript } from './paths.js';
 import { auditTarget } from './audit.js';
+import { buildTaskHandoff, listActiveTasks } from './task-meta.js';
 
 /**
  * 30 前聚合验证：gate-check + audit D5（仅 --task）+ S5 git-clean warn + 可选 --graph
@@ -150,3 +151,71 @@ function runGitCleanCheck(target) {
   const dirty = result.status === 0 && result.stdout.trim().length > 0;
   return { dirty };
 }
+
+/**
+ * 构建 verify --json / --agent-hint 的 Agent handoff 载荷。
+ */
+export function buildVerifyHandoff(target, options = {}) {
+  const { taskFile, workspaceRoot } = options;
+  const handoffOpts = { workspaceRoot };
+
+  if (taskFile) {
+    const handoff = buildTaskHandoff(target, taskFile, handoffOpts);
+    return {
+      schema_version: '1',
+      verify_ok: handoff.may_start_30,
+      ...handoff,
+    };
+  }
+
+  const taskFiles = listActiveTasks(target);
+  const tasks = taskFiles.map((tf) => {
+    const handoff = buildTaskHandoff(target, tf, handoffOpts);
+    return {
+      schema_version: '1',
+      verify_ok: handoff.may_start_30,
+      ...handoff,
+    };
+  });
+
+  const verifyOk = tasks.length > 0 && tasks.every((t) => t.may_start_30);
+  return {
+    schema_version: '1',
+    verify_ok: verifyOk,
+    tasks,
+  };
+}
+
+/**
+ * 人类可读的 --agent-hint（5–10 行）。
+ */
+export function formatAgentHint(payload) {
+  const lines = ['=== Harness verify · agent-hint ==='];
+
+  const items = payload.tasks ?? [payload];
+  for (const item of items) {
+    lines.push(`task: ${item.task}`);
+    lines.push(`  may_start_30: ${item.may_start_30}`);
+    if (item.blocked_reason) {
+      lines.push(`  blocked: ${item.blocked_reason}`);
+    }
+    if (item.review_path) {
+      lines.push(`  review: ${item.review_path}`);
+    }
+    if (item.entry_invoke_30) {
+      lines.push(`  entry_invoke_30: ${item.entry_invoke_30}`);
+      if (item.entry_invoke_30_resolved) {
+        lines.push(`  resolved: ${item.entry_invoke_30_resolved}`);
+      }
+    }
+    if (item.next_hat) {
+      lines.push(`  next_hat: ${item.next_hat}`);
+    }
+    for (const w of item.warnings ?? []) {
+      lines.push(`  warn: ${w}`);
+    }
+    lines.push('');
+  }
+
+  return lines.join('\n').trimEnd();
+}

package/package.json

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

package/schema/verify_result.v1.schema.json

@@ -0,0 +1,65 @@
+{
+  "$schema": "http://json-schema.org/draft-07/schema#",
+  "$id": "https://cyning.me/harness/schemas/verify_result.v1.schema.json",
+  "title": "Harness Verify Agent Handoff Result v1",
+  "description": "npx @cyning/harness verify --json 输出 · A6 v2.0.2+",
+  "oneOf": [
+    { "$ref": "#/definitions/single" },
+    { "$ref": "#/definitions/multi" }
+  ],
+  "definitions": {
+    "single": {
+      "type": "object",
+      "required": [
+        "schema_version",
+        "verify_ok",
+        "task",
+        "may_start_30"
+      ],
+      "properties": {
+        "schema_version": { "type": "string", "const": "1" },
+        "verify_ok": { "type": "boolean" },
+        "task": { "type": "string" },
+        "task_path": { "type": "string" },
+        "task_slug": { "type": ["string", "null"] },
+        "may_start_30": { "type": "boolean" },
+        "blocked_reason": { "type": ["string", "null"] },
+        "review_path": { "type": ["string", "null"] },
+        "entry_invoke_20": { "type": ["string", "null"] },
+        "entry_invoke_20_resolved": { "type": ["string", "null"] },
+        "entry_invoke_30": { "type": ["string", "null"] },
+        "entry_invoke_30_resolved": { "type": ["string", "null"] },
+        "next_hat": { "type": ["string", "null"], "enum": ["30", null] },
+        "agent_preamble": { "type": ["string", "null"] },
+        "warnings": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "gates": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "required": ["id", "status"],
+            "properties": {
+              "id": { "type": "string" },
+              "status": { "type": "string" },
+              "blocks_hats": { "type": "string" }
+            }
+          }
+        }
+      }
+    },
+    "multi": {
+      "type": "object",
+      "required": ["schema_version", "verify_ok", "tasks"],
+      "properties": {
+        "schema_version": { "type": "string", "const": "1" },
+        "verify_ok": { "type": "boolean" },
+        "tasks": {
+          "type": "array",
+          "items": { "$ref": "#/definitions/single" }
+        }
+      }
+    }
+  }
+}

package/wizard/compliance-bench.sh

@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
-# SDD-Compliance micro-bench · v1 · S1–S5
+# SDD-Compliance micro-bench · v1 · S1–S6
 # 输出合规率 %；不测 LLM 解题，只测 Orchestrate/Verify 可机械部分。
 set -euo pipefail
 
@@ -12,14 +12,14 @@ QUIET=0
 
 usage() {
   cat <<'EOF'
-用法：compliance-bench.sh [--all | S1 S2 S3 S4 S5] [--quiet]
+用法：compliance-bench.sh [--all | S1 S2 S3 S4 S5 S6] [--quiet]
 
-  --all     运行 S1–S5（默认输出含公理解释与摘要表）
+  --all     运行 S1–S6（默认输出含公理解释与摘要表）
   --quiet   CI/脚本模式：stdout 仅打印合规率数字；摘要说明走 stderr
 
 说明：
   合规率 = PASS 场景数 ÷ 总场景数 × 100。
-  100 表示 S1–S5 全部通过，即 gate-check / sync 行为符合 SDD 公理；
+  100 表示 S1–S6 全部通过，即 gate-check / sync / verify handoff 行为符合 SDD 公理；
   不是 LLM 解题正确率，也不是业务项目胜率。
 
 示例：
@@ -30,9 +30,9 @@ EOF
 
 while [[ $# -gt 0 ]]; do
   case "$1" in
-    --all) SCENARIOS=(S1 S2 S3 S4 S5); shift ;;
+    --all) SCENARIOS=(S1 S2 S3 S4 S5 S6); shift ;;
     --quiet) QUIET=1; shift ;;
-    S1|S2|S3|S4|S5) SCENARIOS+=("$1"); shift ;;
+    S1|S2|S3|S4|S5|S6) SCENARIOS+=("$1"); shift ;;
     -h|--help) usage; exit 0 ;;
     *) echo "未知参数: $1" >&2; usage; exit 1 ;;
   esac
@@ -68,7 +68,7 @@ gate_status() {
 print_banner() {
   [[ "$QUIET" == "1" ]] && return 0
   log_scenario "╔══════════════════════════════════════════════════════════════╗"
-  log_scenario "║  SDD-Compliance micro-bench · v1 · S1–S5                    ║"
+  log_scenario "║  SDD-Compliance micro-bench · v1 · S1–S6                    ║"
   log_scenario "╚══════════════════════════════════════════════════════════════╝"
   log_scenario ""
   log_scenario "性质  机械合规测试 · 合成夹具 · 不调用 LLM"
@@ -241,6 +241,32 @@ scenario_S5() {
   fi
 }
 
+scenario_S6() {
+  local dir="$BENCH_DIR/S6_agent_handoff"
+  local tf="task_s6_agent_handoff.md"
+  scenario_header "S6" "Agent handoff · verify --json" \
+    "A6 · 30 前 Agent 可发现路由" \
+    "examples/compliance_bench/S6_agent_handoff/" \
+    "HG-AUDIT-R1=approved + entry_invoke_30 → may_start_30 true"
+
+  local json may entry
+  json="$(node "$HARNESS_ROOT/bin/harness.js" verify --target "$dir" --task "$tf" --json 2>/dev/null || true)"
+  may="$(printf '%s' "$json" | node -e "let d='';process.stdin.on('data',c=>d+=c);process.stdin.on('end',()=>{try{const j=JSON.parse(d);console.log(j.may_start_30)}catch{console.log('')}})")"
+  entry="$(printf '%s' "$json" | node -e "let d='';process.stdin.on('data',c=>d+=c);process.stdin.on('end',()=>{try{const j=JSON.parse(d);console.log(j.entry_invoke_30||'')}catch{console.log('')}})")"
+
+  if [[ "$may" == "true" && -n "$entry" ]]; then
+    scenario_footer "S6" "PASS" "may_start_30=true · entry_invoke_30 非空" \
+      "verify --json 输出 Agent handoff 字段 · A6 路由可机械发现"
+    PASS=$((PASS+1))
+    RESULTS+=("S6|PASS|may_start_30=true")
+  else
+    scenario_footer "S6" "FAIL" "may=$may entry=$entry" \
+      "verify --json 缺 handoff 字段 · 须修 lib/task-meta 或夹具"
+    FAIL=$((FAIL+1))
+    RESULTS+=("S6|FAIL|may=$may")
+  fi
+}
+
 print_summary() {
   local total=$((PASS+FAIL))
   local rate=0
@@ -286,6 +312,7 @@ for s in "${SCENARIOS[@]}"; do
     S3) scenario_S3 ;;
     S4) scenario_S4 ;;
     S5) scenario_S5 ;;
+    S6) scenario_S6 ;;
   esac
 done
 

package/wizard/lib/generate-invoke-index.js

@@ -2,10 +2,13 @@
 // 生成 .cyning-harness/invoke_index.json（harness-sync --index 的 JSON 引擎）
 import fs from 'node:fs';
 import path from 'node:path';
+import { parseHarnessMeta } from '../../lib/task-meta.js';
 
 const target = process.argv[2];
+const workspaceRoot = process.argv[3] || undefined;
+
 if (!target) {
-  console.error('用法: node generate-invoke-index.js /path/to/target-repo');
+  console.error('用法: node generate-invoke-index.js /path/to/target-repo [/path/to/workspace-root]');
   process.exit(1);
 }
 
@@ -13,7 +16,6 @@ const byTaskDir = path.join(target, 'docs/harness/invokes/by-task');
 const indexFile = path.join(target, '.cyning-harness/invoke_index.json');
 
 function extractHatId(filename) {
-  // invoke_YYYYMMDD_<hat_id>_*.md 或 invoke_YYYYMMDD_<hat_id>.md
   const base = path.basename(filename, '.md');
   const parts = base.split('_');
   if (parts.length >= 3 && parts[0] === 'invoke') {
@@ -22,12 +24,47 @@ function extractHatId(filename) {
   return 'unknown';
 }
 
+function collectTaskEntryPoints() {
+  const entryBySlug = {};
+  const taskDirs = [
+    path.join(target, 'docs/tasks/active'),
+    path.join(target, 'docs/tasks/done'),
+  ];
+
+  for (const dir of taskDirs) {
+    if (!fs.existsSync(dir)) continue;
+    for (const name of fs.readdirSync(dir)) {
+      if (!name.startsWith('task_') || !name.endsWith('.md')) continue;
+      const content = fs.readFileSync(path.join(dir, name), 'utf8');
+      const meta = parseHarnessMeta(content);
+      const slug = meta.task_slug;
+      if (!slug) continue;
+
+      const points = {};
+      if (meta.entry_invoke_10_task) points['10'] = meta.entry_invoke_10_task;
+      if (meta.entry_invoke_20) points['20'] = meta.entry_invoke_20;
+      if (meta.entry_invoke_30) points['30'] = meta.entry_invoke_30;
+
+      if (Object.keys(points).length === 0) continue;
+
+      entryBySlug[slug] = {
+        task_markdown: path.relative(target, path.join(dir, name)).replace(/\\/g, '/'),
+        entry_points: points,
+      };
+    }
+  }
+
+  return entryBySlug;
+}
+
 const index = {
   schema_version: '1',
   generated_at: new Date().toISOString(),
   index: {},
 };
 
+const taskEntries = collectTaskEntryPoints();
+
 if (fs.existsSync(byTaskDir)) {
   for (const entry of fs.readdirSync(byTaskDir, { withFileTypes: true })) {
     if (!entry.isDirectory()) continue;
@@ -48,13 +85,36 @@ if (fs.existsSync(byTaskDir)) {
 
     invokes.sort((a, b) => a.path.localeCompare(b.path));
 
-    index.index[slug] = {
+    const record = {
       task_slug: slug,
       invokes,
     };
+
+    if (taskEntries[slug]) {
+      record.task_markdown = taskEntries[slug].task_markdown;
+      record.entry_points = taskEntries[slug].entry_points;
+    }
+
+    index.index[slug] = record;
   }
 }
 
+// task 有 entry_invoke 但尚无 invokes/by-task 目录时也索引
+for (const [slug, data] of Object.entries(taskEntries)) {
+  if (!index.index[slug]) {
+    index.index[slug] = {
+      task_slug: slug,
+      invokes: [],
+      task_markdown: data.task_markdown,
+      entry_points: data.entry_points,
+    };
+  }
+}
+
+if (workspaceRoot) {
+  index.workspace_root = path.resolve(workspaceRoot);
+}
+
 fs.mkdirSync(path.dirname(indexFile), { recursive: true });
 fs.writeFileSync(indexFile, JSON.stringify(index, null, 2) + '\n');
 console.log(`invoke_index: ${indexFile}`);