@cyning/harness 0.4.0 → 1.0.1

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 立项 |
 
 ---
 
@@ -106,7 +117,9 @@ Epic 与子 task 真值：`Projects/docs/harness/tasks/active/`
 | #6 A3 public push | v0.4.0 |
 | #7 A4 v1.0 | v1.0.0 · 引用 #8 |
 | **#8 B2 + bench** | Track B · **1+3 主证据** · P0 绿后优先 |
-| **#9 Agent-shell** | Track B · **2 并行** · 核实期 · 不挡 A3 |
+| **#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 后 |
 
 **证据策略（2026-06-15 锁定）**：
 
@@ -123,6 +136,24 @@ Epic 与子 task 真值：`Projects/docs/harness/tasks/active/`
 
 ---
 
+## 8. Post-v1.0 执行序（2026-06-16）
+
+维护者决策真值：工作区 [`POST_V1_0_SEQUENCE_v1_zh.md`](../../../../docs/harness/guides/POST_V1_0_SEQUENCE_v1_zh.md) · HGM 讨论 [`HGM_UPGRADE_OUTLINE_v1_zh.md`](./graph/HGM_UPGRADE_OUTLINE_v1_zh.md)
+
+| 序 | 里程碑 | 阻塞 |
+| --- | --- | --- |
+| 0 | A5 @1.0.1 · Epic CLOSE · **v1.0 公众号本周发** | — |
+| 1 | Ink 后端 Graph YAML P0 CLOSE | — |
+| 2 | 产品 Inform-YAML **v1.1+**（2.0 前） | 1 |
+| 3 | HGM G0 大纲讨论 + schema 冻结 | 1 |
+| 4 | HGM G1 **v2.0** ingest | 2 + 3 |
+| 5 | cyning-harness-agent 基础 | 4 · 待立项 |
+| 6 | B9 Agent-shell findings | 5 |
+
+**原则**：Inform YAML 在 v2.0 前并入主轨 · HGM 在后端 YAML 试点后启动 · B9 最后。
+
+---
+
 ## 7. 修订记录
 
 | 版本 | 日期 | 说明 |
@@ -134,3 +165,5 @@ 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 命名纪律 |
+| v1.5 | 2026-06-16 | 增 §8 Post-v1.0 序 · I-YAML v1.1+ · B9 后置 · 链 HGM 大纲 |

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,12 +3,13 @@
 
 | 项        | 内容                                                                                                                               |
 | -------- | -------------------------------------------------------------------------------------------------------------------------------- |
-| **状态**   | `proposal` · 远期架构（**v0.5+**）                                                                                                     |
+| **状态**   | `proposal` · 远期架构（**v2.0+**）                                                                                                     |
 | **版本**   | v0.1                                                                                                                             |
 | **日期**   | 2026-06-15                                                                                                                       |
 | **范围**   | 过程轨 **实例** 的显式图 + 事件历史 + 公理可查询                                                                                                   |
 | **非范围**  | 替代 Git/Markdown 真值 · 替代 LLM Runtime · `**GraphTrack` 架构图**（见 §0.3）                                                               |
 | **依赖**   | [`../product/DESIGN_ONTOLOGY_v1_zh.md`](../product/DESIGN_ONTOLOGY_v1_zh.md) v1.2 · P0 金样路径已建（ACCEPTANCE 待绿）· v0.3 `ontology.yaml`（未实现）· v1.0 `gate-check --graph`（Inform · 未实现） |
+| **升级大纲** | [`HGM_UPGRADE_OUTLINE_v1_zh.md`](./HGM_UPGRADE_OUTLINE_v1_zh.md) · G0 讨论入口（2026-06-16） |
 | **思想来源** | [`HARNESS_GRAPH_MODEL_dialogue_archive_v1_zh.md`](./HARNESS_GRAPH_MODEL_dialogue_archive_v1_zh.md) |
 
 
@@ -33,7 +34,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 +56,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 +76,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 +102,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 +140,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 +149,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 +175,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 +198,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 +214,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 +227,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 +253,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)（同目录真值稿）。