@cyning/harness 0.4.0 → 1.0.1

package/docs/ROADMAP_TO_AGENT_GOVERNANCE.md

@@ -0,0 +1,209 @@
+# 演进路线图：从项目纪律包到 Agent 治理平台
+
+> **用途**：远期规划草案 · 展示 Harness 从 MVP 到 Agent 治理层的演进路径。  
+> **状态**：`proposal` · **非**当前 semver 承诺 · 与 Track G（HGM）提案并列评估  
+> **真值边界**：当前产品能力以 [`methodology/ROADMAP_v1_zh.md`](./methodology/ROADMAP_v1_zh.md) 为准；本文档为愿景与架构方向
+
+| 项 | 内容 |
+| --- | --- |
+| **版本** | v1.0 |
+| **日期** | YYYY-MM-DD |
+| **状态** | proposal |
+| **依赖** | cyning-harness v0.2+ 核心（Sync、Gate、ProcessTrack） |
+| **愿景** | 为任意 Agent（Kimi Code、Claude Code、Cursor 等）提供统一的治理层：约束、审计、闸门、可观测性 |
+
+**核心思想**：Harness 定义的是一套「受治理的执行语义」，执行者可以是人，也可以是 Agent。通过轻量适配器，将治理能力无损注入 Agent 原生调用链。
+
+---
+
+## 1. 为什么需要 Agent 治理？
+
+当前 AI Agent 的痛点：
+
+- **行为不可控**：Agent 可能执行未授权的命令、访问敏感文件。
+- **过程不透明**：无法回溯 Agent 的决策路径和中间结果。
+- **合规性缺失**：企业无法满足审计要求（谁、何时、做了什么）。
+- **无标准化闸门**：无法插入人工审批、自动校验等环节。
+
+cyning-harness 已经通过 HumanGate、AuditReview、InvokeSnapshot 等实体解决了人类 + AI 协作的治理问题。下一步是将这些能力无损迁移到纯 Agent 执行场景。
+
+---
+
+## 2. 三阶段演进路径
+
+### 阶段 0：当前状态（v0.2 – v0.4）
+
+| 项 | 内容 |
+| --- | --- |
+| **形态** | 项目纪律包，需手动绑定到仓库，要求开发者遵循 SDD 帽链 |
+
+**能力**：
+
+- ProcessTrack + StarterHat（10/22/30/40）
+- HumanGate 与 AuditReview 落盘
+- Sync 机制（S1–S6）
+- 基础 ICVO 映射
+
+**限制**：
+
+- 必须有人参与闸门审批（HumanGate）
+- 未与 Agent 运行时集成
+
+---
+
+### 阶段 1：Agent 适配器层（v0.5 – v0.6）
+
+**目标**：允许现有 Agent（如 Kimi Code、Claude Code）透明地被 Harness 包裹，自动获得治理能力。
+
+**技术要点**：
+
+**通用适配器接口**
+
+定义 `HarnessMiddleware` 规范，拦截 Agent 的输入/输出。
+
+示例（伪代码）：
+
+```python
+class HarnessMiddleware:
+    def before_execution(task_id, input):
+        # 创建 Task 节点，检查 Gate 状态
+        pass
+
+    def after_execution(result):
+        # 记录 AuditReview，更新状态
+        pass
+```
+
+**零侵入集成**
+
+- 通过环境变量或启动脚本代理 Agent 的 API 调用。
+- 例如：`export KIMI_CODE_HARNESS_CONFIG=./harness.yml && kimi-code ...`
+
+**自动化 Gate 处理**
+
+- 将 HumanGate 降级为可配置的自动规则（例如：`auto_approve_if_test_pass=true`）或转发给另一个审核 Agent。
+
+**输出适配**
+
+- 将 AuditReview、InvokeSnapshot 以 Agent 可读的格式（JSON、结构化日志）输出，便于 Agent 后续使用。
+
+**交付物**：
+
+- `harness-agent-proxy` CLI 工具
+- 至少一个 Agent 的集成示例（如 Kimi Code + kimi-code-meta preset）
+- 更新本体：增加 `AgentExecutor` 作为 `ExecutionShell` 的子类
+
+---
+
+### 阶段 2：Agent 原生治理 SDK（v0.7 – v0.8）
+
+**目标**：提供官方 SDK，让 Agent 开发者可以显式调用 Harness 的治理能力。
+
+**技术要点**：
+
+**多语言 SDK（TypeScript / Python 优先）**
+
+提供 `HarnessClient`，支持：
+
+- `task.create()`
+- `gate.check()`
+- `audit.log()`
+- `artifact.upload()`
+
+**声明式策略（Policy as Code）**
+
+允许通过 YAML 定义治理规则：
+
+```yaml
+rules:
+  - name: "禁止修改生产数据库"
+    condition: "action == 'db.update' && env == 'prod'"
+    action: "block"
+```
+
+**与本体自动同步**
+
+- SDK 可直接读取 `ontology.yaml`，生成强类型客户端。
+
+**交付物**：
+
+- `@cyning-harness/sdk-python` 和 `@cyning-harness/sdk-ts`
+- 策略引擎（使用 Open Policy Agent 或自定义解释器）
+- 示例：用 Harness SDK 改写一个开源 Agent（如 AutoGPT）的核心行为
+
+---
+
+### 阶段 3：企业级 Harness Gateway（v0.9 – v1.0）
+
+**目标**：独立部署的治理网关，统一拦截组织中所有 Agent 的调用，提供集中式审计、合规、闸门管理。
+
+**架构**：
+
+```text
+Agent 1 (Kimi Code)  --\
+Agent 2 (Claude Code) ---> Harness Gateway (sidecar/proxy) --> 后端系统
+Agent 3 (Custom)     --/
+```
+
+**功能**：
+
+| 能力 | 说明 |
+| --- | --- |
+| **调用拦截** | 基于 eBPF / HTTP 代理，无侵入 |
+| **策略集中管理** | 管理员可在 Web UI 定义全局规则 |
+| **审计日志中心** | 所有 Agent 行为结构化存储，可检索、可回放 |
+| **闸门集成** | 与企业 SSO、工单系统、审批流对接（如 Jira、ServiceNow） |
+
+**交付物**：
+
+- 可部署的 Docker 镜像 + Helm Chart
+- 管理控制台（React）
+- 与主流 Agent 的预配置集成（Kimi Code、Cursor、Continue）
+
+---
+
+## 3. 与现有本体的对应关系
+
+| HGM 概念 | 阶段 1 适配器 | 阶段 2 SDK | 阶段 3 Gateway |
+| --- | --- | --- | --- |
+| Task | 自动创建 | 显式创建 | 自动创建 + 关联组织 |
+| HumanGate | 可配置自动批准 | 策略控制 | 对接企业审批系统 |
+| AuditReview | 自动生成 | SDK 记录 | 中心化存储 |
+| InvokeSnapshot | 自动捕获 | 可选 | 完整保存 |
+| ConstraintArtifact | 读取本地规则 | SDK 加载 | 策略下发 |
+
+---
+
+## 4. 对个人开发者 / 求职者的价值
+
+即使不实现全部三个阶段，规划这份路线图本身就展示了：
+
+- **前瞻性架构思维**：不局限于当前 MVP，能预见 AI 工程化的演进方向。
+- **对企业需求的理解**：知道企业最终需要的是集中、可控、可审计的 AI 治理。
+- **技术深度**：能设计代理拦截、策略引擎、多语言 SDK 等组件。
+
+在面试月之暗面等公司时，你可以说：
+
+> 「我设计的 Harness 目前是项目纪律包，但它的本体和治理模型可以无缝扩展到 Agent 治理层。这里有一份三阶段路线图，展示了如何从现有 MVP 演进到企业级 AI Gateway。」
+
+这远比只说「我做了一个约束 AI 的工具」更有冲击力。
+
+---
+
+## 5. 与产品路线图的边界
+
+| 文档 | 关系 |
+| --- | --- |
+| [`methodology/ROADMAP_v1_zh.md`](./methodology/ROADMAP_v1_zh.md) | **semver 真值** · v0.2→v1.0 主轨 |
+| Track G（HGM） | v1.0 后提案 · 事件/schema 子集 |
+| **本文档** | 愿景层 · Agent 治理全栈 · **不占用 v1.0 前人月** |
+
+启动条件建议：v1.0 stable push 完成 + 本体/ontology.yaml 冻结 + 至少一条 B2 量化证据（见 [`BENCHMARK_REPORT_TEMPLATE.md`](./BENCHMARK_REPORT_TEMPLATE.md)）。
+
+---
+
+## 6. 修订记录
+
+| 版本 | 日期 | 说明 |
+| --- | --- | --- |
+| v1.0 | YYYY-MM-DD | 初稿：三阶段演进、适配器设计、企业网关愿景 |

