@cyning/harness 0.4.0 → 1.0.0

package/CHANGELOG.md

@@ -4,6 +4,26 @@
 
 ## [Unreleased]
 
+## [1.0.0] - 2026-06-16
+
+### Added
+
+- **ICVO 机械审计 CLI**：`harness audit [--target PATH] [--task FILE]` · D3/D5/S5 子集
+- **InvokeSnapshot 索引**：`schema/invoke_index.v1.schema.json` · `wizard/harness-sync.sh --index`
+- **Inform 图谱闸**：`wizard/gate-check.sh --graph [--json]` · 读 `HG-GRAPH-MODULES` + `docs/_tech_graph/`
+- **B2 试点证据**：README「试点证据（B2）」节 · 链 [`PILOT_EVIDENCE_B2_v1_zh.md`](docs/methodology/execution/PILOT_EVIDENCE_B2_v1_zh.md)
+- **SDD-Compliance micro-bench**：`examples/compliance_bench/` · `wizard/compliance-bench.sh` · S1–S4 4/4
+
+### Changed
+
+- **README** · **ONBOARDING** · 文档：v1.0 stable 叙事 · ICVO 审计 · B2 证据
+- **`ontology.yaml`**：`product_semver: "1.0.0"`
+
+### Notes
+
+- **HG-RELEASE**（tag v1.0.0 · npm publish · GitHub Release）仍留维护者人闸
+- **Track G HGM**：v1.0 关账后评估，v2.0+ 另开 Epic
+
 ## [0.4.0] - 2026-06-15
 
 ### Added

package/README.md

@@ -74,6 +74,56 @@ install / adopt  →  harness-sync plan/apply  →  @ task + prompts（10→22
 
 ---
 
+## ICVO 机械审计（v1.0+）
+
+`harness audit` 在 30 执行前机械检查 ICVO 公理子集：
+
+```bash
+npx @cyning/harness audit --target /path/to/your-repo --task docs/tasks/active/task_xxx.md
+npx @cyning/harness upgrade --gate-check       # upgrade 前自动 audit
+```
+
+- **D3**：`gate-check.sh` 真值唯一来源，HG-AUDIT-R1 / HG-GRAPH-MODULES pending 时拒 30  
+- **D5**：`test_strategy=required` 任务须声明测试路径或 CI 引用  
+- **S5**：dirty 工作区 warn，apply 须 `--force` 明示  
+
+Inform 图谱闸：`wizard/gate-check.sh --graph --target /path/to/your-repo`  
+Invoke 索引：`wizard/harness-sync.sh --index --target /path/to/your-repo`（不覆盖 S2 域）
+
+详见 [`docs/ONBOARDING.md`](docs/ONBOARDING.md) §2.2。
+
+---
+
+## 试点证据（B2）
+
+> **冻结状态**：2026-06-16 · 策略 A（3 字段未系统采集，标 N/A，不编造）  
+> **完整证据链**：[`docs/methodology/execution/PILOT_EVIDENCE_B2_v1_zh.md`](docs/methodology/execution/PILOT_EVIDENCE_B2_v1_zh.md)
+
+**真实试点 retro（kimi-code-meta preset · 2026-06-10 → 2026-06-15）**
+
+| 指标 | 值 | 说明 |
+| --- | --- | --- |
+| `sample_n` | **6** | harness-only dogfood、文档修复、agent-core 改码等 |
+| `upstream_pr_d6_clean` | **3/3 = 100%** | D6 双分支过程轨零泄漏（#622 / #630 / #708） |
+| `ci_first_green_rate` | **3/3 = 100%** | 改码 task 首次 CI 绿（样本极小，禁止外推胜率） |
+| `gate_block_count` | **3+** | 30 前 gate-check 拦截样例已记录 |
+| `failure_report_count` | **1** | #94 越闸事件 → 修复 GATE_VERIFY 协议 |
+| `audit_reject_rate` | **N/A** | 策略 A：样本期未系统采集 22 R1 内容阻塞 |
+| `audit_rounds_mean` | **N/A** | 策略 A：同 `audit_reject_rate` |
+| `wizard_adoption_days` | **N/A** | 策略 A：install 日期未落盘，无法准确计算 |
+
+**SDD-Compliance micro-bench（可机械复现 · 不测 LLM 解题）**
+
+| 项 | 值 |
+| --- | --- |
+| 覆盖 | S1–S4（D2 HumanGate · D3 gate-check · S2 sync 域） |
+| 结果 | **4/4 = 100%** |
+| 运行 | `./wizard/compliance-bench.sh --all` |
+
+**免责声明**：本表为 **小样本机制证据**，非胜率承诺；Part A 与 Terminal-Bench / SWE-bench **互补、不对标**。
+
+---
+
 ## 与通用 Agent 框架的差异（摘要）
 
 | 维度 | cyning-harness | LangChain / Semantic Kernel 等 |

