@cyning/harness 0.4.0 → 1.0.0

package/docs/methodology/ROADMAP_v1_zh.md

@@ -3,12 +3,13 @@
 | 项 | 内容 |
 | --- | --- |
 | **状态** | `active` |
-| **版本** | v1.3 |
+| **版本** | v1.4 |
 | **日期** | 2026-06-15 |
 | **性质** | **L2 产品路线真值** · 吸收本体 v1.2 + HGM + P0 后修订 |
 | **L1 对齐** | 工作区 [`STRATEGY_MASTER`](./pointers/STRATEGY_MASTER_v1_zh.md) Track A/B/C/D · **冲突时本文件管产品 semver 与能力边界** |
 
-> **2026-06-15 结论**：OOP / 本体 / 图论 / History 融合 **不推翻** v0.2→v1.0 主轨；新增 **Track G（HGM）** 为 v0.5+ 可选增强 · **不阻塞** A1 npx 与 Q3 push。
+> **2026-06-15 结论**：OOP / 本体 / 图论 / History 融合 **不推翻** v0.2→v1.0 主轨；**Track G（HGM）** 在 **v1.0 关账后** 以 **v2.x** semver 推进（G1→v2.0+ · G2→v2.1+）· **不阻塞** A1 npx 与 Q3 push。  
+> **SEM-02**：废止用 **v0.5/v0.6** 标注 HGM（易误读为 v0.4 与 v1.0 之间的主轨版本）。
 
 ---
 
@@ -18,8 +19,8 @@
 | --- | --- | --- |
 | **OOP** | wizard 脚本 · bash/TS 实现 · Task/Hat 作「类」的 runtime 投影 | 现在 |
 | **本体** | `product/DESIGN_ONTOLOGY` · P/S/D 公理 · ICVO 四支柱 | v1.2 已文档化 |