package/docs/USER_GUIDE_v1.0_zh.md

@@ -0,0 +1,284 @@
+# cyning-harness v1.0 · 使用手册
+
+> **读者**：要在 **自己的业务仓库** 里落地 AI 辅助研发纪律的开发者（非 cyning-harness 维护者）。  
+> **版本**：[`@cyning/harness@1.0.1`](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)
+
+---
+
+## 1. 这是什么 · 不是什么
+
+**cyning-harness** 是一套可嵌入任意 Git 仓库的 **SDD 过程纪律包**：
+
+- 提供：task 模板、审核 prompt、人工闸约定、同步脚本、CI 样例、架构图谱模板
+- **不提供**：业务代码、LLM API、Agent 编排 SDK（与 LangChain 等 **互补**）
+
+**v1.0 解决什么问题**：陌生人不仅能在空仓库 `npx init`，还能用 **`audit` / `gate-check` / `sync --index`** 机械检查「Inform / Constrain / Verify / Orchestrate（ICVO）」是否在仓库里就绪，而不是只靠口头约定。
+
+---
+
+## 2. 前置条件
+
+| 项 | 要求 |
+| --- | --- |
+| Git | 目标业务仓已是 Git 仓库（或 `git init` 后使用） |
+| Node.js | 能运行 `npx`（仅安装/升级 CLI 时需要） |
+| IDE | 推荐带 Agent 的编辑器（Cursor、Claude Code 等） |
+| 工程习惯 | 至少有 lint、test 或 build 之一（便于对齐 `ci/` 样例） |
+
+---
+
+## 3. 五分钟上手（推荐路径）
+
+在 **你的业务仓库根目录** 执行（**不要**在 clone 下来的 `cyning-harness` 产品仓根跑 `npx`，会报 `harness: command not found`）：
+
+```bash
+# 1. 首次安装（钉 preset 与 IDE 入口）
+npx @cyning/harness@1.0.1 init --preset harness-only --ide cursor,agents --yes
+
+# 2. 30 前验证（gate-check + audit D5 + S5 warn）
+npx @cyning/harness verify --target . --task docs/tasks/active/task_xxx.md
+
+# 3. 产品包升级时（拉取模板更新）
+npx @cyning/harness upgrade --yes
+```
+
+**安装后你会得到**（典型）：
+
+```text
+your-repo/
+├── .cyning-harness/
+│   ├── manifest.json      # 钉住的 harness 版本与 preset
+│   └── profile.json       # 同步轨道配置
+├── docs/
+│   ├── tasks/active/      # 你的 task 单（Agent 不覆盖）
+│   ├── tasks/done/        # 关账归档
+│   ├── harness/prompts/   # Starter 四帽 10/22/30/40
+│   ├── harness/invokes/   # 执行快照约定
+│   ├── _tech_graph/       # 架构图谱（按需填写）
+│   ├── coding_wiki/       # LLM 读序
+│   └── standards/         # 编码规范模板
+└── AGENTS.md 等 IDE 入口片段
+```
+
+---
+
+## 4. 典型 SDD 工作流（Starter 四帽）
+
+```text
+10 需求/任务分析  →  22 任务审核  →  gate-check  →  30 执行编码  →  40 自检  →  关账
+     ↑                    ↑              ↑
+  prompts/10        落盘 reviews/    HG-AUDIT-R1 = approved
+```
+
+### 4.1 新建一张 task
+
+1. 复制 [`docs/harness/templates/`](../harness/templates/) 或金样 [`task_demo_p0_golden_v1.md`](../examples/demo_checkout/task_demo_p0_golden_v1.md) 到 `docs/tasks/active/task_xxx.md`
+2. 填写：背景、范围、验收标准、`test_strategy`（`required` / `recommended` / `not_applicable`）
+3. 在 task 表填写 **人工闸**（至少 `HG-TASK-DRAFT`、`HG-AUDIT-R1`）
+
+### 4.2 在 IDE 里执行
+
+1. `@` 你的 task 文件 + `@docs/harness/prompts/10-requirements.md` → 产出需求/范围（帽说明见 [`harness/prompts/README.md`](../harness/prompts/README.md)）
+2. `@` [`22-task-audit.md`](../harness/prompts/22-task-audit.md) → 审核员落盘 `docs/harness/reviews/` · 维护者签 **`HG-AUDIT-R1 = approved`**
+3. **30 之前** 跑 gate-check（见 §5）
+4. `@` [`30-execute-code.md`](../harness/prompts/30-execute-code.md) → 改代码
+5. `@` [`40-self-check.md`](../harness/prompts/40-self-check.md) → 命令证据 · 回填 task
+6. 关账：`git mv` task → `docs/tasks/done/<domain>/`（见 [`ONBOARDING.md`](./ONBOARDING.md) §6 · [`FRAGMENT_task_domain_infer`](../harness/templates/FRAGMENT_task_domain_infer_v1_zh.md)）
+
+### 4.3 练手金样（零风险）
+
+不碰生产仓库时，在 `/tmp` 跑通一遍：
+
+```bash
+mkdir -p /tmp/harness-demo && cd /tmp/harness-demo && git init -q
+npx @cyning/harness@1.0.1 init --preset harness-only --ide cursor,agents --yes
+# 30 前验证：npx @cyning/harness verify --target . --task docs/tasks/active/task_demo_p0_golden_v1.md
+# 金样 task（二选一）：
+# · 已 clone 产品仓：cp /path/to/cyning-harness/examples/demo_checkout/task_demo_p0_golden_v1.md docs/tasks/active/
+# · 仅 npx：从 GitHub 浏览 examples/demo_checkout/ 复制 task 内容
+# 逐步验收：examples/demo_checkout/ACCEPTANCE.md（见下方链接）
+```
+
+分步勾选：[`examples/demo_checkout/README.md`](../examples/demo_checkout/README.md) · [`ACCEPTANCE.md`](../examples/demo_checkout/ACCEPTANCE.md) · 差距说明 [`P0_V0.2_GAP.md`](./methodology/execution/P0_V0.2_GAP.md)
+
+---
+
+## 5. 人工闸与 gate-check（30 前必做）
+
+**原则**：Agent 可以写 task 和 review，**人工闸只有维护者能签**。
+
+```bash
+# 30 前聚合验证（gate-check + audit D5 + S5 warn + 可选 --graph）
+npx @cyning/harness verify --target . --task docs/tasks/active/task_xxx.md
+
+# 仅人工闸
+npx @cyning/harness gate-check --target . --task docs/tasks/active/task_xxx.md
+npx @cyning/harness gate-check --graph --target .    # Inform 图谱闸
+
+# 等价底层脚本（离线 clone 产品仓路径 · 见 wizard/README）
+/path/to/cyning-harness/wizard/gate-check.sh --target .
+```
+
+脚本说明：[`wizard/README.md`](../wizard/README.md) · [`wizard/gate-check.sh`](../wizard/gate-check.sh)
+
+| 闸 ID | 含义 | 30 影响 |
+| --- | --- | --- |
+| `HG-AUDIT-R1` | 22 审核通过 | **非 approved → 拒 30** |
+| `HG-TASK-DRAFT` | task 初稿维护者签 | pending 且 blocks 含 30 → 拒 30 |
+| `HG-GRAPH-MODULES` | 架构模块表人签 | pending → 拒改码 30 |
+| `HG-RELEASE` | 发版闸（产品仓） | 一般业务仓不涉及 |
+
+**Inform 图谱闸（v1.0）**：改码类 task 前，确保 `docs/_tech_graph/` 模块表已维护者签 `HG-GRAPH-MODULES = approved`。存量大仓可按 [`ONBOARDING.md`](./ONBOARDING.md) §3 选 S0–S3 档位，**不必一次画完所有 Mermaid**。
+
+---
+
+## 6. v1.0 CLI 命令速查
+
+| 命令 | 用途 |
+| --- | --- |
+| `npx @cyning/harness init` | 首次安装模板与 manifest（可选 `--with-scripts`） |
+| `npx @cyning/harness upgrade` | 同步产品包更新（可加 `--gate-check` 先 audit） |
+| `npx @cyning/harness check` | 检查是否有新版本 |
+| `npx @cyning/harness verify` | 30 前聚合：gate-check + audit D5 + S5 warn + 可选 `--graph` |
+| `npx @cyning/harness gate-check` | 仅人工闸（`--graph` / `--json`） |
+| `npx @cyning/harness audit` | ICVO 机械审计（D3/D5/S5） |
+| `npx @cyning/harness sync index` | 生成 `.cyning-harness/invoke_index.json` |
+| [`harness-sync.sh`](../wizard/harness-sync.sh) `plan/apply` | 预览/应用模板同步 |
+
+**ICVO audit 检查什么**：
+
+| 公理 | 行为 |
+| --- | --- |
+| **D3** | 30 前人闸 · 同 gate-check |
+| **D5** | `test_strategy=required` 须有测试路径或 CI 引用 |
+| **S5** | 工作区 dirty 时 warn；`sync apply` 须 `--force` 明示 |
+
+Audit **不替代** 维护者判断；22 内容质量仍须人读 review。详见 [`ONBOARDING.md`](./ONBOARDING.md) §2.2。
+
+### 6.1 SDD-Compliance bench（维护者 · 可选）
+
+> **业务仓日常不必跑**；用于验证 `gate-check` / `sync` 公理行为，或对照 README「试点证据」中的 bench 数字。
+
+仅在 **clone 下来的 cyning-harness 产品仓根** 执行：
+
+```bash
+cd /path/to/cyning-harness
+./wizard/compliance-bench.sh --all          # 逐项解释 + 摘要（推荐人工看）
+./wizard/compliance-bench.sh --quiet --all  # stdout 仅合规率数字；说明在 stderr
+```
+
+| 输出 | 含义 |
+| --- | --- |
+| **`100`** | S1–S4 四个合成场景全 PASS · **不是** LLM 解题分数 |
+| **`< 100`** | 有场景 FAIL · 见 `--all` 输出或 stderr 摘要表 |
+
+场景与公理解读：[`examples/compliance_bench/README.md`](../examples/compliance_bench/README.md) · 脚本 [`wizard/compliance-bench.sh`](../wizard/compliance-bench.sh)
+
+---
+
+## 7. 同步边界（重要 · S2）
+
+`harness-sync` **不会覆盖** 你的业务数据：
+
+- `docs/tasks/**`
+- `docs/harness/reviews/**`
+- `docs/harness/invokes/by-task/**`（按 task 域的执行快照）
+
+纪律层（prompts 模板、wizard 脚本引用）与业务 task **分离**。升级产品包前建议：
+
+```bash
+git status          # 应干净，或知晓 S5 warn
+npx @cyning/harness upgrade --yes
+```
+
+---
+
+## 8. Preset 怎么选
+
+| preset | 适合 |
+| --- | --- |
+| **`harness-only`**（默认） | 任意栈 · 只要 SDD 过程轨 + IDE 入口 |
+| `fullstack-node-py` | Node 前端 + Python 后端全栈五轨 |
+| `oss-fork-meta` | 个人 OSS fork · 过程轨与 upstream 双分支（见 [`examples/oss-fork/README.md`](../examples/oss-fork/README.md)） |
+
+交互式问卷：`wizard/install.sh`（离线 clone 路径）。
+
+---
+
+## 9. 离线 / 无 npx 环境
+
+```bash
+git clone https://github.com/Cyning12/cyning-harness.git
+cd your-project
+/path/to/cyning-harness/wizard/install.sh --target . --preset harness-only --ide cursor,agents
+/path/to/cyning-harness/wizard/harness-sync.sh apply --target .
+```
+
+维护者在 **产品仓根** 验证 CLI：
+
+```bash
+npm run harness -- check --target /tmp/foo
+# 或 node bin/harness.js audit --target /path/to/your-repo
+```
+
+---
+
+## 10. 局限与诚实边界（v1.0）
+
+| 项 | 说明 |
+| --- | --- |
+| 不是胜率工具 | [`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 |
+| Extended 帽 | 00/50/链式 PROMPT 不在 Starter 默认包 · 见 [`harness/prompts/README.md`](../harness/prompts/README.md) |
+| HGM / 图数据库 | **Track G · v2.0+ 提案**，v1.0 未实现 |
+| Agent-shell | 研究轨 #9，非 npm 功能 |
+| rejected→draft | bench S5 场景 v1 未纳入；gate-check 对非 approved 拒 30 |
+
+---
+
+## 11. 常见问题
+
+**Q：Harness 会调用我的 LLM 吗？**  
+A：不会。LLM 在你使用的 IDE 里；Harness 只提供文件、脚本与约定。
+
+**Q：必须用完 10→22→30→40 才能提交代码吗？**  
+A：团队自定。Starter 设计是 **改码前 22 审核 + gate-check**；小修可标 `test_strategy=not_applicable` 并写理由。
+
+**Q：和 `.cursor/rules` 什么关系？**  
+A：`init --ide cursor` 会生成入口片段；Harness task + prompts 是 **任务级 SDD**，rules 是 **编辑器级约束**，可同时用。
+
+**Q：升级后 task 会被覆盖吗？**  
+A：不会（S2 域）。若 prompts 模板有更新，apply 会更新 **模板侧**，不删你的 active task。
+
+**Q：如何贡献或报 issue？**  
+A：GitHub [Cyning12/cyning-harness](https://github.com/Cyning12/cyning-harness) · MIT。
+
+---
+
+## 12. 进一步阅读
+
+| 优先级 | 文档 |
+| --- | --- |
+| **本手册** | 你正在读 · 对外入口 [`docs/README.md`](./README.md) |
+| **接入** | [`ONBOARDING.md`](./ONBOARDING.md) · [`wizard/README.md`](../wizard/README.md) · [`wizard/ONBOARDING_wizard_v1_zh.md`](../wizard/ONBOARDING_wizard_v1_zh.md) |
+| **练手** | [`demo_checkout/README.md`](../examples/demo_checkout/README.md) · [`ACCEPTANCE.md`](../examples/demo_checkout/ACCEPTANCE.md) |
+| **合规 bench** | [`examples/compliance_bench/README.md`](../examples/compliance_bench/README.md) |
+| **理论** | [`methodology/README.md`](./methodology/README.md) · [`DESIGN_ONTOLOGY_v1_zh.md`](./methodology/product/DESIGN_ONTOLOGY_v1_zh.md) |
+| **路线** | [`methodology/ROADMAP_v1_zh.md`](./methodology/ROADMAP_v1_zh.md) |
+| **试点证据** | [`PILOT_EVIDENCE_B2_v1_zh.md`](./methodology/execution/PILOT_EVIDENCE_B2_v1_zh.md) |
+| **ETCLOVG** | [`ETCLOVG_MAPPING_v1_zh.md`](./ETCLOVG_MAPPING_v1_zh.md) |
+| **架构** | [`ARCHITECTURE.md`](./ARCHITECTURE.md) |
+| **变更** | [`CHANGELOG.md`](../CHANGELOG.md) · [`RELEASE_v1.0.0.md`](./RELEASE_v1.0.0.md) |
+
+---
+
+**修订记录**
+
+| 日期 | 说明 |
+| --- | --- |
+| 2026-06-16 | v1.0 stable 首版使用手册 |
+| 2026-06-16 | 补全相对链接 · §6.1 compliance-bench · §12 阅读索引 |
+| 2026-06-16 | v1.0.1：verify / gate-check / sync index CLI · `--with-scripts` · QUICKREF |

package/docs/methodology/AUDIT_doc_consistency_2026-06-15_zh.md

@@ -18,7 +18,8 @@ L2 真值链大体自洽，但存在 semver（v0.5 HGM 晚于 v1.0 闸门）、H
 
 | 级别 | ID | 问题 | 影响读者 | 建议改法 | 涉及文件 | 状态 |
 | --- | --- | --- | --- | --- | --- | --- |
-| P0 | SEM-01 | v0.5.x 在 semver 表位于 v1.0 后，数字易误读 | 以为 HGM 是 v1.0 前产品版 | Track G 子表 + 对外脚注 | `ROADMAP_v1_zh.md` 等 | ✅ |
+| P0 | SEM-01 | v0.5.x 在 semver 表位于 v1.0 后，数字易误读 | 以为 HGM 是 v1.0 前产品版 | Track G 子表 + 对外脚注 | `ROADMAP_v1_zh.md` 等 | ✅ → **SEM-02 改 v2.x** |
+| P0 | SEM-02 | SEM-01 脚注仍不足 · v0.5/v0.6 像主轨续号 | 问「0.5 在哪」 | HGM 改 **v2.0+ / v2.1+** · ROADMAP §2.0 | 全 L2 链 | ✅ 2026-06-15 |
 | P0 | ICV-01 | 公众 ICV 三支柱 vs 产品 ICVO 四支柱 | 续篇自相矛盾 | ICVO 升级说明 + 地图 v1.0.3 脚注 | 本体 · README · 公众稿 | ✅ |
 | P0 | IMPL-01 | A0「已完成」vs P0 进行中 | 过度承诺 v0.2 | 拆 A0a/A0b | `STRATEGY_MASTER` | ✅ |
 | P0 | IMPL-02 | HGM/jsonl/npx 未标 proposal | 以为已实现 | 统一 `proposal · 未实现` | HGM · README §5.3 | ✅ |
@@ -46,7 +47,7 @@ L2 真值链大体自洽，但存在 semver（v0.5 HGM 晚于 v1.0 闸门）、H
 
 ## semver / Track G 对外统一用语建议
 
-> cyning-harness 产品主版本按 **v0.2 → v0.3（npx）→ v0.4（public push）→ v1.0（stable）** 推进。**Track G（Harness Graph Model）** 是 **v1.0 公理稳定后的可选增强**，能力标签 **G1 / v0.5+**，**不是** 早于 v1.0 的产品版，也 **不阻塞** Q3 开源。对外请写 **「Track G 提案」** 或 **「G1：事件+jsonl ingest（proposal · 未实现）」**。
+> cyning-harness **主轨**按 **v0.2 → v0.3 → v0.4 → v1.0** 推进。**Track G（HGM）** 在 **v1.0 关账后** 以 **v2.x** 推进（G1 **v2.0+** · G2 **v2.1+**），**不是**主轨 semver，也 **不阻塞** public push。对外请写 **「Track G 提案 · v2.x」** 或 **「G1：事件+jsonl ingest（proposal · 未实现）」**。~~v0.5/v0.6 指 HGM~~ **已废止（SEM-02）**。
 
 ---
 
@@ -58,7 +59,7 @@ L2 真值链大体自洽，但存在 semver（v0.5 HGM 晚于 v1.0 闸门）、H
 - [x] DESIGN_ONTOLOGY product/README 链到续篇 / ICVO 对照
 - [x] HGM design §5 / 依赖行校正
 - [x] STRATEGY_MASTER A0 · §1.1 · §4.9
-- [x] PILOT 与 P0 边界句
+- [x] ROADMAP **SEM-02**：HGM **v0.5/v0.6 → v2.x** · §2.0 命名纪律
 
 ---
 
@@ -67,3 +68,4 @@ L2 真值链大体自洽，但存在 semver（v0.5 HGM 晚于 v1.0 闸门）、H
 | 日期 | 说明 |
 | --- | --- |
 | 2026-06-15 | 初版审计 · 同日落盘修复 |
+| 2026-06-15 | SEM-02：HGM semver **v2.x** 全链回填 |

package/docs/methodology/README.md

@@ -61,7 +61,7 @@ L3  运行实例        业务仓 docs/tasks · harness · …       （S2 保
 产品设计本体 (Track · Hat · Gate · P/S/D 公理 · ICVO)
     ↓ 实现
 wizard / harness-sync / gate-check（命令式 · 类 OOP）
-    ↓ 可选 v0.5+
+    ↓ 可选 v2.0+（Track G · v1.0 后）
 Harness Graph Model（显式边 + 事件历史 + 公理查询）
 ```
 
@@ -97,7 +97,7 @@ HGM = 结构化对象 + 显式带类型的边 + 不可变事件历史 + 可推
 | --- | --- | --- |
 | O1 | `ontology.yaml` 从本体抽取 | v0.4 |
 | O2 | 本总指引与 STRATEGY_MASTER 日历双向链 | v0.3 |
-| O3 | HGM `events/*.jsonl` 原型（**proposal · 未实现**） | Track G · v0.5+ |
+| O3 | HGM `events/*.jsonl` 原型（**proposal · 未实现**） | Track G · **v2.0+** |
 | O4 | 对外博客 · ICVO 四支柱 · §7.5 展开 | Q3 push 前 |
 | O5 | 治理仓 L0 单页摘要（不重复 L2） | 可选 |
 | O6 | `DOCUMENT_MAP` 随 semver 自动校验脚本 | v1.0 |
@@ -118,12 +118,12 @@ HGM = 结构化对象 + 显式带类型的边 + 不可变事件历史 + 可推
 
 | # | 项 | 版本 |
 | --- | --- | --- |
-| K1 | 事件 schema + ingest（**proposal · 未实现**） | Track G · G1 / v0.5+ |
-| K2 | snapshot + axioms check（**proposal**） | v0.5–v0.6 |
-| K3 | timeline / patterns（**proposal**） | v0.7–v0.8 |
+| K1 | 事件 schema + ingest（**proposal · 未实现**） | Track G · G1 / **v2.0+** |
+| K2 | snapshot + axioms check（**proposal**） | **v2.0–v2.1** |
+| K3 | timeline / patterns（**proposal**） | **v2.1–v2.2** |
 | K4 | 与 Runtime/C 轨推理衔接 | v1.0+ · **未立项** |
 
-> **Track G 用语**：**G1 / v0.5+** 为能力标签，**启动闸门在 v1.0 之后**（见 [`ROADMAP_v1_zh.md`](./ROADMAP_v1_zh.md) §2.2 · §5）· 非「下一个产品 semver」。
+> **Track G 用语**：**G1 / v2.0+** 为能力标签，**启动闸门在 v1.0 之后**（见 [`ROADMAP_v1_zh.md`](./ROADMAP_v1_zh.md) §2.0 · §2.2 · §5）· **非**主轨下一档 semver（**废止 v0.5/v0.6 指 HGM**）。
 
 ### 5.4 试点与叙事轨（B/D · 摘要）
 
@@ -145,3 +145,4 @@ HGM = 结构化对象 + 显式带类型的边 + 不可变事件历史 + 可推
 | v1.1 | 2026-06-15 | §5 扩为 O/P/K/B/D 全景 · ROADMAP · 写作 Prompt |
 | v1.1.1 | 2026-06-15 | K/O 轨 proposal 标注 · Track G 脚注 · 链审计报告 |
 | v1.2 | 2026-06-15 | Track B 证据 #8/#9 · reviews/ · 可行性审核 Prompt |
+| v1.3 | 2026-06-15 | **SEM-02**：Track G **v2.x** · 对齐 ROADMAP v1.4 |