@cyning/harness 2.0.0 → 2.0.3

package/CHANGELOG.md

@@ -4,6 +4,46 @@
 
 ## [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
+
+- **D4-a 公理**：`checkAxioms()` 检测 in_progress + `HG-GRAPH-MODULES` pending/rejected · MUST_READ 缺 Inform 可选 warn
+- **compliance-bench S5**：`S5_rejected_draft/` · rejected→draft 静态夹具 · `--all` 含 S5（5/5 = 100%）
+- **optional pre-commit**：`.cyning-harness/hooks/pre-commit.sample` · USER_GUIDE §13.3 · 默认 init 不安装
+
+### Changed
+
+- **rejected→draft**：事件流精确匹配 `TaskStatusChanged(draft)` · 有回退则 pass · 缺则 error
+- **版本**：`package.json` → **2.0.1**
+- **USER_GUIDE**：§13 公理集 · optional Git hooks
+
+### Notes
+
+- **HG-RELEASE**：待维护者 publish `@cyning/harness@2.0.1`
+- bench S5 语义向 HGM axioms 靠拢 · drift 时改夹具不改 axioms
+
 ## [2.0.0] - 2026-06-17
 
 ### Added
@@ -23,7 +63,7 @@
 
 ### Notes
 
-- **HG-RELEASE**（tag v2.0.0 · npm publish）仍留维护者人闸
+- **HG-RELEASE**：tag v2.0.0 · npm `@cyning/harness@2.0.0` 已发布
 - `gate-check --graph` 语义不变；HGM 独立子命令
 - HGM v2.0 默认本地 JSONL + snapshot，不含 Neo4j / SQLite / 远端同步
 

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` |
@@ -276,12 +300,12 @@ npx @cyning/harness graph yaml check --all --input docs/_tech_graph
 | 项 | 说明 |
 | --- | --- |
 | 不是胜率工具 | [`README` 试点证据 B2](../README.md) · 完整表 [`PILOT_EVIDENCE_B2_v1_zh.md`](./methodology/execution/PILOT_EVIDENCE_B2_v1_zh.md) · **小样本机制证据**，不可外推 |
-| bench `100` | [SDD-Compliance](../examples/compliance_bench/README.md) 四场景合规率 · 见上文 §6.1 |
+| bench `100` | [SDD-Compliance](../examples/compliance_bench/README.md) 五场景合规率 · 见上文 §6.1 |
 | Extended 帽 | 00/50/链式 PROMPT 不在 Starter 默认包 · 见 [`harness/prompts/README.md`](../harness/prompts/README.md) |
 | Inform-YAML | **v1.1+** · 可选编辑源 · 须 `graph yaml check` 与 `graph.json` 一致 |
 | HGM / 图数据库 | **v2.0+ 已实现** `graph ingest|snapshot|axioms` · 本地 JSONL + snapshot；Neo4j / 远端同步 **仍提案** |
 | Agent-shell | 研究轨 #9，非 npm 功能 |
-| rejected→draft | bench S5 场景 v1 未纳入；gate-check 对非 approved 拒 30 |
+| rejected→draft | **v2.0.1+** bench S5 + HGM axioms 事件流精确匹配 |
 
 ---
 
@@ -327,18 +351,31 @@ npx @cyning/harness graph ingest --target /path/to/your-repo
 # 事件重放 → .cyning-harness/graph/snapshot.json
 npx @cyning/harness graph snapshot --target /path/to/your-repo
 
-# 公理检查（D2 · D3 · S2 · rejected→draft）
+# 公理检查（D2 · D3 · D4-a · S2 · rejected→draft）
 npx @cyning/harness graph axioms check --target /path/to/your-repo
 npx @cyning/harness graph axioms check --target /path/to/your-repo --json
 ```
 
