@cyning/harness 1.1.0 → 2.0.1

package/CHANGELOG.md

@@ -4,6 +4,48 @@
 
 ## [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
+
+- **HGM G1**：`lib/graph-hgm.js` · 过程轨事件模型（Task / Gate / Review / Invoke / Sync / InformArtifact）
+- **HGM Event Schema v1**：`docs/methodology/graph/schemas/hgm_event_v1.schema.json` · append-only JSONL
+- **HGM CLI**：`harness graph ingest|snapshot|axioms check`（v2.0+）
+- **InformArtifact 与 MUST_READ 边**：task → inform 节点 · 对齐 Track I-YAML 路径约定
+- **HGM 公理子集**：D2（pending gate 阻塞 30）· D3（in_progress 缺 GateCheckRun）· S2（sync 禁止 touch S2）· rejected→draft 提醒
+- **测试覆盖**：`test/graph-hgm.test.js` · 60/60
+
+### Changed
+
+- **版本**：`package.json` · `ontology.yaml` → **2.0.0**
+- **README**：当前版本 → v2.0.0 · 补充 HGM 命令速查
+- **USER_GUIDE**：新增 §13 HGM 过程轨章 · 版本 → v2.0.0
+
+### Notes
+
+- **HG-RELEASE**：tag v2.0.0 · npm `@cyning/harness@2.0.0` 已发布
+- `gate-check --graph` 语义不变；HGM 独立子命令
+- HGM v2.0 默认本地 JSONL + snapshot，不含 Neo4j / SQLite / 远端同步
+
 ## [1.1.0] - 2026-06-17
 
 ### Added

package/README.md

@@ -91,7 +91,8 @@ npx @cyning/harness upgrade --gate-check       # upgrade 前自动 audit
 - **S5**：dirty 工作区 warn，apply 须 `--force` 明示  
 
 Inform 图谱闸：`npx @cyning/harness gate-check --graph --target /path/to/your-repo`  
-Inform-YAML：`npx @cyning/harness graph yaml compile|check --input docs/_tech_graph`（v1.1+）  
+Inform-YAML：`npx @cyning/harness graph yaml compile|check --input docs/_tech_graph`（v1.1+）
+HGM 过程轨：`npx @cyning/harness graph ingest|snapshot|axioms check --target /path/to/your-repo`（v2.0+）  
 Invoke 索引：`npx @cyning/harness sync index --target /path/to/your-repo`（不覆盖 S2 域）
 
 Node 仓可选：`npx @cyning/harness init --with-scripts` → `pnpm harness:verify`。  
@@ -168,8 +169,8 @@ cyning-harness/
 
 | 项 | 值 |
 |----|-----|
-| 当前 | **v1.1.0** — Inform-YAML · `graph yaml compile|check` · ICVO audit · invoke_index · gate-check --graph · B2 证据 |
-| 上一档 | v0.4.0 — A3 public push · MIT · 脱敏金样 |
+| 当前 | **v2.0.0** — HGM G1 · `graph ingest|snapshot|axioms` · Inform-YAML · ICVO audit · invoke_index · gate-check --graph · B2 证据 |
+| 上一档 | v1.1.0 — Inform-YAML · `graph yaml compile|check` · ICVO audit · invoke_index · gate-check --graph · B2 证据 |
 | 许可 | **MIT** · [`LICENSE`](LICENSE) · Release [`docs/RELEASE_v1.0.0.md`](docs/RELEASE_v1.0.0.md) |
 
 ---

package/docs/USER_GUIDE_v1.0_zh.md

@@ -1,7 +1,7 @@
-# cyning-harness v1.0 · 使用手册
+# cyning-harness v2.0 · 使用手册
 
 > **读者**：要在 **自己的业务仓库** 里落地 AI 辅助研发纪律的开发者（非 cyning-harness 维护者）。  