package/docs/ARCHITECTURE.md

@@ -67,5 +67,5 @@ CLI/Worker 与模板 **同一仓库** 演进，避免多仓割裂。
 
 Track / Hat / Sync / SDD 公理与扩展规则见 [`methodology/product/DESIGN_ONTOLOGY_v1_zh.md`](./methodology/product/DESIGN_ONTOLOGY_v1_zh.md)（**v1.2**）。  
 **方法论总指引**：[`methodology/README.md`](./methodology/README.md) · 关系图 [`methodology/DOCUMENT_MAP_v1_zh.md`](./methodology/DOCUMENT_MAP_v1_zh.md)  
-远期 **过程实例图 + 事件历史** 见 [`methodology/graph/HARNESS_GRAPH_MODEL_design_v0_zh.md`](./methodology/graph/HARNESS_GRAPH_MODEL_design_v0_zh.md)（HGM · v0.5+ 提案）。  
+远期 **过程实例图 + 事件历史** 见 [`methodology/graph/HARNESS_GRAPH_MODEL_design_v0_zh.md`](./methodology/graph/HARNESS_GRAPH_MODEL_design_v0_zh.md)（HGM · **v2.0+** 提案 · v1.0 后）。  
 与 **战略本体**（工作区 `docs/harness/guides/STRATEGY_ONTOLOGY_*`）分层：本文件描述 **产品如何实现**，战略文档描述 **对外演进**。

package/docs/BENCHMARK_REPORT_TEMPLATE.md