-### 13.3 与 Inform-YAML 的接口
+**公理最小集（v2.0.1）**：D2 · D3 · **D4-a**（`HG-GRAPH-MODULES` pending/rejected + in_progress）· rejected→draft（事件流精确匹配）· S2。
+
+### 13.3 可选 · Git hooks
+
+`init` **默认不安装** pre-commit。维护者可手动复制：
+
+```bash
+cp .cyning-harness/hooks/pre-commit.sample .git/hooks/pre-commit
+chmod +x .git/hooks/pre-commit
+```
+
+示例 hook 调用 `graph ingest --target`（幂等增量）· 失败默认 **warn** 不阻断 commit（可改 `exit 1`）。
+
+### 13.4 与 Inform-YAML 的接口
 
 - `InformArtifact` 节点 ID：`inform:{repo_rel_path}`
 - Task → InformArtifact 边：`MUST_READ`
 - HGM **不存储** Inform 正文，只存路径指针与 schema 版本
 
-### 13.4 局限
+### 13.5 局限
 
 - v2.0 默认本地 JSONL + snapshot；**不含** Neo4j / SQLite / 远端同步
 - 多仓聚合、时光机重建任意时点图：v2.1+ 提案
@@ -370,4 +407,5 @@ npx @cyning/harness graph axioms check --target /path/to/your-repo --json
 | 2026-06-16 | 补全相对链接 · §6.1 compliance-bench · §12 阅读索引 |
 | 2026-06-16 | v1.0.1：verify / gate-check / sync index CLI · `--with-scripts` · QUICKREF |
 | 2026-06-17 | v1.1.0：新增 §10 Inform-YAML · `graph yaml compile|check` · 三轨边界说明 |
+| 2026-06-17 | v2.0.1：D4-a axioms · rejected→draft 精确化 · S5 bench · optional pre-commit hook |
 | 2026-06-17 | v2.0.0：新增 §13 HGM 过程轨 · `graph ingest|snapshot|axioms` · InformArtifact 与 MUST_READ 边 |

package/docs/methodology/ROADMAP_v1_zh.md

@@ -58,7 +58,7 @@
 
 | 能力标签 | 代号 | 须交付（实现） | 文档 |
 | --- | --- | --- | --- |
-| **G1 · v2.0+** | HGM 起步 | `events/*.jsonl` · graph ingest · snapshot · axioms check 子集（**均未实现**） | HGM design v0.1→v0.2 |
+| **G1 · v2.0+** | HGM 起步 | `events/*.jsonl` · graph ingest · snapshot · axioms check 子集（**v2.0.0 已实现**） | HGM design v0.1→v0.2 · [`task_g1`](../../../../docs/harness/tasks/done/cyning-harness/task_cyning_harness_g1_hgm_v2_v1.md) |
 | **G2 · v2.1+** | HGM 查询 | timeline · patterns · SQLite 投影 | 可选 Neo4j 导出 |
 
 **刻意不做（至 v1.0）**：GrowingReasoningAgent · OWL 推理机 · 热插拔 Track（Q5）· Neo4j 默认后端 · **Track G ingest（v1.0 前）**。
@@ -118,8 +118,8 @@ Epic 与子 task 真值：`Projects/docs/harness/tasks/active/`
 | #7 A4 v1.0 | v1.0.0 · 引用 #8 |
 | **#8 B2 + bench** | Track B · **1+3 主证据** · P0 绿后优先 |
 | **#9 Agent-shell** | Track B · **后置** · HGM+agent 后 | deferred · 见 §8 |
-| **I-YAML** | Track A · v1.1+ Inform | [`task_y1`](../../../../docs/harness/tasks/active/task_cyning_harness_y1_yaml_inform_v19_v1.md) · YAML P0 后 |
-| **Track G G1** | HGM v2.0 | [`task_g1`](../../../../docs/harness/tasks/active/task_cyning_harness_g1_hgm_v2_v1.md) · I-YAML + G0 后 |
+| **I-YAML** | Track A · v1.1+ Inform | [`task_y1`](../../../../docs/harness/tasks/done/cyning-harness/task_cyning_harness_y1_yaml_inform_v19_v1.md) · YAML P0 后 |
+| **Track G G1** | HGM v2.0 | [`task_g1`](../../../../docs/harness/tasks/done/cyning-harness/task_cyning_harness_g1_hgm_v2_v1.md) · I-YAML + G0 后 |
 
 **证据策略（2026-06-15 锁定）**：
 

