@cyning/harness 2.0.0 → 2.0.1

package/CHANGELOG.md

@@ -4,6 +4,25 @@
 
 ## [Unreleased]
 
+## [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 +42,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

@@ -276,12 +276,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 +327,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 +383,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/lib/cli.js

@@ -750,7 +750,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/package.json

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

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–S5
 # 输出合规率 %；不测 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] [--quiet]
 
-  --all     运行 S1–S4（默认输出含公理解释与摘要表）
+  --all     运行 S1–S5（默认输出含公理解释与摘要表）
   --quiet   CI/脚本模式：stdout 仅打印合规率数字；摘要说明走 stderr
 
 说明：
   合规率 = PASS 场景数 ÷ 总场景数 × 100。
-  100 表示 S1–S4 全部通过，即 gate-check / sync 行为符合 SDD 公理；
+  100 表示 S1–S5 全部通过，即 gate-check / sync 行为符合 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); shift ;;
     --quiet) QUIET=1; shift ;;
-    S1|S2|S3|S4) SCENARIOS+=("$1"); shift ;;
+    S1|S2|S3|S4|S5) 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–S5                    ║"
   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,36 @@ 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
+}
+
 print_summary() {
   local total=$((PASS+FAIL))
   local rate=0
@@ -243,6 +285,7 @@ for s in "${SCENARIOS[@]}"; do
     S2) scenario_S2 ;;
     S3) scenario_S3 ;;
     S4) scenario_S4 ;;
+    S5) scenario_S5 ;;
   esac
 done