@@ -0,0 +1,135 @@
+# cyning-harness 项目开发收益基准报告（模板）
+
+> **用途**：产品稳定后，用真实数据替换占位符，快速生成有说服力的验证报告。  
+> **状态**：`draft` · 待实验填充  
+> **关联**：Epic #8 B2+bench · ROADMAP v1.0 README 量化段落 · `profiles/benchmark-profile.json`（待建）
+
+| 项目 | 内容 |
+| --- | --- |
+| **报告版本** | v1.0 |
+| **日期** | YYYY-MM-DD |
+| **测试执行者** | [你的姓名 / 社区团队] |
+| **产品版本** | cyning-harness vX.Y.Z |
+| **实验类型** | 对照项目（with vs without harness） |
+
+---
+
+## 1. 实验目标
+
+验证 cyning-harness 纪律包在真实项目开发中是否能够：
+
+- 提升任务交付效率
+- 提高代码质量与合规性
+- 增强过程可追溯性
+- 减少协作摩擦
+
+---
+
+## 2. 实验设计
+
+### 2.1 演示项目
+
+| 项 | 内容 |
+| --- | --- |
+| **项目名称** | [例如：todo-api-cli] |
+| **项目规模** | 预估 5–10 个任务（功能点/修复） |
+| **技术栈** | [例如：Node.js + TypeScript + PostgreSQL] |
+| **开发方式** | 单人/模拟团队（AI 助手 + 人工审查） |
+
+### 2.2 对照分组
+
+| 组别 | 配置 | 说明 |
+| --- | --- | --- |
+| **对照组** | 无 Harness | 裸 AI 助手（如 Kimi Code / Copilot）+ 手动流程 |
+| **实验组** | 有 Harness | 使用 cyning-harness，preset = [fullstack-node-py / harness-only]，并按项目需求定制 AdoptedProfile |
+
+### 2.3 测量指标
+
+| 类别 | 指标 | 测量方式 |
+| --- | --- | --- |
+| **效率** | 平均任务完成耗时 | 从任务创建到 PR merge 的时间 |
+| **质量** | 代码审查一次性通过率 | 审查中无需修改直接合并的比例 |
+| **合规性** | 关键闸门遵守率 | 任务是否按要求执行 test_strategy、graph-modules 等 |
+| **可追溯性** | 审计覆盖率 | 任务关联 AuditReview / InvokeSnapshot 的比例 |
+| **协作摩擦** | 沟通澄清次数 | 每个任务在聊天/评论中询问规则的平均次数 |
+
+---
+
+## 3. 实验结果（占位符）
+
+> **说明**：以下数据为示例格式，请替换为实际测量值。
+
+### 3.1 效率对比
+
+| 任务 ID | 对照组耗时 (h) | 实验组耗时 (h) | 变化 |
+| --- | --- | --- | --- |
+| T1 | 3.2 | 2.8 | -12.5% |
+| T2 | 5.0 | 4.1 | -18.0% |
+| … | … | … | … |
+| **平均** | X.X | Y.Y | ±XX% |
+
+### 3.2 质量对比
+
+| 指标 | 对照组 | 实验组 | 变化 |
+| --- | --- | --- | --- |
+| 代码审查一次性通过率 | XX% | YY% | +ZZ% |
+| 缺陷密度（Bug/千行） | X.X | Y.Y | -ZZ% |
+| 单元测试覆盖率 | XX% | YY% | +ZZ% |
+
+### 3.3 合规性与可追溯性
+
+| 指标 | 对照组 | 实验组 |
+| --- | --- | --- |
+| 关键闸门遵守率 | XX% | YY% |
+| 任务 → AuditReview 关联率 | XX% | YY% |
+| 任务 → InvokeSnapshot 关联率 | XX% | YY% |
+
+### 3.4 协作摩擦
+
+| 指标 | 对照组 | 实验组 |
+| --- | --- | --- |
+| 每任务平均澄清次数 | X.X | Y.Y |
+
+---
+
+## 4. 结论
+
+- **效率**：Harness 通过标准化流程（ProcessTrack + StarterHat）减少了不必要的等待和返工，任务耗时降低了约 XX%。
+- **质量**：强制 `test_strategy=required` 和 HumanGate 审批，使代码缺陷密度下降 XX%，审查通过率提升 XX%。
+- **合规与追溯**：所有关键闸门均有记录，任务与审计产物的关联率达到 100%，极大方便事后复盘。
+- **协作**：明确的规则和帽子链减少了沟通成本，每任务澄清次数从 X.X 降至 Y.Y。
+
+**总体**：cyning-harness 能够在不改变底层 AI 模型的前提下，显著提升项目开发的可靠性、规范性与效率。
+
+---
+
+## 5. 展望：从项目纪律到 Agent 治理
+
+当前 Harness 约束的是人类 + AI 的协作流程。未来当 AI Agent 具备更强自主性时，同一套本体（Task、Gate、AuditReview、InvokeSnapshot）可直接被 Agent 用作自检与审计接口，实现可信任的自主执行。cyning-harness 为这一演进提供了基础语义层和工程框架。
+
+---
+
+## 6. 附录
+
+| 项 | 路径 |
+| --- | --- |
+| 实验详细数据（原始日志、任务清单） | `/benchmarks/data/`（待建） |
+| 复现步骤 | `/benchmarks/REPRODUCE.md`（待建） |
+| 使用的 Harness 配置文件 | `profiles/benchmark-profile.json`（待建） |
+
+---
+
+## 模板使用建议
+
+1. 将本文件作为母版保留于 `docs/BENCHMARK_REPORT_TEMPLATE.md`。
+2. 完成实验后，复制一份命名为 `docs/BENCHMARK_REPORT_vX.X.md`，填入真实数据。
+3. 可配合图表（Mermaid 或截屏）增强可读性。
+4. v1.0 stable push 前，将结论摘要写入根 `README.md`（ROADMAP A4 · B2 量化段落）。
+
+---
+
+## 修订记录
+
+| 版本 | 日期 | 说明 |
+| --- | --- | --- |
+| v1.0 | YYYY-MM-DD | 初版草稿 · 占位符待实验填充 |

package/docs/ONBOARDING.md

@@ -40,6 +40,35 @@ cd your-project
 
 ---
 
+## 2.2 ICVO 机械审计（v1.0+）
+
+`harness audit` 在 30 执行前扫描人工闸与测试声明，确保 ICVO 公理可机械检查：
+
+```bash
+# 扫描 active task 的 HG-AUDIT-R1 / HG-GRAPH-MODULES / HG-RELEASE
+npx @cyning/harness audit --target /path/to/your-repo
+
+# 指定 task（D5 测试声明检查生效）
+npx @cyning/harness audit --target /path/to/your-repo \
+  --task docs/tasks/active/task_xxx.md
+
+# 查看 Inform 图谱审核摘要
+/path/to/cyning-harness/wizard/gate-check.sh --graph --target /path/to/your-repo
+
+# 生成 invoke 索引（只读聚合，不覆盖 S2 域）
+/path/to/cyning-harness/wizard/harness-sync.sh --index --target /path/to/your-repo
+```
+
+| 公理 | 检查项 | 行为 |
+|------|--------|------|
+| **D3** | 30 前置人闸 | 复用 `gate-check.sh`，HG-AUDIT-R1 非 approved 时 audit 非 0 |
+| **D5** | 改码任务测试声明 | `test_strategy=required` 但无测试/CI 引用时 audit 非 0 |
+| **S5** | Git 工作区干净 | dirty 时 warn（不直接 fail audit，但 apply 须 `--force`） |
+
+Audit **不替代** 维护者最终判断；Agent 首输出仍须人工复核。
+
+---
+
 ## 2.1 安装向导（wizard · 存量/离线）
 
 `wizard/` 将提供勾选问卷（规划 **v0.1**）：