package/docs/methodology/graph/HGM_UPGRADE_OUTLINE_v1_zh.md

@@ -9,7 +9,7 @@
 | **设计真值（已有）** | [`HARNESS_GRAPH_MODEL_design_v0_zh.md`](./HARNESS_GRAPH_MODEL_design_v0_zh.md) |
 | **语义真值** | [`../product/DESIGN_ONTOLOGY_v1_zh.md`](../product/DESIGN_ONTOLOGY_v1_zh.md) v1.2 |
 | **L2 路线** | [`../ROADMAP_v1_zh.md`](../ROADMAP_v1_zh.md) §2.2 · §8 |
-| **编排 task** | 工作区 [`task_cyning_harness_g1_hgm_v2_v1.md`](../../../../docs/harness/tasks/active/task_cyning_harness_g1_hgm_v2_v1.md) |
+| **编排 task** | 工作区 [`task_cyning_harness_g1_hgm_v2_v1.md`](../../../../docs/harness/tasks/done/cyning-harness/task_cyning_harness_g1_hgm_v2_v1.md) |
 | **G1 维护者决策** | [`DECISIONS_hgm_g1_maintainer_v1_zh.md`](./DECISIONS_hgm_g1_maintainer_v1_zh.md) |
 | **Post-G1 序列表** | [`POST_G1_SEQUENCE_v1_zh.md`](../../../../docs/harness/guides/POST_G1_SEQUENCE_v1_zh.md) |
 
@@ -227,8 +227,8 @@ SEM-02 维持：**主轨 v1.x · HGM 从 v2.0 主版本起** · 不写「v0.5 =
 | --- | --- |
 | Post-v1.0 序列表 | [`POST_V1_0_SEQUENCE_v1_zh.md`](../../../../docs/harness/guides/POST_V1_0_SEQUENCE_v1_zh.md) |
 | 后端 YAML P0 | [`task_engineering_graph_yaml_p0_00_main_v1.md`](../../../../ai-ink-brain-api-python/docs/tasks/active/task_engineering_graph_yaml_p0_00_main_v1.md) |
-| 产品 I-YAML | [`task_cyning_harness_y1_yaml_inform_v19_v1.md`](../../../../docs/harness/tasks/active/task_cyning_harness_y1_yaml_inform_v19_v1.md) |
-| HGM G1 task | [`task_cyning_harness_g1_hgm_v2_v1.md`](../../../../docs/harness/tasks/active/task_cyning_harness_g1_hgm_v2_v1.md) |
+| 产品 I-YAML | [`task_cyning_harness_y1_yaml_inform_v19_v1.md`](../../../../docs/harness/tasks/done/cyning-harness/task_cyning_harness_y1_yaml_inform_v19_v1.md) |
+| HGM G1 task | [`task_cyning_harness_g1_hgm_v2_v1.md`](../../../../docs/harness/tasks/done/cyning-harness/task_cyning_harness_g1_hgm_v2_v1.md) |
 | B9（后置） | [`task_cyning_harness_b9_agent_shell_v1.md`](../../../../docs/harness/tasks/active/task_cyning_harness_b9_agent_shell_v1.md) |
 | A5 v1.0.1 | [`task_cyning_harness_a5_cli_verify_v101_v1.md`](../../../../docs/harness/tasks/active/task_cyning_harness_a5_cli_verify_v101_v1.md) |
 
@@ -239,9 +239,11 @@ SEM-02 维持：**主轨 v1.x · HGM 从 v2.0 主版本起** · 不写「v0.5 =
 | 节 | 状态 | 签收人 | 日期 |
 | --- | --- | --- | --- |
 | §0 决策摘要 | `confirmed` | （维护者 2026-06-16 口头） | |
