@cyning/harness 0.3.2 → 1.0.0

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 |

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/execution/TEMPLATE_HG_RELEASE_v1_zh.md

@@ -0,0 +1,57 @@
+# HumanGate · HG-RELEASE（首版 public push 人闸）
+
+> **用途**：维护者 **CLOSE 棒** 执行 GitHub public · npm publish · Release 前逐项勾选。  
+> **非 Agent 代签** · 须 OTP / 维护者账号操作。
+
+---
+
+## 元信息
+
+| 字段 | 值 |
+| --- | --- |
+| **gate_id** | `HG-RELEASE` |
+| **blocks** | public visibility · npm publish · GitHub Release |
+| **关联** | STRATEGY §5.2 · [`PUSH_AUDIT_a3_v1.md`](../../PUSH_AUDIT_a3_v1.md) |
+
+---
+
+## 前置（须全绿）
+
+- [ ] `npm test` **14/14** 绿（产品仓根）
+- [ ] [`PUSH_AUDIT_a3_v1.md`](../../PUSH_AUDIT_a3_v1.md) §5.1 **八项全 pass**
+- [ ] 空目录 `npx @cyning/harness@<version> init --yes` 成功（**非**产品仓根）
+- [ ] `npm pack --dry-run` 无 `_sandbox` / `.env` / 密钥泄露
+- [ ] `HG-AUDIT-R1` + A3 30 invoke 已落盘
+
+---
+
+## 发布序列（建议顺序）
+
+1. [ ] 本地 `package.json` version 与计划 tag 一致（如 `0.4.0`）
+2. [ ] `git tag v0.4.0` · `git push origin v0.4.0`
+3. [ ] GitHub → Settings → Change visibility → **Public**
+4. [ ] Description / Topics：`harness-engineering` · `sdd` · `agent` · `cursor`
+5. [ ] `gh release create v0.4.0` · 附 Release notes（CHANGELOG 摘录）
+6. [ ] `npm publish --access public`（OTP）
+7. [ ] README Quick Start 链 immutability Release URL
+8. [ ] （可选）对外短文 · **链 repo** · 非工作区 harness 理论全文
+
+---
+
+## 回滚备忘
+
+| 场景 | 动作 |
+| --- | --- |
+| npm 误发错误版本 | `npm deprecate @cyning/harness@x.y.z` · 勿 unpublish 已消费版本 |
+| 泄露发现 post-push | 立即 private · rotate 密钥 · `git filter-repo` 若必要 |
+
+---
+
+## 签收
+
+| 项 | 值 |
+| --- | --- |
+| **维护者** | _______________ |
+| **日期** | _______________ |
+| **tag** | _______________ |
+| **npm** | `@cyning/harness@_______________` |