-| **图论（过程）** | HGM：显式边 · 遍历 · 模式查询 | **v0.5+** |
-| **History** | append-only 事件 · gate/task 状态变迁 | **v0.5+** |
+| **图论（过程）** | HGM：显式边 · 遍历 · 模式查询 | **v2.0+**（Track G · v1.0 后） |
+| **History** | append-only 事件 · gate/task 状态变迁 | **v2.0+**（Track G · v1.0 后） |
 | **图论（Inform）** | `docs/_tech_graph/` · `gate-check --graph` | v1.0 |
 
 ```text
@@ -31,7 +32,17 @@
 
 ## 2. 版本里程碑（产品 semver）
 
-> **对外表述（semver 纪律）**：主产品版本按 **v0.2 → v0.3 → v0.4 → v1.0** 推进。**Track G** 能力标签为 **G1 / v0.5+**（见下表），**启动闸门在 v1.0 之后**（§5）；**不是** semver 时间序上早于 v1.0 的产品版，也 **不阻塞** Q3 public push。对外请写 **「Track G 提案」**，避免单独宣传「即将发布产品 v0.5」。
+### 2.0 Semver 命名纪律（SEM-02 · 2026-06-15）
+
+| 轨道 | 版本序列 | 说明 |
+| --- | --- | --- |
+| **Track A · 主轨** | **v0.2 → v0.3 → v0.4 → v1.0** | `@cyning/harness` npm · A1–A4 · **当前已到 v0.4** |
+| **Track G · HGM** | **v2.0+（G1）→ v2.1+（G2）→ …** | **仅 v1.0 关账后** 启动 · 主版本 **2** 表示「公理稳定后的增强线」 |
+| **废止** | ~~v0.5 / v0.6~~ 作 HGM 号 | 数字像插在 v0.4 与 v1.0 之间 · 已全部改 **v2.x** |
+
+对外一句：**主轨到 v1.0 · HGM 从 v2.0 起 · 不写「产品 v0.5」指 HGM。**
+
+> **对外表述（semver 纪律）**：主产品按 **§2.0 主轨** 推进。**Track G** 能力标签 **G1 / v2.0+**（见 §2.2），**启动闸门在 v1.0 之后**（§5）；**不是**主轨下一档 semver，也 **不阻塞** public push。对外请写 **「Track G 提案 · v2.x」**，避免 **「即将发布 v0.5」** 或 **「v0.5 在 v1.0 前」**。
 
 ### 2.1 主轨（A · 产品包）
 
@@ -41,14 +52,14 @@
 | **v0.3.0** | **A1 分发** | manifest · npx init/upgrade/check · S5 git-clean · **✅ 2026-06-15**（Release/npm 留维护者） | FailureReport 模板 · rejected→draft gate-check |
 | **v0.3.x** | **A2 Starter** | 40-self-check 帽 · `task.harness.v1.json` · depends_on 禁环 CLI · **✅ 2026-06-15** | ONBOARDING npx 优先 |
 | **v0.4.0** | **A3 + push** | ontology.yaml · D7 HG-RELEASE · demo_checkout 脱敏 · MIT public | ETCLOVG 映射页 · README 叙事 |
-| **v1.0.0** | **A4 stable** | ICVO audit CLI · invoke_index · gate-check --graph（Inform） | CHANGELOG 冻结 · B2 量化进 README |
+| **v1.0.0** | **A4 stable** | ICVO audit CLI · invoke_index · gate-check --graph（Inform） | CHANGELOG 冻结 · B2 量化进 README · **✅ 2026-06-16**（HG-RELEASE 留维护者） |
 
 ### 2.2 Track G（HGM · v1.0 后 · proposal）
 
 | 能力标签 | 代号 | 须交付（实现） | 文档 |
 | --- | --- | --- | --- |
-| **G1 · v0.5+** | HGM 起步 | `events/*.jsonl` · graph ingest · snapshot · axioms check 子集（**均未实现**） | HGM design v0.1→v0.2 |
-| **G2 · v0.6+** | HGM 查询 | timeline · patterns · SQLite 投影 | 可选 Neo4j 导出 |
+| **G1 · v2.0+** | HGM 起步 | `events/*.jsonl` · graph ingest · snapshot · axioms check 子集（**均未实现**） | HGM design v0.1→v0.2 |
+| **G2 · v2.1+** | HGM 查询 | timeline · patterns · SQLite 投影 | 可选 Neo4j 导出 |
 
 **刻意不做（至 v1.0）**：GrowingReasoningAgent · OWL 推理机 · 热插拔 Track（Q5）· Neo4j 默认后端 · **Track G ingest（v1.0 前）**。
 
@@ -62,7 +73,7 @@
 | **B** | kimi-code-meta 试点 | oss-fork-meta / kimi-code-meta preset · 上游 PR 证据 · **#8 B2+micro-bench（1+3 主链）** · **#9 Agent-shell（2 并行）** | B0 · 证据方案待审 |
 | **C** | Runtime | harness ctx · Worker · **HGM 不替代 C** | 后置 |
 | **D** | 对外叙事 | ICVO · §7.5 对比 · 理论文章（见 prompts/） | 待 P0 绿 |
-| **G** | **（新增）HGM** | §2 v0.5+ · 依赖 v1.0 公理稳定 | proposal |
+| **G** | **（新增）HGM** | §2 **v2.x** · 依赖 v1.0 公理稳定 | proposal |
 
 ---
 
@@ -72,7 +83,7 @@
 | --- | --- |
 | **A3 与 P0 关系** | P0 金样已建 `examples/demo_checkout/` · A3 = 脱敏 + 补 40 帽完整链 |
 | **methodology/** | L2 文档真值集中 · 不改变 A1–A4 日期 |
-| **Track G** | 新增 · 不插入 A1/A2 人力 · v0.5 启动条件：v0.4 push 完成 + P0/A2 绿 |
+| **Track G** | 新增 · 不插入 A1/A2 人力 · **v2.0 启动条件**：v1.0 关账 + 事件 schema 冻结 |
 | **ICVO 叙事** | 纳入 D 轨与 v1.0 验收 · 非新 semver |
 | **三路合并 / rollback** | 仍 v0.3 设计 · v0.4 实现（本体 §4.3） |
 
@@ -87,7 +98,7 @@
 | v0.2 → v0.3 | P0 金样 ACCEPTANCE ✅ · A1 实现 ✅（Release/npm 可后补） |
 | v0.3 → v0.4 | npx upgrade dogfood（kimi-code-meta）· ontology.yaml 草案 |
 | v0.4 → v1.0 | public push 审计 · **#8 B2 + SDD-Compliance micro-bench** · ICVO audit 子集绿 |
-| v1.0 → v0.5 HGM | 维护者确认事件 schema 冻结 · ingest 不破坏 S2 |
+| v1.0 → v2.0 HGM | 维护者确认事件 schema 冻结 · ingest 不破坏 S2 · G1 立项 |
 
 ---
 
@@ -134,3 +145,4 @@ Epic 与子 task 真值：`Projects/docs/harness/tasks/active/`
 | v1.3.1 | 2026-06-15 | B8/B9 审核结论回写 · S1–S4 · 3×2 · D6 字段 |
 | v1.3.2 | 2026-06-15 | P0 金样关账 · v0.2→v0.3 首闸满足 · A1 next |
 | v1.3.3 | 2026-06-15 | A1 实现关账 · A2 next · v0.3.0 表标注 |
+| v1.4 | 2026-06-15 | **SEM-02**：HGM Track G **v0.5/v0.6 → v2.x** · 增 §2.0 命名纪律 |

package/docs/methodology/execution/PILOT_EVIDENCE_B2_v1_zh.md

@@ -2,14 +2,13 @@
 
 | 项 | 内容 |
 | --- | --- |
-| **状态** | `draft` · **数字未冻结** |
+| **状态** | `frozen` · **数字已冻结** · 2026-06-16 |
 | **版本** | v1.0 |
 | **日期** | 2026-06-15 |
 | **task** | 工作区 [`task_cyning_harness_b8_b2_compliance_bench_v1.md`](../../../../docs/harness/tasks/active/task_cyning_harness_b8_b2_compliance_bench_v1.md) |
 | **审核** | [`REVIEW_B3` §10](../reviews/REVIEW_B3_pilot_evidence_and_sdd_compliance_bench_v1_zh.md#10-审核记录2026-06-15) · APPROVE_WITH_CHANGES |
 | **ROADMAP** | v0.4→v1.0 闸门 · [`ROADMAP_v1_zh.md`](../ROADMAP_v1_zh.md) §5 |
 
-> **读者说明**：本文档为 **双证据** 同页真值。**Part A** = 真实试点 retro（小样本 · 机制叙事）；**Part B** = 可复现 SDD-Compliance bench（不测 LLM 解题）。  
 > **读者说明**：本文档为 **双证据** 同页真值。**Part A** = 真实试点 retro（小样本 · 机制叙事）；**Part B** = 可复现 SDD-Compliance bench（不测 LLM 解题）。  
 > **禁止**在未冻结前将下表数字复制进 README / 公众稿（续篇篇 1 §8）。  
 > **执行委派**：工作区 Epic §00 · 下一档 A1 — [`PROMPT_START_a1_npx_v1.md`](../../../../docs/harness/invokes/by-task/cyning-harness-a1-npx/PROMPT_START_a1_npx_v1.md)
@@ -29,45 +28,49 @@
 | 字段 | 值 |
 | --- | --- |
 | **preset** | `kimi-code-meta`（repo 嵌入 · 主路径） |
-| **样本窗口** | _TBD_（如 2026-Q2） |
-| **`sample_n`** | _TBD_ |
-| **task 类型** | _TBD_（如 harness-only / 跨仓 Epic / dogfood） |
-| **是否与 #4 共用** | 是 · 与 [`task_cyning_harness_b_kimi_dogfood_v1.md`](../../../../docs/harness/tasks/active/task_cyning_harness_b_kimi_dogfood_v1.md) 对齐 task 列表 |
-| **retro 方法** | 22 轮次日志 · gate-check 拦截记录 · CI 首次绿 · D6 PR 链人工核对 |
+| **样本窗口** | 2026-06-10 → 2026-06-15 |
+| **`sample_n`** | **6**（见 A.3 列表） |
+| **task 类型** | harness-only dogfood ×1 · 文档修复 ×1 · agent-core 改码 ×3 · 起草/进行中 ×1 |
+| **是否与 #4 共用** | 是 · 与 [`task_cyning_harness_b_kimi_dogfood_v1.md`](../../../../docs/harness/tasks/done/cyning-harness/task_cyning_harness_b_kimi_dogfood_close_v1.md) 对齐 dogfood 样本 |
+| **retro 方法** | invoke 日志 · gate-check 拦截记录 · CI 首次绿 · D6 PR diff 人工核对 |
 
 ### A.2 指标表（PilotEvidence）
 
+> **数字状态**：frozen · 2026-06-16 冻结 · §1 策略 A（待采集字段标 N/A）· 可引用进 README/ASSESSMENT。
+
 | 字段 | 定义 | 值 | 备注 |
 | --- | --- | --- | --- |
-| `audit_reject_rate` | 22 轮次中「内容阻塞 / 打回」比例 | _TBD_ | Orchestrate 有效性 |
-| `audit_rounds_mean` | R1→R2… 平均轮次 | _TBD_ | 协作成本 |
-| `ci_first_green_rate` | 含改码 task 的 **首次** CI 绿比例 | _TBD_ | Verify |
-| `gate_block_count` | 30 前 gate-check **拦截**次数（累计或均值/task） | _TBD_ | 公理 D3 辅助 |
-| `wizard_adoption_days` | install/adopt → 首个 task CLOSE 人天 | _TBD_ | 产品 UX |
-| **`upstream_pr_d6_clean`** | D6 双分支 **零过程轨泄漏** PR 数 / 率 | _TBD_ | **机制证据** · 审核必增 |
-| `failure_report_count` | 30 失败路径 / FailureReport 次数 | _TBD_ | 可选 |
-| `sample_n` | 纳入统计的 task 数 | _TBD_ | **诚实边界** · 禁止外推胜率 |
+| `audit_reject_rate` | 22 轮次中「内容阻塞 / 打回」比例 | **N/A** | §1 策略 A：样本期未系统采集 22 R1 内容阻塞；不编造 |
+| `audit_rounds_mean` | R1→R2… 平均轮次 | **N/A** | §1 策略 A：同 audit_reject_rate · 未系统采集 |
+| `ci_first_green_rate` | 含改码 task 的 **首次** CI 绿比例 | **3/3 = 100%** | 改码 task：#565 docs · #583 agent-core · #94 agent-core · invoke 30 验证命令均通过；样本极小 |
+| `gate_block_count` | 30 前 gate-check **拦截**次数（累计） | **3+** | P0 金样签前 exit 2 · #94 签前验证 exit 2 · dogfood gate-check exit 2（#705 pending）；不含日常开发中可能的未记录拦截 |
+| `wizard_adoption_days` | install/adopt → 首个 task CLOSE 人天 | **N/A** | §1 策略 A：install 日期未落盘；无法准确计算 |
+| **`upstream_pr_d6_clean`** | D6 双分支 **零过程轨泄漏** PR 数 / 率 | **3/3 = 100%** | #622 · #630 · #708 的 upstream diff 均 **未含** `docs/harness/` / `docs/tasks/` / harness meta 文件；#580 PR 未开 |
+| `failure_report_count` | 30 失败路径 / FailureReport 次数 | **1** | #94 30 越闸事件（HG-AUDIT-R1 pending 改码）· 已记录 SOLUTION 并修复 GATE_VERIFY 协议 |
+| `sample_n` | 纳入统计的 task 数 | **6** | 见 A.3 · 禁止外推胜率 |
 
 ### A.3 机制证据（叙事用 · 非胜率）
 
 | 项 | 说明 | 状态 |
 | --- | --- | --- |
-| 上游 PR 链 | Kimi fork → Moonshot upstream · 过程轨隔离 | _TBD_ |
-| gate 拦截样例 | 1–2 个 **匿名化** 拦截场景（pending R1 拒 30 等） | _TBD_ |
+| 纳入 `sample_n` 的 task slug | `cyning-harness-b-kimi-dogfood` · `fix-docs-node-565` · `fix-telemetry-bash-cancel-583` · `fix-skill-frontmatter-580` · `fix-read-dual-limit-94` · `fix-open-tool-calls-705`（进行中） | ✅ 已列出 |
+| 上游 PR 链 | Kimi fork → Moonshot upstream · 过程轨隔离 | ✅ #622/#630/#708 零泄漏 |
+| gate 拦截样例 | P0 金样 pending R1 拒 30 · #94 签前验证拒 30 · dogfood pending #705 拒 30 | ✅ 3 个场景已记录 |
 | 与 bench 关系 | Part B 覆盖 **可机械复现** 子集；Part A 覆盖 **真实绑定深度** | 见 Part B |
 
 ### A.4 Part A 采集清单（维护者）
 
-- [ ] 列出纳入 `sample_n` 的 task slug + 类型
-- [ ] 从 #4 dogfood 增量填入 fork 数据
-- [ ] 核对 D6 PR：过程轨文件未进入 upstream diff
-- [ ] **冻结前**勿写入 README / 续篇 vol3
+- [x] 列出纳入 `sample_n` 的 task slug + 类型
+- [x] 从 #4 dogfood 增量填入 fork 数据
+- [x] 核对 D6 PR：过程轨文件未进入 upstream diff（#622/#630/#708）
+- [x] **冻结**：按 §1 策略 A 将未采集字段标 N/A · 可写入 README/ASSESSMENT
+- [ ] 后续维护周期可补采 22 R1 内容阻塞 / 轮次（不影响冻结值）
 
 ---
 
 ## Part B · SDD-Compliance micro-bench
 
-> **依赖**：P0 金样 ACCEPTANCE 全绿 · gate-check 行为与 P0 金样 D2/D3 一致。  
+> **依赖**：P0 金样 ACCEPTANCE 全绿 · gate-check 行为与 P0 金样 D2/D3 一致 · **已冻结**。  
 > **初版范围**：**S1–S4** · S5（rejected→draft）待 **v0.3** gate 落地后再纳入。
 
 ### B.1 覆盖边界（README 须声明）
@@ -82,36 +85,40 @@
 
 | ID | 场景 | 公理 | 期望（合规） | 夹具路径 | 实测 |
 | --- | --- | --- | --- | --- | --- |
-| **S1** | R1 pending 即 30 | D2 | gate-check exit≠0 · 30 应拒 | `examples/compliance_bench/S1_r1_pending/` | _待 P0 绿_ |
-| **S2** | R1 approved · 无 review | D2/D3 | gate 警告或 22 不合规 | `examples/compliance_bench/S2_r1_no_review/` | _待 P0 绿_ |
-| **S3** | R1 approved + review 落盘 | D2/D3 | gate-check exit=0 | `examples/compliance_bench/S3_r1_with_review/` | _待 P0 绿_ |
-| **S4** | sync 域 vs S2 | S2 | apply **不得**含 S2 路径 | `examples/compliance_bench/S4_sync_domain/` | _待 P0 绿_ |
+| **S1** | R1 pending 即 30 | D2 | gate-check exit≠0 · 30 应拒 | `examples/compliance_bench/S1_r1_pending/` | **PASS** · exit 2 |
+| **S2** | R1 approved · 无 review | D2/D3 | bench 判非合规（缺 `*_audit_R1_*`） | `examples/compliance_bench/S2_r1_no_review/` | **PASS** · 缺 review → 非合规 |
+| **S3** | R1 approved + review 落盘 | D2/D3 | gate-check exit=0 · review 存在 | `examples/compliance_bench/S3_r1_with_review/` | **PASS** · exit 0 |
+| **S4** | sync 域 vs S2 | S2 | apply **不得**含 S2 路径 | `examples/compliance_bench/S4_sync_domain/` | **PASS** · plan 无 task/reviews 路径 |
 | ~~S5~~ | rejected→draft | D2 | v0.3+ · **条件项** | — | _未纳入 v1_ |
 
-### B.3 运行方式（计划）
+### B.3 运行方式
 
 ```bash
-# 待实现 · P0 绿后
+cd /path/to/cyning-harness
 ./wizard/compliance-bench.sh --all
-# 或文档化手工步骤见 examples/compliance_bench/README.md
+# 仅输出合规率 %
+./wizard/compliance-bench.sh --quiet --all
 ```
 
+手工步骤见 `examples/compliance_bench/README.md`。
+
 ### B.4 结果摘要（数字冻结区）
 
 | 项 | 值 |
 | --- | --- |
-| **运行日期** | _TBD_ |
-| **gate-check 版本 / commit** | _TBD_ |
-| **S1–S4 合规率** | _TBD_（**P0 绿后填写**） |
-| **失败 scenario** | _TBD_ |
-| **与 Part A 对照** | _TBD_（机制一致 / 差异说明） |
+| **运行日期** | 2026-06-16 |
+| **gate-check 版本 / commit** | `wizard/gate-check.sh` · 工作区 `main` |
+| **S1–S4 合规率** | **4/4 = 100%**（基于当前 fixtures · P0 绿后首跑） |
+| **失败 scenario** | 无 |
+| **与 Part A 对照** | S1/S3 与 #94 签前/签后验证、P0 金样 gate-check 行为一致；S4 与 `harness-sync.sh` 不覆盖 task/reviews 的实现一致 |
 
 ### B.5 Part B 待办
 
-- [ ] 创建 `examples/compliance_bench/` 目录与 S1–S4 夹具
-- [ ] `wizard/compliance-bench.sh` 或 ACCEPTANCE 级手工步骤
-- [ ] P0 绿后首跑 · 填入 §B.4
+- [x] 创建 `examples/compliance_bench/` 目录与 S1–S4 夹具
+- [x] `wizard/compliance-bench.sh` 或 ACCEPTANCE 级手工步骤
+- [x] P0 绿后首跑 · 填入 §B.4 · **已冻结 4/4=100%**
 - [ ] v0.3 后评估是否纳入 S5
+- [x] 冻结后可写入 README/公众稿（须由 A4 D4 执行）
 
 ---
 
@@ -129,4 +136,5 @@
 
 | 版本 | 日期 | 说明 |
 | --- | --- | --- |
+| v1.0 | 2026-06-16 | 回填 Part A 最小集 + Part B 首跑 4/4=100% · 数字仍 draft |
 | v1.0 | 2026-06-15 | 初版模板 · 双证据同页 · 数字 TBD |

package/docs/methodology/graph/HARNESS_GRAPH_MODEL_design_v0_zh.md

@@ -3,7 +3,7 @@
 
 | 项        | 内容                                                                                                                               |
 | -------- | -------------------------------------------------------------------------------------------------------------------------------- |
-| **状态**   | `proposal` · 远期架构（**v0.5+**）                                                                                                     |
+| **状态**   | `proposal` · 远期架构（**v2.0+**）                                                                                                     |
 | **版本**   | v0.1                                                                                                                             |
 | **日期**   | 2026-06-15                                                                                                                       |
 | **范围**   | 过程轨 **实例** 的显式图 + 事件历史 + 公理可查询                                                                                                   |
@@ -33,7 +33,7 @@ HGM 是 **本体论在工程中的可落地形态之一**：不引入 OWL 推理
 ```text
 语义层    DESIGN_ONTOLOGY v1.2 + ontology.yaml（类 · 关系 · 公理）
 文件层    docs/tasks · reviews · invokes · gate-check.log（当前真值 · S2 保护）
-图+事件层 HGM（可选增强 · v0.5+）— 从文件层 **推导** · 不反向覆盖文件层
+图+事件层 HGM（可选增强 · v2.0+）— 从文件层 **推导** · 不反向覆盖文件层
 ```
 
 ### 0.3 易混概念
@@ -55,7 +55,7 @@ HGM 是 **本体论在工程中的可落地形态之一**：不引入 OWL 推理
 | H2  | **文件优先**  | S2 保护域只追加事件，**不**用图 DB 覆盖 task/reviews     |
 | H3  | **事件不可变** | 修正 = 新事件 · 禁止删改历史                          |
 | H4  | **公理同源**  | 图约束与 `DESIGN_ONTOLOGY` §5 公理 ID 一一对应       |
-| H5  | **渐进存储**  | v0.5 JSONL → v0.6 SQLite 投影 → v0.8+ 可选外部图库 |
+| H5  | **渐进存储**  | v2.0 JSONL → v2.1 SQLite 投影 → v2.2+ 可选外部图库 |
 
 
 ---
@@ -75,7 +75,7 @@ HGM 是 **本体论在工程中的可落地形态之一**：不引入 OWL 推理
 | `InvokeSnapshot`     | InvokeSnapshot | `invoke:{path}`                    | `docs/harness/invokes/*`             |
 | `FailureReport`      | FailureReport  | `failure:{path}`                   | reviews 或 task 附录 · v0.3+            |
 | `GateCheckRun`       | GateCheckRun   | `gcr:{iso8601}:{task_slug}`        | `.cyning-harness/gate-check.log`     |
-| `SyncOperation`      | SyncOperation  | `sync:{iso8601}:plan|apply`        | wizard 日志 · v0.5+                    |
+| `SyncOperation`      | SyncOperation  | `sync:{iso8601}:plan|apply`        | wizard 日志 · v2.0+                    |
 | `InformArtifact`     | InformArtifact | `inform:{repo_rel_path}`           | `_tech_graph/*` 等                    |
 
 
@@ -101,7 +101,7 @@ HGM 是 **本体论在工程中的可落地形态之一**：不引入 OWL 推理
 
 ### 1.3 事件类型（Event · append-only）
 
-存储默认：`.cyning-harness/events/YYYY-MM.jsonl`（v0.5 提案）
+存储默认：`.cyning-harness/events/YYYY-MM.jsonl`（v2.0 提案）
 
 ```json
 {
@@ -139,7 +139,7 @@ HGM 是 **本体论在工程中的可落地形态之一**：不引入 OWL 推理
 ## 2. 公理 → 可执行检查（HGM 视角）
 
 
-| 公理              | 图/事件表述                                                           | 现有机械检查             | HGM v0.5             |
+| 公理              | 图/事件表述                                                           | 现有机械检查             | HGM v2.0             |
 | --------------- | ---------------------------------------------------------------- | ------------------ | -------------------- |
 | **D2**          | pending 的 `HG-AUDIT-R1` --BLOCKS--> 30 帽                         | gate-check exit 2  | 查询 + 事件告警            |
 | **D3**          | 30 首动作须关联 `GateCheckRun`                                         | 30 prompt 模板       | 缺 `CHECKED` 边 → 违规   |
@@ -148,7 +148,7 @@ HGM 是 **本体论在工程中的可落地形态之一**：不引入 OWL 推理
 | **rejected→10** | `GateStatusChanged(rejected)` → 下一事件须 `TaskStatusChanged(draft)` | v0.3 gate-check 警告 | 时序约束                 |
 
 
-示例查询（**Cypher 风格伪码** · 非 v0.5 承诺语法）：
+示例查询（**Cypher 风格伪码** · 非 v2.0 承诺语法）：
 
 ```cypher
 // 违反 D2：R1 pending 但存在 30 执行事件
@@ -174,19 +174,19 @@ RETURN t, e
 | task 表改 status / gate   | task md        | `TaskStatusChanged` / `GateStatusChanged` |
 
 
-**v0.5 最小实现**：`harness graph ingest --from-repo .` 扫描目录 + 解析 gate-check.log **回填**事件（幂等）。
+**v2.0 最小实现**：`harness graph ingest --from-repo .` 扫描目录 + 解析 gate-check.log **回填**事件（幂等）。
 
 ### 3.2 CLI 路线图
 
 
 | 命令                                     | 版本   | 说明                                 |
 | -------------------------------------- | ---- | ---------------------------------- |
-| `harness graph ingest`                 | v0.5 | 文件 → 事件 JSONL                      |
-| `harness graph snapshot`               | v0.5 | 事件 → snapshot.json                 |
-| `harness graph query`                  | v0.6 | 简单过滤器（非完整 Cypher）                  |
-| `harness graph timeline --task <slug>` | v0.6 | 单 Task 事件轴                         |
-| `harness graph axioms check`           | v0.7 | 跑 D2/D3/S2 图规则                     |
-| `harness graph patterns`               | v0.8 | 频繁路径统计（blocked / failed）           |
+| `harness graph ingest`                 | v2.0 | 文件 → 事件 JSONL                      |
+| `harness graph snapshot`               | v2.0 | 事件 → snapshot.json                 |
+| `harness graph query`                  | v2.1 | 简单过滤器（非完整 Cypher）                  |
+| `harness graph timeline --task <slug>` | v2.1 | 单 Task 事件轴                         |
+| `harness graph axioms check`           | v2.1 | 跑 D2/D3/S2 图规则                     |
+| `harness graph patterns`               | v2.2 | 频繁路径统计（blocked / failed）           |
 | `gate-check --graph`                   | v1.0 | **Inform** 模块图 · 与 HGM **并列** · Q3 |
 
 
@@ -197,12 +197,12 @@ RETURN t, e
 
 | 阶段       | 存储                                                       | 适用             |
 | -------- | -------------------------------------------------------- | -------------- |
-| **v0.5** | `.cyning-harness/events/*.jsonl` + `graph/snapshot.json` | 一人 · 单仓        |
-| **v0.6** | + SQLite（nodes/edges/events 表）                           | 本地查询加速         |
-| **v0.8** | 可选 Neo4j / 外部导出                                          | 多仓聚合 · **非默认** |
+| **v2.0** | `.cyning-harness/events/*.jsonl` + `graph/snapshot.json` | 一人 · 单仓        |
+| **v2.1** | + SQLite（nodes/edges/events 表）                           | 本地查询加速         |
+| **v2.2** | 可选 Neo4j / 外部导出                                          | 多仓聚合 · **非默认** |
 
 
-**不采用**「事件与图库强分离到 PostgreSQL+Neo4j」作为 v0.5 默认——与「纪律包轻嵌入」冲突。
+**不采用**「事件与图库强分离到 PostgreSQL+Neo4j」作为 v2.0 默认——与「纪律包轻嵌入」冲突。
 
 ---
 
@@ -213,8 +213,8 @@ v0.2  P0 金样路径（ACCEPTANCE 进行中）
 v0.3  manifest · npx · FailureReport · gate-check rejected（多数未实现）
 v0.4  ontology.yaml · D7 HG-RELEASE · public push
 v1.0  ICVO 审计 · invoke_index · gate-check --graph（Inform）
-v0.5+ Track G / G1：HGM ingest + snapshot + 基础 axioms check（proposal · 本文件 · v1.0 后启动）
-v0.6–v0.8  timeline · patterns · 可选外置图库（proposal）
+v2.0+ Track G / G1：HGM ingest + snapshot + 基础 axioms check（proposal · 本文件 · v1.0 后启动）
+v2.1–v2.2  timeline · patterns · 可选外置图库（proposal）
 ```
 
 **后置**：GrowingReasoningAgent / 自动 Recommendation 节点 — **未在本仓立项** · 依赖 HGM 事件量积累后再评。
@@ -226,8 +226,8 @@ v0.6–v0.8  timeline · patterns · 可选外置图库（proposal）
 
 | #   | 问题                          | 暂定                            |
 | --- | --------------------------- | ----------------------------- |
-| Q1  | ingest 由 git hook 还是手动 CLI？ | v0.5 **手动** + gate-check 钩子可选 |
-| Q2  | 是否「时光机」重建任意时点图？             | v0.7+ · 事件重放                  |
+| Q1  | ingest 由 git hook 还是手动 CLI？ | v2.0 **手动** + gate-check 钩子可选 |
+| Q2  | 是否「时光机」重建任意时点图？             | v2.2+ · 事件重放                  |
 | Q3  | HGM 与 Supabase/远端同步？        | **否** · v1.0 后单独评             |
 | Q4  | 用户能否删事件？                    | **否** · 仅追加 `CorrectionEvent` |
 | Q5  | Epic 升格后图模型变更？              | Epic 变 `Epic` 标签节点 · 随 Q1 本体  |
@@ -252,7 +252,8 @@ v0.6–v0.8  timeline · patterns · 可选外置图库（proposal）
 
 | 版本   | 日期         | 说明                                   |
 | ---- | ---------- | ------------------------------------ |
-| v0.1 | 2026-06-15 | 初稿 · 对齐本体 v1.2 · 校正对话稿偏差 · v0.5 轻量存储 |
+| v0.1 | 2026-06-15 | 初稿 · 对齐本体 v1.2 · 校正对话稿偏差 · v2.0 轻量存储 |
+| v0.2 | 2026-06-15 | **SEM-02**：HGM 产品阶段号 v0.5/v0.6 → **v2.x** |
 | v0.1.1 | 2026-06-15 | §5 路线图与 ROADMAP 对齐 · gate-check --graph → v1.0 · proposal 标注 |
 
 

package/docs/methodology/graph/HARNESS_GRAPH_MODEL_dialogue_archive_v1_zh.md

@@ -109,7 +109,7 @@ Harness Graph Model (HGM)
 | 存储 | SQLite → Neo4j 渐进 |
 | CLI | `graph query` · `timeline` · `analyze` · `predict` |
 | 采集 | install · task · gate-check · 22/30 产出 |
-| 路线 | v0.5–v1.0 分阶段 |
+| 路线 | v2.0+ 分阶段（**v1.0 关账后**） |
 
 **已知偏差（相对本地 v1.2）**：
 
@@ -118,7 +118,7 @@ Harness Graph Model (HGM)
 | PRODUCT_ONTOLOGY v1.1 | **DESIGN_ONTOLOGY v1.2** |
 | FailureReport 已模板化 | **v0.3 backlog** |
 | ontology.yaml 已有 | **v0.4+ 抽取** |
-| Neo4j v0.6 默认 | **真值稿优先 JSONL + 可选 SQLite 投影** |
+| Neo4j v2.2 默认 | **真值稿优先 JSONL + 可选 SQLite 投影** |
 | GrowingReasoningAgent 衔接 | **未立项 · C 轨后置** |
 
 **完整工程化草案** → [`HARNESS_GRAPH_MODEL_design_v0_zh.md`](./HARNESS_GRAPH_MODEL_design_v0_zh.md)（同目录真值稿）。

package/docs/methodology/graph/README.md

@@ -1,10 +1,10 @@
 # graph · Harness Graph Model (HGM)
 
-> **Track G · G1 / v0.5+**：HGM 为 **v1.0 公理稳定后的可选增强**（proposal · 未实现）· 详见 [`../ROADMAP_v1_zh.md`](../ROADMAP_v1_zh.md) §2.2。
+> **Track G · G1 / v2.0+**：HGM 为 **v1.0 公理稳定后的可选增强**（proposal · 未实现）· 详见 [`../ROADMAP_v1_zh.md`](../ROADMAP_v1_zh.md) §2.0 · §2.2。
 
 | 文档 | 状态 | 说明 |
 | --- | --- | --- |
-| **[`HARNESS_GRAPH_MODEL_design_v0_zh.md`](./HARNESS_GRAPH_MODEL_design_v0_zh.md)** | proposal · v0.5+ | **真值稿** · 节点/边/事件 · CLI 路线 |
+| **[`HARNESS_GRAPH_MODEL_design_v0_zh.md`](./HARNESS_GRAPH_MODEL_design_v0_zh.md)** | proposal · **v2.0+** | **真值稿** · 节点/边/事件 · CLI 路线 |
 | [`HARNESS_GRAPH_MODEL_dialogue_archive_v1_zh.md`](./HARNESS_GRAPH_MODEL_dialogue_archive_v1_zh.md) | archive | 对话参考 · **非真值** |
 
 ```text

package/docs/methodology/product/DESIGN_ONTOLOGY_v1_zh.md

@@ -583,7 +583,7 @@ AGENTS.md / CLAUDE.md 内 cyning-harness marker 区段（整文件若仅含 mark
 | **ontology.yaml**       | 未抽取           | v0.4 · `harness ontology-check`  |
 | **FailureReport**       | 未模板化           | v0.3 · 30 失败路径                 |
 | **kimi-code-meta** preset | examples v0.3 · profiles v0.4 | `examples/kimi-code-integration/` · `enhancement` |
-| **Harness Graph Model** | 未实现 · 对话已归档 | [`../graph/HARNESS_GRAPH_MODEL_design_v0_zh.md`](../graph/HARNESS_GRAPH_MODEL_design_v0_zh.md) · v0.5+ |
+| **Harness Graph Model** | 未实现 · 对话已归档 | [`../graph/HARNESS_GRAPH_MODEL_design_v0_zh.md`](../graph/HARNESS_GRAPH_MODEL_design_v0_zh.md) · **v2.0+** |
 
 
 ### 7.3 扩展规则（加新功能时）
@@ -645,7 +645,7 @@ npx CLI  ≡  WizardTool 新实例
 | Q2  | `invokes/by-task/<slug>/` 是否纳入本体索引？             | **是** · InvokeSnapshot 聚合容器 · `invoke_index.json` 由 sync --index 生成 |
 | Q3  | graph 模块表 `HG-GRAPH-MODULES` 是否产品化进 gate-check？ | **是** · `gate-check --graph` 输出依赖模块图 + 审核状态 |
 | Q4  | KPI（00）是否进 Starter？                             | **否** · 保持 Extended            |
-| Q5  | 是否支持热插拔 Track（动态启停轨而不 reinstall）？              | **v0.5+ 再议** · 须改 profile + 部分 sync · 复杂度高 |
+| Q5  | 是否支持热插拔 Track（动态启停轨而不 reinstall）？              | **v2.0+ 再议** · 须改 profile + 部分 sync · 复杂度高 |
 
 
 ---

package/docs/methodology/prompts/PROMPT_article_theory_roundtable_v1_zh.md

@@ -39,7 +39,7 @@ Open Folder：`cyning-harness` 产品仓根（或工作区 `Projects/` 并 `@`
 
 **阅读输出（阶段 A 交付）**：
 
-- 用 ≤800 字中文写「我理解的核心结论」：五 bullet（OOP 定位 / 本体定位 / HGM 定位 / 与 LangChain 差异 / v0.5 前不做什么）
+- 用 ≤800 字中文写「我理解的核心结论」：五 bullet（OOP 定位 / 本体定位 / HGM 定位 / 与 LangChain 差异 / **v1.0 前不做什么 HGM**）
 - 列出你发现的 **3 处** 文档间可能矛盾或需作者拍板之处（若无写「未发现」）
 - **不要** 写文章正文 · **不要** 写完整大纲
 
@@ -52,7 +52,7 @@ Open Folder：`cyning-harness` 产品仓根（或工作区 `Projects/` 并 `@`
 | **受众** | 掘金 / 腾讯云 / 求职作品集 / Kimi 方向？ |
 | **深度** | 概念科普 vs 架构师深度 vs 落地教程？ |
 | **边界** | 是否写 kimi-code-meta 试点细节？是否提私有工作区？ |
-| **理论** | 「OOP 升级」表述是否作为标题？HGM v0.5 写多少？ |
+| **理论** | 「OOP 升级」表述是否作为标题？HGM **v2.x** 写多少？ |
 | **叙事** | 系列第几篇？与 ICVO 四支柱如何挂钩？ |
 
 **禁止** 在阶段 B 用「我可以开始写了」代替问题。
@@ -86,7 +86,7 @@ Open Folder：`cyning-harness` 产品仓根（或工作区 `Projects/` 并 `@`
 
 - 真值以 `docs/methodology/` 为准；对话归档仅参考
 - GraphTrack（架构图）≠ HGM（过程实例图）— 文中须区分
-- 不得把 v0.5 HGM 写成「已发布能力」；对外写 **Track G / G1 提案（v0.5+ 能力标签，非产品主版本）**
+- 不得把 **v2.x HGM** 写成「已发布能力」；对外写 **Track G / G1 提案（v2.0+ 能力标签 · v1.0 后主版本 2 · 非主轨 v0.5）**
 - 不得把 cyning-harness 说成 Agent Runtime / LangChain 替代品
 - ICV（公众三支柱）与 ICVO（产品四支柱）须用 [`AUDIT_doc_consistency_2026-06-15_zh.md`](../AUDIT_doc_consistency_2026-06-15_zh.md) 升级说明桥接
 

package/docs/methodology/prompts/PROMPT_doc_consistency_audit_v1_zh.md

@@ -34,8 +34,8 @@
 
 | 检查项 | 期望 |
 | --- | --- |
-| ROADMAP §2 表顺序 vs 版本号 | `v0.5.x` HGM 在 **闸门** 上依赖 `v1.0` 完成，但 semver 数字易误读为「早于 v1.0」 |
-| 对外表述建议 | 是否统一为 **「Track G / G1 能力 / v0.5+ 提案」** 而非单独写 `v0.5` 产品版 |
+| ROADMAP §2 表顺序 vs 版本号 | HGM **v2.x** 在 **闸门** 上依赖 `v1.0` 完成（SEM-02 已改 · 废止 v0.5/v0.6） |
+| 对外表述建议 | 统一为 **「Track G / G1 / v2.0+ 提案」** · 主轨 **v0.2→v1.0** |
 | HGM design §5 路线图 | 与 ROADMAP §2、§5 闸门是否一致 |
 
 **产出**：① 问题描述 ② 读者误解场景 ③ 推荐统一用语（2～3 句）④ 需改文件列表
@@ -102,7 +102,7 @@
 
 ## 禁止
 
-- 不把 v0.5 HGM 写成已发布
+- 不把 **v2.x HGM** 写成已发布 · ~~v0.5~~ 已废止
 - 不把 cyning-harness 写成 LangChain 替代品
 - 不修改私有仓全名作对外主例
 ```
@@ -113,7 +113,7 @@
 
 | 级别 | ID | 摘要 | 状态 |
 | --- | --- | --- | --- |
-| **P0** | SEM-01 | `v1.0` 完成后才启动 HGM，但轨道代号 `v0.5.x` 与 semver 直觉冲突 | ✅ 2026-06-15 落盘 |
+| **P0** | SEM-01 | `v1.0` 完成后才启动 HGM · 原 `v0.5.x` 代号 | ✅ 2026-06-15 · **SEM-02 改 v2.x** |
 | **P0** | ICV-01 | 公众稿「不发明第四支柱」vs 产品 ICVO 四支柱 · 续篇须写清「显式化」非推翻 | ✅ 地图 v1.0.3 脚注 |
 | **P1** | MAP-01 | DOCUMENT_MAP §4 methodology README 版本号滞后 | ✅ |
 | **P1** | MIX-01 | gate-check --graph（Inform）与 HGM（Process）并列表述易混 | ✅ HGM §5 |

package/examples/compliance_bench/README.md

@@ -0,0 +1,28 @@
+# SDD-Compliance micro-bench · v1
+
+> **标题**：SDD-Compliance · **非** Agent Score / pass@1 类模型 benchmark。  
+> **范围**：S1–S4 · 公理 D2/D3/S2 可机械检查部分 · 不覆盖 D4/D5 与 Terminal-Bench。  
+> **状态**：v1.0 draft · 数字待 P0 绿后冻结。
+
+---
+
+## 运行
+
+```bash
+# 从产品包根
+cd /path/to/cyning-harness
+./wizard/compliance-bench.sh --all
+```
+
+## Scenario
+
+| ID | 场景 | 公理 | 期望 |
+| --- | --- | --- | --- |
+| S1 | R1 pending 即 30 | D2 | gate-check exit≠0 |
+| S2 | R1 approved · 无 review | D2/D3 | bench 判非合规（gate-check 可能 exit 0） |
+| S3 | R1 approved + review 落盘 | D2/D3 | gate-check exit=0 · review 文件存在 |
+| S4 | sync 域不含 task/reviews | S2 | `harness-sync.sh plan` 输出无 `docs/tasks/`、`docs/harness/reviews/` 路径 |
+
+## 输出
+
+脚本输出每项 PASS/FAIL 及合规率 %。

package/examples/compliance_bench/S1_r1_pending/task.md

@@ -0,0 +1,30 @@
+# Task fixture · S1 · R1 pending 应拒 30
+
+> 用途：SDD-Compliance micro-bench S1 夹具 · R1 pending 时 gate-check 须 exit≠0
+
+---
+
+## Harness 元信息
+
+| 字段 | 值 |
+| --- | --- |
+| **task_slug** | `s1_r1_pending` |
+| **test_strategy** | `not_applicable` |
+| **audit_profile** | `full` |
+
+### 人工闸
+
+| human_gate_id | status | blocks_hats | 说明 |
+| --- | --- | --- | --- |
+| HG-TASK-DRAFT | approved | 22, 30 | 10 完成 |
+| HG-AUDIT-R1 | pending | 30 | 22 R1 未落盘 / 未签 |
+
+---
+
+## 背景与目标
+
+验证 D2 公理：**HG-AUDIT-R1 pending 时，30 不可开工**。
+
+## 验收标准
+
+- `gate-check.sh --task task.md` **exit 2** · 输出「30 不可开工: HG-AUDIT-R1 非 approved」

package/examples/compliance_bench/S2_r1_no_review/task.md

@@ -0,0 +1,31 @@
+# Task fixture · S2 · R1 approved 但无 review 文件
+
+> 用途：SDD-Compliance micro-bench S2 夹具 · R1 approved 但 reviews/*_R1_* 不存在 · 应判不合规
+
+---
+
+## Harness 元信息
+
+| 字段 | 值 |
+| --- | --- |
+| **task_slug** | `s2_r1_no_review` |
+| **test_strategy** | `not_applicable` |
+| **audit_profile** | `full` |
+
+### 人工闸
+
+| human_gate_id | status | blocks_hats | 说明 |
+| --- | --- | --- | --- |
+| HG-TASK-DRAFT | approved | 22, 30 | 10 完成 |
+| HG-AUDIT-R1 | approved | 30 | 22 R1 已签 |
+
+---
+
+## 背景与目标
+
+验证 D2/D3 公理：**R1 approved 必须伴随 `docs/harness/reviews/*_audit_R1_*.md` 落盘**；否则 gate-check 须警告或判不合规。
+
+## 验收标准
+
+- `gate-check.sh --task task.md` 可能 exit 0（当前 gate-check 不检查 review 文件存在性）
+- bench 脚本额外检查 reviews 目录 · 无 `*_audit_R1_*` 文件 → **非合规**

package/examples/compliance_bench/S3_r1_with_review/reviews/s3_r1_with_review_audit_R1_20260616.md

@@ -0,0 +1,18 @@
+# 审核记录 · s3_r1_with_review · R1
+
+| 项 | 内容 |
+| --- | --- |
+| **task** | `s3_r1_with_review` |
+| **round** | R1 |
+| **日期** | 2026-06-16 |
+| **结论** | 通过 · 无内容阻塞 |
+
+## 审查摘要
+
+- 验收标准与范围一致
+- 失败路径已覆盖
+- 人工闸 HG-AUDIT-R1 建议 approved
+
+## 签收
+
+维护者签 HG-AUDIT-R1 → approved。