-| §3 G1 范围 | `pending` | | |
-| §5 事件 schema | `pending` | | |
-| §6 I-YAML 接口 | `pending` | | |
+| §3 G1 范围 | `confirmed` | 维护者 | 2026-06-17 |
+| §5 事件 schema | `confirmed` | 维护者 | 2026-06-17 |
+| §6 I-YAML 接口 | `confirmed` | 维护者 | 2026-06-17 |
+| §8 agent/B9 | `confirmed` | 维护者 | 2026-06-17 |
+| **G0 整体** | `signed` | 维护者 | 2026-06-17 |
 | §8 agent/B9 | `pending` | | |
 | **G0 整体** | `pending` | 全表勾选后开 G1 30 帽 | |
 

package/examples/compliance_bench/README.md

@@ -1,8 +1,8 @@
 # SDD-Compliance micro-bench · v1
 
 > **标题**：SDD-Compliance · **非** Agent Score / pass@1 类模型 benchmark。  
-> **范围**：S1–S4 · 公理 D2/D3/S2 可机械检查部分 · 不覆盖 D4/D5 与 Terminal-Bench。  
-> **状态**：v1.0 · B8 冻结 · 4/4 期望合规率 **100%**。
+> **范围**：S1–S5 · 公理 D2/D3/S2/rejected→draft 可机械检查部分 · 不覆盖 D5 与 Terminal-Bench。  
+> **状态**：v1.1 · G1.1 · 5/5 期望合规率 **100%**。
 
 ---
 
@@ -12,7 +12,7 @@
 | --- | --- |
 | **测什么** | `gate-check.sh` 与 `harness-sync.sh` 是否符合 SDD 公理（合成夹具） |
 | **不测什么** | LLM 会不会写代码 · 业务测试绿不绿 · 真实项目胜率 |
-| **100 是什么** | 合规率 % = PASS 场景 ÷ 总场景 × 100；4/4 全过即 **100** |
+| **100 是什么** | 合规率 % = PASS 场景 ÷ 总场景 × 100；5/5 全过即 **100** |
 | **和 B2 关系** | B2 Part A 是真实试点 retro；bench 是可机械复现的 **机制回归** |
 
 ---
@@ -48,8 +48,7 @@ cd /path/to/cyning-harness
 | **S2** | R1 approved 无 review | D2/D3 | `S2_r1_no_review/` | 无 `*_audit_R1_*` 文件 | 只改 task 表不算真审核 |
 | **S3** | R1 approved + review | D2/D3 | `S3_r1_with_review/` | exit=0 且 review 存在 | 审核闭环 Happy Path |
 | **S4** | sync 域边界 | S2 | `S4_sync_domain/` + 临时仓 | plan 无 `docs/tasks/`、`reviews/` | upgrade 不覆盖用户 task |
-
-**v1 未纳入**：**S5** rejected→draft（待 gate-check 行为稳定后加夹具）。
+| **S5** | rejected→draft | rejected→draft | `S5_rejected_draft/` | gate rejected + task status=draft | 否决后须回 draft（与 HGM axioms 同语义） |
 
 ---
 
@@ -66,9 +65,9 @@ cd /path/to/cyning-harness
 场景   结果     详情
 S1     ✅ PASS  gate-check exit=1 · 30 被拒
 ...
-合规率  4/4 = 100%
+合规率  5/5 = 100%
 