-> **版本**：[`@cyning/harness@1.1.0`](https://www.npmjs.com/package/@cyning/harness) · MIT  
+> **版本**：[`@cyning/harness@2.0.0`](https://www.npmjs.com/package/@cyning/harness) · MIT  
 > **仓库**：<https://github.com/Cyning12/cyning-harness>  
 > **更短入口**：[`README.md`](../README.md) Quick Start · [`ONBOARDING.md`](./ONBOARDING.md) 接入细节  
 > **Release**：[`RELEASE_v1.0.1.md`](./RELEASE_v1.0.1.md) · [`CHANGELOG.md`](../CHANGELOG.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 / 图数据库 | **Track G · v2.0+ 提案**，v1.1 未实现事件 ingest |
+| 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 事件流精确匹配 |
 
 ---
 
@@ -310,7 +310,55 @@ A：GitHub [Cyning12/cyning-harness](https://github.com/Cyning12/cyning-harness)
 
 ---
 
-## 13. 进一步阅读
+## 13. HGM 过程轨（v2.0+）
+
+Harness Graph Model（HGM）把 task、gate、review、invoke、sync 等过程实例变成 **append-only 事件流** 与 **可重放图快照**，用于机械检查 SDD 公理。
+
+### 13.1 事件文件
+
+HGM 事件写入 `.cyning-harness/events/YYYY-MM.jsonl`，修正 = 追加 `CorrectionEvent`，**禁止删改历史**。
+
+### 13.2 CLI
+
+```bash
+# 扫描业务仓 → 追加事件（幂等）
+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 · 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
+```
+
+**公理最小集（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.5 局限
+
+- v2.0 默认本地 JSONL + snapshot；**不含** Neo4j / SQLite / 远端同步
+- 多仓聚合、时光机重建任意时点图：v2.1+ 提案
+
+---
+
+## 14. 进一步阅读
 
 | 优先级 | 文档 |
 | --- | --- |
@@ -335,3 +383,5 @@ A：GitHub [Cyning12/cyning-harness](https://github.com/Cyning12/cyning-harness)
 | 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/DECISIONS_hgm_g1_maintainer_v1_zh.md

@@ -0,0 +1,196 @@
+# HGM G1 · 维护者开放议题决策（v1）
+
+| 项 | 内容 |
+| --- | --- |
+| **状态** | `confirmed` |
+| **日期** | 2026-06-17 |
+| **决策者** | 维护者 |
+| **来源** | [`HGM_UPGRADE_OUTLINE_v1_zh.md`](./HGM_UPGRADE_OUTLINE_v1_zh.md) §10 开放问题 |
+| **后继序列表** | [`POST_G1_SEQUENCE_v1_zh.md`](../../../../docs/harness/guides/POST_G1_SEQUENCE_v1_zh.md) |
+
+---
+
+## 0. 决策摘要
+
+| # | 议题 | 决策 | 落地 |
+| --- | --- | --- | --- |
+| **Q1** | G1 axioms 是否含 Inform 模块闸（D4-a） | **是** · 纳入 axioms 最小集 | **G1.1** `@2.0.1` · `checkAxioms` 扩展 |
+| **Q2** | v2.0 是否 optional pre-commit ingest | **是** · **可选**钩子 · 默认不强制 | **G1.1** · 示例 hook + 文档 |
+| **Q3** | bench S5 与 HGM axioms 关系 | **语义对齐、实现分层**（见 §3） | G1.1 增 compliance S5 夹具 |
+| **Q4** | agent 包形态 | **暂未选定** · 保留案例库（见 §4） | Track C 立项前 STRATEGY 一页 |
+| Q5 | I-YAML schema 归谁 | **已闭合** · Y1 产品 canonical · 试点只读 | Y1 done |
+| Q6 | agent 立项触发 | G1 **+ G1.1** dogfood 绿 + 维护者书面批 | 不变 |
+
+---
+
+## 1. Q1 · axioms 含 D4-a（Inform 模块闸）
+
+### 决策
+
+**G1.1 起**，`harness graph axioms check` 最小集 = **D2 + D3 + D4-a + rejected→draft + S2**（在 G1 已实现子集上 **增 D4-a**）。
+
+### 定义真值
+
+| 公理 | 含义 | 权威出处 |
+| --- | --- | --- |
+| **D4 / D4-a** | 改码 task 开工前 `HG-GRAPH-MODULES = approved` | [`DESIGN_ONTOLOGY_v1_zh.md`](../product/DESIGN_ONTOLOGY_v1_zh.md) §5.3 **D4** · Onboarding [`GUIDANCE_m2_starter_onboarding_v1_zh.md`](../../../../docs/harness/guides/GUIDANCE_m2_starter_onboarding_v1_zh.md) §2 **D4-a** |
+| **Inform 联结** | Task --mustRead--> InformArtifact（`01_struct` / `_tech_graph`） | [`HARNESS_GRAPH_MODEL_design_v0_zh.md`](./HARNESS_GRAPH_MODEL_design_v0_zh.md) §2 公理表 **D4-a** 行 |
+
+### G1 v2.0.0 现状（2026-06-17）
+
+[`lib/graph-hgm.js`](../../../lib/graph-hgm.js) `checkAxioms()` 已实现：**D2 · D3 · rejected→draft · S2** · **未**含 D4-a。
+
+### G1.1 交付（草案）
+
+- 扫描 task：`HG-GRAPH-MODULES` pending/rejected 且 task 已 `in_progress` → violation
+- 可选：MUST_READ 边缺失 `01_struct.md` 或模块表 → warn
+- pytest 可失败用例 + 更新 USER_GUIDE §graph axioms
+
+---
+
+## 2. Q2 · optional pre-commit ingest
+
+### 决策
+
+**提供 optional pre-commit ingest** · **不**作为 npm 默认安装步骤 · **不**替代 CI。
+
+### 形态（G1.1 草案）
+
+```text
+.cyning-harness/hooks/pre-commit.sample   ← 产品仓示例
+  └─ 调用：npx @cyning/harness graph ingest --from-repo . --incremental
+  └─ 文档：USER_GUIDE「可选 · Git hooks」节
+  └─ 安装：维护者手动 cp 或 `--install-hooks`（若实现）
+```
+
+### 纪律
+
+| 项 | 说明 |
+| --- | --- |
+| 默认 | **不**在 `npx harness init` 自动安装 hook |
+| 失败 | ingest 非 0 → hook 可配置 warn vs block（示例用 warn） |
+| S2 | hook **不得**改写 task/review 正文 · 只 append events |
+
+---
+
+## 3. Q3 · bench S5 与 HGM axioms：定义在哪、有何区别
+
+### 3.1 命名消歧（重要）
+
+| 名称 | 领域 | 含义 | **不是** |
+| --- | --- | --- | --- |
+| **compliance-bench `S5`** | SDD micro-bench 场景 ID | **rejected→draft** 夹具 | 本体 **S5** |
+| **本体公理 `S5`** | 同步公理 | sync/apply 前 **Git 工作区干净** | bench 场景 |
+| **HGM `rejected→draft`** | 过程公理 | gate rejected 后 task 须回 **draft** | 本体 S5 |
+
+下文 **bench S5** 均指 compliance-bench 场景 · 非本体 S5。
+
+### 3.2 定义位置对照
+
+| 机制 | 定义 / 实现位置 | 测什么 | 输入 |
+| --- | --- | --- | --- |
+| **compliance-bench S1–S4** | [`examples/compliance_bench/README.md`](../../../examples/compliance_bench/README.md) · [`wizard/compliance-bench.sh`](../../../wizard/compliance-bench.sh) | **静态夹具**上 `gate-check.sh` / sync 行为 | 合成 mini 仓 `S1_r1_pending/` 等 |
+| **compliance-bench S5**（**待 G1.1**） | 同上 · B8 原 defer | rejected 后 gate-check 警告 + task 应 draft | 夹具 `S5_rejected_draft/`（待建） |
+| **HGM `graph axioms check`** | [`lib/graph-hgm.js`](../../../lib/graph-hgm.js) `checkAxioms()` · design v0 §2 | **事件重放 snapshot** 上的公理违反 | `.cyning-harness/events/*.jsonl` |
+| **gate-check（运行时）** | [`wizard/gate-check.sh`](../../../wizard/gate-check.sh) · 本体 §4.2 | 当前 task 闸表 · 30 拒开工 | 真实业务仓 task md |
+| **harness audit S5** | [`lib/audit.js`](../../../lib/audit.js) · A4 task | **Git clean** 再 sync | 工作区 git status |
+
+### 3.3 区别（一句话）
+
+```text
+compliance-bench = 「给定假仓库，wizard 命令行为对不对」· 回归测试 · 无事件流
+HGM axioms       = 「给定真实事件历史，投影图是否违反过程公理」· 审计 · 有时序
+gate-check       = 「此刻能不能开 30」· 运行时闸
+```
+
+### 3.4 为何要口径对齐（维护者决策 Q3）
+
+| 层 | 关系 |
+| --- | --- |
+| **语义** | bench S5 与 HGM `rejected→draft` **同一规则** · 来自 [`DESIGN_ONTOLOGY`](../product/DESIGN_ONTOLOGY_v1_zh.md) §4.2 |
+| **实现** | **故意分层** · bench 不读 jsonl · HGM 不跑 shell 夹具 |
+| **G1.1** | 新增 S5 夹具 + 收紧 HGM rejected 检查（事件流精确匹配 draft 事件） |
+
+### 3.5 当前 compliance-bench 覆盖
+
+| 场景 | 公理 | G1 HGM axioms |
+| --- | --- | --- |
+| S1 pending→拒 30 | D2/D3 | D2 ✓ |
+| S2 无 review | D2/D3 | （ingest 侧另查） |
+| S3 Happy Path | D2/D3 | D3 ✓ |
+| S4 sync 不碰 task | S2 | S2 ✓ |
+| **S5 rejected→draft** | rejected→draft | rejected→draft ✓（待 bench 夹具） |
+| **D4-a 模块闸** | D4 | **G1.1 增** |
+
+---
+
+## 4. Q4 · agent 包形态 · 案例库（待选）
+
+维护者 **暂无单一偏好** · Track C 立项前从下列 **行业对照 + 本方可行形态** 中选 1–2 组合试点。
+
+### 4.1 形态谱系
+
+| ID | 形态 | 实际案例 | 优点 | 风险 |
+| --- | --- | --- | --- | --- |
+| **A** | **纪律 npm 包 + IDE/CLI**（现状） | **`@cyning/harness`** · Cursor rules · `npx harness gate-check` | 仓库真值 · 已 dogfood | 无内置 Chat · 依赖 Cursor/Kimi |
+| **B** | **独立 Agent npm 包** | LangGraph `langgraph-cli` · OpenAI Agents SDK `@openai/agents` | 边界清晰 · 可 semver 独立 | 双包同步 · 用户装两个 |
+| **C** | **Preset / Profile 扩展** | 现有 **`kimi-code-meta`** preset · OpenClaw **workspace skills** | 低迁移 · 复用 init/upgrade | 非通用 Agent 运行时 |
+| **D** | **MCP Server 暴露 Harness** | Anthropic **MCP** 生态 · Cursor MCP tools | 工具化 ingest/query/gate-check | 需 host 进程 · 安全面 |
+| **E** | **ExecutionShell 策略注入**（B9 轨） | Kimi **用户级 agent 配置** · Claude **Project Instructions** | 零 clone 演示 Orchestrate | Inform/Verify 弱 · H1 待证 |
+| **F** | **GitHub Action / CI Agent** | `github-actions/agent` 类 · 本仓 **verify-tech-graph.yml** | Verify 强 · 无本地 UI | 非交互 · 非 Runtime |
+| **G** | **Monorepo 子包** | OpenClaw `openclaw` 主包 + gateway 子模块 | 单 repo 版本锁 | 一人项目过重 |
+
+### 4.2 本方已运行对照（非 hypothetic）
+
+| 案例 | 路径 / 产品 | 与 Harness 关系 |
+| --- | --- | --- |
+| **repo-embedded（主路径）** | `ai-ink-brain-api-python` · `examples/demo_checkout` | 全 ICVO · gate-check + graph_query |
+| **kimi-code-meta 试点** | 工作区 `kimi-code-meta/` · [`PILOT_kimi_code_fork_adoption_v1_zh.md`](../../../../docs/harness/guides/PILOT_kimi_code_fork_adoption_v1_zh.md) | B 轨证据 · preset + fork |
+| **B9 shell-only（计划）** | [`task_cyning_harness_b9_agent_shell_v1.md`](../../../../docs/harness/tasks/active/task_cyning_harness_b9_agent_shell_v1.md) | E 轨实验 · G1.1 后 |
+| **Hermes（只读对照）** | 工作区 `hermes-agent/` | Gateway + skills · **不**替代 Harness 签收 |
+| **OpenClaw（只读对照）** | 工作区 `openclaw/` | workspace 注入 · sandbox |
+
+### 4.3 维护者倾向（非最终决策 · 供立项讨论）
+
+| 阶段 | 建议 |
+| --- | --- |
+| **短期** | 保持 **A** 主路径 · G1.1 把 HGM CLI 做稳 |
+| **中期试点** | **C + E**：`@cyning/harness` preset + B9 shell findings · **不**先建重型 **G** |
+| **若需 programmatic API** | 评估 **B** 小仓 `@cyning/harness-agent` re-export `graph ingest/axioms/gate-check` |
+| **若需跨 IDE 工具** | 评估 **D** 薄 MCP：`harness_gate_check` · `harness_graph_query` 两个 tool |
+
+**立项触发**：G1.1 dogfood 绿 + 书面批 Track C · 先写 **STRATEGY_agent_runtime_v1_zh.md** 一页再开 task。
+
+---
+
+## 5. 与 G1 v2.0.0 代码的关系
+
+| 项 | G1 v2.0.0（当前） | G1.1 v2.0.1（拍板后继） |
+| --- | --- | --- |
+| events / ingest / snapshot | ✓ | 增量 hook |
+| axioms | D2/D3/rejected/S2 | **+ D4-a** · rejected 精确化 |
+| compliance-bench | S1–S4 | **+ S5** |
+| pre-commit | 无 | **optional 示例** |
+| agent 包 | 无 | Track C 立项 |
+
+**不阻塞 G1 PR merge**：Q1/Q2/Q3 交付归 **G1.1** · 已在 G1 关账后序列表 P1。
+
+---
+
+## 6. 关联索引
+
+| 类型 | 路径 |
+| --- | --- |
+| Post-G1 序列表 | [`POST_G1_SEQUENCE_v1_zh.md`](../../../../docs/harness/guides/POST_G1_SEQUENCE_v1_zh.md) |
+| 本体公理 | [`DESIGN_ONTOLOGY_v1_zh.md`](../product/DESIGN_ONTOLOGY_v1_zh.md) §5 |
+| HGM design 公理表 | [`HARNESS_GRAPH_MODEL_design_v0_zh.md`](./HARNESS_GRAPH_MODEL_design_v0_zh.md) §2 |
+| compliance-bench | [`examples/compliance_bench/README.md`](../../../examples/compliance_bench/README.md) |
+| G1 task | [`task_cyning_harness_g1_hgm_v2_v1.md`](../../../../docs/harness/tasks/active/task_cyning_harness_g1_hgm_v2_v1.md) |
+
+---
+
+## 7. 修订记录
+
+| 版本 | 日期 | 说明 |
+| --- | --- | --- |
+| v1.0 | 2026-06-17 | 维护者 Q1–Q4 拍板 · bench/HGM 消歧 · agent 案例库 |

package/docs/methodology/graph/HGM_UPGRADE_OUTLINE_v1_zh.md

@@ -9,7 +9,9 @@
 | **设计真值（已有）** | [`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) |
 
 > **一句话**：HGM = 过程轨 **Task / Gate / Hat / Review** 的显式图 + append-only 事件；**不替代** Markdown 真值 · **不替代** Inform 架构图谱。
 
@@ -206,12 +208,16 @@ SEM-02 维持：**主轨 v1.x · HGM 从 v2.0 主版本起** · 不写「v0.5 =
 
 ## 10. 开放问题（下一轮讨论议程）
 
-1. **G1 axioms 最小集**：仅 D2+D3+rejected→draft，还是含 D4-a（Inform 模块闸）？
-2. **ingest 与 git**：是否 v2.0 提供 optional pre-commit ingest？
-3. **工作区多子仓**：Projects 根是否需 `harness graph ingest --workspace`（推迟 G2/G3？）
-4. **I-YAML schema 归谁**：产品仓 canonical vs 业务仓试点先行 · **倾向** 试点冻结 → 产品抽象 → 写回 governance methodology
-5. **bench S5**：rejected→draft 夹具是否并入 compliance-bench 与 HGM axioms **同一口径**？
-6. **agent 立项触发**：G1 dogfood 绿 + 维护者书面批 Track C 子 task
+> **2026-06-17 维护者拍板** · 全文见 [`DECISIONS_hgm_g1_maintainer_v1_zh.md`](./DECISIONS_hgm_g1_maintainer_v1_zh.md) · 后继序列表 [`POST_G1_SEQUENCE_v1_zh.md`](../../../../docs/harness/guides/POST_G1_SEQUENCE_v1_zh.md)
+
+| # | 议题 | 决策 |
+| --- | --- | --- |
+| 1 | G1 axioms 最小集 | **含 D4-a Inform 模块闸** → **G1.1** |
+| 2 | ingest 与 git | **optional pre-commit ingest** → **G1.1** |
+| 3 | 工作区多子仓 ingest | **推迟 G2/G3** |
+| 4 | I-YAML schema 归谁 | **Y1 已闭合** · 产品 canonical |
+| 5 | bench S5 与 HGM axioms | **语义对齐 · 实现分层** · S5 夹具 **G1.1** |
+| 6 | agent 立项触发 | G1 + **G1.1** dogfood 绿 + 书面批 · 包形态见 DECISIONS §4 |
 
 ---
 
@@ -221,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) |
 
@@ -233,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 帽 | |