package/docs/RELEASE_v1.0.0.md

@@ -0,0 +1,90 @@
+# Release v1.0.0 · A4 stable
+
+> **包名**：`@cyning/harness@1.0.0`  
+> **许可**：MIT  
+> **日期**：2026-06-16  
+> **代号**：A4 · Stable（纪律包 · 无业务代码 · 无 LLM Runtime）
+
+---
+
+## 概要
+
+本版本为 **v1.0 stable**：完成 ICVO 四支柱机械审计、InvokeSnapshot 索引、Inform 图谱闸，并将 #8 B2 试点证据写入 README。v0.4 已解决「能公开分发」；v1.0 解决「公理可机械审计 + 编排索引 + Inform 图谱闸 + 证据进 README」。
+
+**定位**：嵌入任意业务仓的 **SDD 过程纪律包**（Inform / Constrain / Verify / Orchestrate 仓库化落地），与 Agent Runtime / MCP 宿主 **互补而非竞争**。详见 [`docs/ETCLOVG_MAPPING_v1_zh.md`](./ETCLOVG_MAPPING_v1_zh.md)。
+
+---
+
+## Quick Start
+
+在 **目标业务仓根**（非本产品仓根）：
+
+```bash
+npx @cyning/harness@1.0.0 init --preset harness-only --ide cursor,agents
+npx @cyning/harness upgrade
+npx @cyning/harness check
+npx @cyning/harness audit --target . --task docs/tasks/active/task_xxx.md
+```
+
+---
+
+## 新增
+
+| 项 | 说明 |
+| --- | --- |
+| **`harness audit`** | ICVO 机械审计 CLI · D3/D5/S5 · 复用 `gate-check.sh` |
+| **`schema/invoke_index.v1.schema.json`** | InvokeSnapshot 机器索引 schema |
+| **`wizard/harness-sync.sh --index`** | 生成 `.cyning-harness/invoke_index.json`（只读聚合 · 不覆盖 S2 域） |
+| **`wizard/gate-check.sh --graph [--json]`** | Inform 图谱闸 · 读 `HG-GRAPH-MODULES` + `docs/_tech_graph/` |
+| **B2 试点证据** | README「试点证据（B2）」节 · 链 [`PILOT_EVIDENCE_B2_v1_zh.md`](./methodology/execution/PILOT_EVIDENCE_B2_v1_zh.md) |
+| **SDD-Compliance micro-bench** | `examples/compliance_bench/` · `wizard/compliance-bench.sh` · S1–S4 4/4 |
+
+---
+
+## 变更
+
+- **README** · **ONBOARDING**：v1.0 stable 叙事 · ICVO 审计 · B2 证据
+- **`ontology.yaml`**：`product_semver: "1.0.0"`
+
+---
+
+## 继承自 v0.4.0（仍可用）
+
+- **npx CLI**：`init` · `upgrade` · `check` · `audit` · `task check`
+- **Starter 四帽**：10 / 22 / 30 / 40 · `gate-check` · manifest · S5 git-clean
+- **金样**：[`examples/demo_checkout/`](../examples/demo_checkout/) · P0 10→22→30
+
+---
+
+## 验证
+
+维护者关账前已跑：
+
+- `npm test` — **23/23** pass
+- `bash -n wizard/*.sh wizard/lib/*.sh` — 语法 OK
+- `harness audit` 签前 fail / 签后 pass
+- `harness-sync.sh --index` 生成 JSON 可解析
+- `gate-check.sh --graph --json` 输出模块审核摘要
+
+---
+
+## 已知限制
+
+- **demo 阶段 E**（22 CLOSE 终轮）仍可选 defer
+- **Extended 帽**（00/50/链式 PROMPT）不在 Starter 默认闭包 · 见 `harness/prompts/README`
+- **Track G HGM**：v1.0 后 30 天内书面决策，v2.0+ 另开 Epic
+
+---
+
+## 完整变更日志
+
+[`CHANGELOG.md`](../CHANGELOG.md#100---2026-06-16)
+
+---
+
+## 链接
+
+- 文档索引：[`docs/README.md`](./README.md)
+- 接入：[`docs/ONBOARDING.md`](./ONBOARDING.md)
+- 路线：[`docs/methodology/ROADMAP_v1_zh.md`](./methodology/ROADMAP_v1_zh.md)
+- 试点证据：[`docs/methodology/execution/PILOT_EVIDENCE_B2_v1_zh.md`](./methodology/execution/PILOT_EVIDENCE_B2_v1_zh.md)

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/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 |