-解读    100 = 全部 4 个场景行为符合 SDD 公理
+解读    100 = 全部 5 个场景行为符合 SDD 公理
         不是 LLM 解题分数 · 不可外推为「AI 胜率」
 ```
 
@@ -78,4 +77,5 @@ S1     ✅ PASS  gate-check exit=1 · 30 被拒
 
 | 日期 | 说明 |
 | --- | --- |
+| 2026-06-17 | G1.1：新增 S5 rejected→draft · 5/5 合规率 |
 | 2026-06-16 | 丰富脚本输出 · 公理/夹具/解读 · quiet 摘要走 stderr |

package/examples/compliance_bench/S5_rejected_draft/task.md

@@ -0,0 +1,33 @@
+# Task fixture · S5 · rejected→draft 合规态
+
+> 用途：SDD-Compliance micro-bench S5 夹具 · gate rejected 后 task 须回 draft（与 HGM axioms 同语义）
+
+---
+
+## Harness 元信息
+
+| 字段 | 值 |
+| --- | --- |
+| **task_slug** | `s5_rejected_draft` |
+| **test_strategy** | `not_applicable` |
+| **audit_profile** | `full` |
+
+> **状态**：`draft`
+
+### 人工闸
+
+| human_gate_id | status | blocks_hats | 说明 |
+| --- | --- | --- | --- |
+| HG-TASK-DRAFT | approved | 22, 30 | 10 完成 |
+| HG-AUDIT-R1 | rejected | 30 | 22 R1 否决 · 已回 draft |
+
+---
+
+## 背景与目标
+
+验证 **rejected→draft** 公理：维护者否决 R1 后，task 须回到 **draft** 状态（非 in_progress）。
+
+## 验收标准
+
+- task 表 **status = draft** · **HG-AUDIT-R1 = rejected**
+- bench 判 **合规**（与 `graph axioms check` rejected→draft 语义一致）

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;
@@ -750,7 +779,7 @@ async function cmdGraphAxioms(args) {
   const target = resolveTarget(process.cwd(), targetArg);
   const events = loadEvents(target);
   const snapshot = buildSnapshot(events);
-  const result = checkAxioms(snapshot);
+  const result = checkAxioms(snapshot, events);
 
   if (json) {
     console.log(JSON.stringify(result, null, 2));

package/lib/graph-hgm.js

@@ -226,6 +226,19 @@ export function ingestRepo(target, options = {}) {
       }
     }
 
+    const hasRejectedGate = parsed.gates.some((g) => g.status === 'rejected');
+    if (hasRejectedGate && parsed.status === 'draft') {
+      events.push({
+        event_id: eventId(new Date(occurredAt), seq++),
+        type: 'TaskStatusChanged',
+        occurred_at: occurredAt,
+        actor,
+        subject: taskSubject,
+        data: { task_slug: parsed.task_slug, new_status: 'draft', reason: 'rejected→draft from task table' },
+        source,
+      });
+    }
+
     for (const mr of parsed.must_read) {
       events.push({
         event_id: eventId(new Date(occurredAt), seq++),
@@ -454,9 +467,63 @@ export function buildSnapshot(events) {
 }
 
 /**
- * 公理检查：D2 · D3 · rejected→draft · S2 事件审计。
+ * 从事件流提取 rejected 事件（GateStatusChanged rejected 或 HumanGateRejected）。
+ */
+function collectRejectedEvents(events) {
+  if (!events || events.length === 0) return [];
+  return events.filter(
+    (e) =>
+      e.type === 'HumanGateRejected' ||
+      (e.type === 'GateStatusChanged' && e.data?.new_status === 'rejected'),
+  );
+}
+
+/**
+ * rejected→draft：重放事件流，rejected 后须同 task 的 TaskStatusChanged(draft)。
+ */
+function checkRejectedToDraft(events) {
+  const violations = [];
+  if (!events || events.length === 0) return violations;
+
+  const sorted = [...events].sort(
+    (a, b) => a.occurred_at.localeCompare(b.occurred_at) || a.event_id.localeCompare(b.event_id),
+  );
+
+  for (let i = 0; i < sorted.length; i += 1) {
+    const rej = sorted[i];
+    if (
+      rej.type !== 'HumanGateRejected' &&
+      !(rej.type === 'GateStatusChanged' && rej.data?.new_status === 'rejected')
+    ) {
+      continue;
+    }
+    const taskSlug = rej.data?.task_slug;
+    if (!taskSlug) continue;
+    const taskSubject = `task:${taskSlug}`;
+    const hasDraftFollowUp = sorted.slice(i + 1).some(
+      (e) =>
+        e.type === 'TaskStatusChanged' &&
+        e.subject === taskSubject &&
+        e.data?.new_status === 'draft',
+    );
+    if (!hasDraftFollowUp) {
+      violations.push({
+        axiom: 'rejected→draft',
+        severity: 'error',
+        message: `gate rejected（${rej.event_id}）后缺少 TaskStatusChanged(draft) 回退`,
+        node: rej.subject,
+      });
+    }
+  }
+  return violations;
+}
+
+/**
+ * 公理检查：D2 · D3 · D4-a · rejected→draft · S2 事件审计。
+ * @param {object} snapshot - buildSnapshot 产物
+ * @param {object[]|null} events - 原始事件流（rejected→draft 精确匹配须传入）
  */
-export function checkAxioms(snapshot) {
+export function checkAxioms(snapshot, events = null) {
   const violations = [];
   const { nodes, edges, projections } = snapshot;
   const nodeMap = new Map(Object.entries(nodes));
@@ -465,10 +532,6 @@ export function checkAxioms(snapshot) {
     return edges.filter((e) => e.from === id && e.type === type);
   }
 
-  function hasEdge(from, to, type) {
-    return edges.some((e) => e.from === from && e.to === to && e.type === type);
-  }
-
   // D2: pending 的 HG-AUDIT-R1 BLOCKS 30 帽
   for (const [id, node] of nodeMap) {
     if (node.kind === 'HumanGate' && node.status === 'pending') {
@@ -501,17 +564,39 @@ export function checkAxioms(snapshot) {
     }
   }
 
-  // rejected→draft: rejected 后必须有 TaskStatusChanged(draft)
-  for (const eventId of projections.rejected_events || []) {
-    // snapshot 保留 event_id，但需事件流重放才能精确检查；这里只标记缺失 draft 回退
-    violations.push({
-      axiom: 'rejected→draft',
-      severity: 'warn',
-      message: `gate rejected 事件 ${eventId} 须后续 TaskStatusChanged(draft)`,
-      node: eventId,
-    });
+  // D4-a: in_progress 改码 task 须 HG-GRAPH-MODULES approved
+  for (const [taskId, status] of Object.entries(projections.task_status || {})) {
+    if (status !== 'in_progress') continue;
+    const taskSlug = taskId.replace(/^task:/, '');
+    const graphGateId = `gate:${taskSlug}:HG-GRAPH-MODULES`;
+    const graphGate = nodeMap.get(graphGateId);
+    if (graphGate && (graphGate.status === 'pending' || graphGate.status === 'rejected')) {
+      violations.push({
+        axiom: 'D4-a',
+        severity: 'error',
+        message: `task ${taskId} in_progress 但 HG-GRAPH-MODULES=${graphGate.status}`,
+        node: graphGateId,
+      });
+    }
+    const mustReadTargets = edges
+      .filter((e) => e.from === taskId && e.type === 'MUST_READ')
+      .map((e) => e.to.replace(/^inform:/, ''));
+    const hasInformGraph = mustReadTargets.some(
+      (p) => p.includes('01_struct') || p.includes('_tech_graph'),
+    );
+    if (mustReadTargets.length > 0 && !hasInformGraph) {
+      violations.push({
+        axiom: 'D4-a',
+        severity: 'warn',
+        message: `task ${taskId} MUST_READ 缺 01_struct / _tech_graph InformArtifact`,
+        node: taskId,
+      });
+    }
   }
 
+  // rejected→draft: 事件流精确匹配
+  violations.push(...checkRejectedToDraft(events));
+
   // S2: SyncOperation 不得 touch S2 路径
   const s2Prefixes = ['docs/tasks/', 'docs/harness/reviews/', 'docs/harness/invokes/by-task/'];
   for (const edge of edges) {

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.0",
+  "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–S4
+# 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] [--quiet]
+用法：compliance-bench.sh [--all | S1 S2 S3 S4 S5 S6] [--quiet]
 
-  --all     运行 S1–S4（默认输出含公理解释与摘要表）
+  --all     运行 S1–S6（默认输出含公理解释与摘要表）
   --quiet   CI/脚本模式：stdout 仅打印合规率数字；摘要说明走 stderr
 
 说明：
   合规率 = PASS 场景数 ÷ 总场景数 × 100。
-  100 表示 S1–S4 全部通过，即 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); shift ;;
+    --all) SCENARIOS=(S1 S2 S3 S4 S5 S6); shift ;;
     --quiet) QUIET=1; shift ;;
-    S1|S2|S3|S4) SCENARIOS+=("$1"); shift ;;
+    S1|S2|S3|S4|S5|S6) SCENARIOS+=("$1"); shift ;;
     -h|--help) usage; exit 0 ;;
     *) echo "未知参数: $1" >&2; usage; exit 1 ;;
   esac
@@ -53,14 +53,26 @@ log_scenario() {
   [[ "$QUIET" == "1" ]] || echo "$@"
 }
 
+gate_status() {
+  local file="$1" gate="$2"
+  awk -F'|' -v g="$gate" '
+    $0 ~ /^[[:space:]]*\|/ && index($0, g) > 0 {
+      gsub(/^[[:space:]]+|[[:space:]]+$/, "", $3)
+      gsub(/\*/, "", $3)
+      print $3
+      exit
+    }
+  ' "$file"
+}
+
 print_banner() {
   [[ "$QUIET" == "1" ]] && return 0
   log_scenario "╔══════════════════════════════════════════════════════════════╗"
-  log_scenario "║  SDD-Compliance micro-bench · v1 · S1–S4                    ║"
+  log_scenario "║  SDD-Compliance micro-bench · v1 · S1–S6                    ║"
   log_scenario "╚══════════════════════════════════════════════════════════════╝"
   log_scenario ""
   log_scenario "性质  机械合规测试 · 合成夹具 · 不调用 LLM"
-  log_scenario "公理  D2 HumanGate · D3 30 前置闸 · S2 sync 域边界"
+  log_scenario "公理  D2 HumanGate · D3 30 前置闸 · S2 sync 域 · rejected→draft"
   log_scenario "夹具  $BENCH_DIR/"
   log_scenario "场景  ${SCENARIOS[*]}"
   log_scenario ""
@@ -199,6 +211,62 @@ scenario_S4() {
   fi
 }
 
+task_status() {
+  local file="$1"
+  sed -n 's/.*\*\*状态\*\*[^`]*`\([^`]*\)`.*/\1/p' "$file" | head -1
+}
+
+scenario_S5() {
+  local dir="$BENCH_DIR/S5_rejected_draft"
+  local tf="$dir/task.md"
+  scenario_header "S5" "rejected→draft · task 须回 draft" \
+    "rejected→draft（与 HGM axioms 同语义）" \
+    "examples/compliance_bench/S5_rejected_draft/" \
+    "HG-AUDIT-R1=rejected 且 task status=draft → 合规"
+
+  local audit status
+  audit="$(gate_status "$tf" HG-AUDIT-R1)"
+  status="$(task_status "$tf")"
+
+  if [[ "$audit" == "rejected" && "$status" == "draft" ]]; then
+    scenario_footer "S5" "PASS" "gate rejected · task draft" \
+      "否决后 task 已回 draft · 符合 rejected→draft 公理（bench 静态态 · axioms 为事件流真值）"
+    PASS=$((PASS+1))
+    RESULTS+=("S5|PASS|rejected gate + draft status")
+  else
+    scenario_footer "S5" "FAIL" "audit=$audit status=$status" \
+      "rejected 后 task 须 draft · 检查夹具或 gate-check 行为"
+    FAIL=$((FAIL+1))
+    RESULTS+=("S5|FAIL|audit=$audit status=$status")
+  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
@@ -243,6 +311,8 @@ for s in "${SCENARIOS[@]}"; do
     S2) scenario_S2 ;;
     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}`);