@cyning/harness 0.3.2 → 1.0.0

package/CHANGELOG.md

@@ -4,6 +4,47 @@
 
 ## [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
+
+- **MIT [`LICENSE`](LICENSE)** · 根目录开源许可
+- **[`ontology.yaml`](ontology.yaml)** · 产品设计本体机器可读草案（对齐 DESIGN_ONTOLOGY v1.2）
+- **[`docs/PUSH_AUDIT_a3_v1.md`](docs/PUSH_AUDIT_a3_v1.md)** · STRATEGY §5.1 push 前审计表
+- **[`docs/ETCLOVG_MAPPING_v1_zh.md`](docs/ETCLOVG_MAPPING_v1_zh.md)** · 行业坐标摘要
+- **D7 [`TEMPLATE_HG_RELEASE_v1_zh.md`](docs/methodology/execution/TEMPLATE_HG_RELEASE_v1_zh.md)** · 维护者 CLOSE 人闸 checklist
+
+### Changed
+
+- **`golden/`** · POINTER 化 · 移除内部 invoke 路径枚举
+- **`examples/oss-fork/README.md`** · 脱敏工作区硬链
+- **README** · 顶部 Quick Start 三行 · MIT public 叙事 · v0.4.0 状态
+
+### Notes
+
+- **GitHub public / npm publish** · 留维护者 **HG-RELEASE** CLOSE（OTP）
+- demo 阶段 E（22 CLOSE 终轮）· 仍可选 · 不阻塞 A3 产品树
+
 ## [0.3.2] - 2026-06-15
 
 ### Added

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Cyning
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -1,6 +1,11 @@
 # cyning-harness
 
-可 clone、可嵌入业务仓库的 **Harness 纪律包**（无业务代码，无内置 LLM）。
+```bash
+npx @cyning/harness@latest init --preset harness-only --ide cursor,agents
+npx @cyning/harness upgrade && npx @cyning/harness check
+```
+
+可 clone、可嵌入业务仓库的 **Harness 纪律包**（无业务代码，无内置 LLM）· **MIT 开源**。
 
 > **设计哲学**：用 **本体论** 定义「Track / Hat / Gate / Artifact」与 **ICVO 四支柱**（Inform · Constrain · Verify · Orchestrate），把 AI Coding 的上下文、规则与验收变成 **可同步、可审计、不覆盖用户 task** 的仓库真值。  
 > **公众连载** 使用 **ICV 三支柱**（SDD 层）；**Orchestrate** 是对卷三过程编排的 **产品化命名**，见 [`docs/methodology/product/README.md`](docs/methodology/product/README.md) · [`docs/methodology/AUDIT_doc_consistency_2026-06-15_zh.md`](docs/methodology/AUDIT_doc_consistency_2026-06-15_zh.md)。  
@@ -30,14 +35,7 @@
 
 ## Quick Start（npx · v0.3+）
 
-```bash
-# 新业务仓根（须在目标业务仓执行，勿在本产品仓根目录跑 npx）
-npx @cyning/harness@latest init --preset harness-only --ide cursor,agents
-
-# 日常升级
-npx @cyning/harness upgrade
-npx @cyning/harness check
-```
+> 顶部三行即最小接入。须在 **目标业务仓根** 执行（勿在本产品仓根跑 `npx`，会报 `harness: command not found`）。
 
 **维护者 · 在本仓库根验证 CLI**（npm 不会为「当前包」链接 `bin`，`npx` 会报 `harness: command not found`）：
 
@@ -76,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 等 |
@@ -115,9 +163,9 @@ cyning-harness/
 
 | 项 | 值 |
 |----|-----|
-| 当前 | **v0.2.1** — P0 金样 · 方法论归集 · 本体 v1.2 |
-| 下一档 | **v0.3** — npx CLI · manifest · S5 git-clean |
-| 许可 | 私有；战略见 [`methodology/pointers/STRATEGY_ONTOLOGY_v1_zh.md`](docs/methodology/pointers/STRATEGY_ONTOLOGY_v1_zh.md) |
+| 当前 | **v0.4.0** — A3 public push 准备 · ontology.yaml · MIT · 脱敏金样 |
+| 上一档 | v0.3.x — npx CLI · Starter 四帽 · manifest · S5 |
+| 许可 | **MIT** · [`LICENSE`](LICENSE) · 战略 POINTER 见 [`methodology/pointers/STRATEGY_ONTOLOGY_v1_zh.md`](docs/methodology/pointers/STRATEGY_ONTOLOGY_v1_zh.md) |
 
 ---
 
@@ -127,7 +175,7 @@ cyning-harness/
 | --- | --- |
 | **总指引** | [`methodology/README.md`](docs/methodology/README.md) · [关系图](docs/methodology/DOCUMENT_MAP_v1_zh.md) · [路线 ROADMAP](docs/methodology/ROADMAP_v1_zh.md) |
 | **本体** | [DESIGN_ONTOLOGY v1.2](docs/methodology/product/DESIGN_ONTOLOGY_v1_zh.md) |
-| **落地** | [P0 差距](docs/methodology/execution/P0_V0.2_GAP.md) · [金样验收](examples/demo_checkout/ACCEPTANCE.md) |
+| **落地** | [P0 差距](docs/methodology/execution/P0_V0.2_GAP.md) · [金样验收](examples/demo_checkout/ACCEPTANCE.md) · [ETCLOVG 映射](docs/ETCLOVG_MAPPING_v1_zh.md) |
 | **远期** | [HGM 草案](docs/methodology/graph/HARNESS_GRAPH_MODEL_design_v0_zh.md) |
 | **接入** | [ONBOARDING](docs/ONBOARDING.md) · [ARCHITECTURE](docs/ARCHITECTURE.md) |
 

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/ETCLOVG_MAPPING_v1_zh.md

@@ -0,0 +1,65 @@
+# ETCLOVG 映射 · cyning-harness（v1 摘要）
+
+| 项 | 内容 |
+| --- | --- |
+| **状态** | `draft` · A3 首版 public |
+| **版本** | v1.0 |
+| **日期** | 2026-06-15 |
+| **详评** | 工作区 [`ASSESSMENT_cyning_harness_etclovg_industry_v1_zh.md`](https://github.com/Cyning12/cyning-ai-coding-governance)（私有治理仓 POINTER · 公开叙事见 [`ai-coding-closed-loop-articles`](https://github.com/Cyning12/ai-coding-closed-loop-articles)） |
+
+> **定位（对外）**：cyning-harness 是嵌入业务仓的 **SDD 过程纪律包**（Inform / Constrain / Verify 的仓库化落地），**非** Agent Runtime · **非** MCP 宿主全栈。
+
+---
+
+## 1. ETCLOVG 覆盖快照
+
+| 维度 | 覆盖 | cyning-harness 落点 |
+| --- | --- | --- |
+| **E** Execution | 低（外置） | 用户 IDE / Agent 基座 · 本产品不含 LLM 调用 |
+| **T** Tooling | 中 | `wizard/` · `gate-check.sh` · npx CLI |
+| **C** Context | 高 | `graph/` · `coding_wiki/` · `standards/` |
+| **L** Lifecycle | 高 | SDD 帽链 · `HumanGate` · task 状态机 |
+| **O** Observability | 低–中 | invoke · reviews 文档追溯 · 无运行时遥测 |
+| **V** Verification | 中–高 | CI 样例 · `test_strategy` · gate-check |
+| **G** Governance | 高 | 规范轨 · 22 审查 · S2 不覆盖业务 task |
+
+**综合（行业对照）**：约 **3.6 / 5** · 与 ETCLOVG 全栈 Harness **互补而非竞争**。
+
+---
+
+## 2. ICVO 四支柱（产品叙事）
+
+| 支柱 | 产品映射 |
+| --- | --- |
+| **Inform** | GraphTrack + WikiTrack → `_tech_graph` · `coding_wiki` |
+| **Constrain** | StandardsTrack + IDETrack → `standards/` · `.cursor/rules` |
+| **Verify** | VerifyTrack → `ci/` · `gate-check` · `test_strategy` |
+| **Orchestrate** | ProcessTrack · Epic/00 帽（Extended · 工作区 POINTER） |
+
+公众稿使用 **ICV 三支柱**；Orchestrate 为产品化命名 · 见 [`methodology/product/README.md`](./methodology/product/README.md)。
+
+---
+
+## 3. 与 MCP / 国标
+
+| 参照 | 关系 |
+| --- | --- |
+| **MCP** | 不替代；v1.0 后可预留只读 ctx（C1 · 后置） |
+| **信通院 / AIIA** | SDD + 人工闸 + 可追溯制品 · 对齐「构建与开发 / 可靠性」方向 |
+| **LangChain 等** | 纪律层 vs 编排 SDK · 见 DESIGN_ONTOLOGY §7.5 |
+
+---
+
+## 4. v1.0 增量（Q4 stable · 非 A3 阻塞）
+
+- B2 量化段落写入 README
+- `harness ontology-check` CLI
+- ETCLOVG 映射页扩展为完整对照表
+
+---
+
+## 修订记录
+
+| 日期 | 说明 |
+| --- | --- |
+| 2026-06-15 | A3 首版摘要 · 详评 POINTER 治理仓 |

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/PUSH_AUDIT_a3_v1.md

@@ -0,0 +1,52 @@
+# Push 前审计 · A3 v0.4.0（§5.1）
+
+| 项 | 值 |
+| --- | --- |
+| **日期** | 2026-06-15 |
+| **执行** | 30 A3 Agent |
+| **分支** | `task/cyning-harness-a3-push` |
+| **基准** | STRATEGY_ONTOLOGY §5.1 · ROADMAP §2.1 A3 |
+
+---
+
+## §5.1 清单
+
+| # | 检查项 | 结果 | 动作 / 证据 |
+| --- | --- | --- | --- |
+| 1 | **密钥 / 令牌** | ✅ pass | `rg -i 'API_KEY\|password\|git@\|token\|secret'` 无真实泄露 · 仅文档占位 |
+| 2 | **内部路径** | ✅ pass | 无 `/Users/cyning/` · `kimi-code-meta` 绝对路径 · `golden/` 已 POINTER 化 |
+| 3 | **私有 POINTER** | ✅ pass | `golden/` 仅摘要 + 公开 PR 链 · 无 invoke 全文 |
+| 4 | **试点脱敏** | ✅ pass | `examples/oss-fork/` 无凭据 · 工作区路径改通用表述 |
+| 5 | **工作区耦合** | ✅ pass | README 无私有 workspace 硬链 · STRATEGY 为 POINTER |
+| 6 | **License** | ✅ pass | 根目录 [`LICENSE`](../LICENSE) MIT |
+| 7 | **npm 包名** | ✅ pass | `package.json` → `@cyning/harness` |
+| 8 | **安装自测** | ✅ pass | 空目录 `node bin/harness.js init --yes` · manifest 写入（见 30 invoke） |
+
+---
+
+## 复检命令（维护者 CLOSE 前复跑）
+
+```bash
+cd cyning-harness
+npm test
+rg -n '/Users/cyning|kimi-code-meta|cyning-ink-workspace|Desktop/Projects' . \
+  --glob '!node_modules' --glob '!_sandbox' --glob '!.git'
+npm pack --dry-run | head -30
+```
+
+---
+
+## 不进 public 树（§5.3 确认）
+
+- 工作区 `docs/harness/prompts` 全量帽
+- invoke/review 正文 bulk
+- `examples/demo_checkout/_sandbox/`（`.gitignore` + npm files 排除）
+- 维护者个人 fork 元数据
+
+---
+
+## 修订记录
+
+| 日期 | 说明 |
+| --- | --- |
+| 2026-06-15 | A3 30 首版审计表 |

package/docs/RELEASE_v0.4.0.md

@@ -0,0 +1,89 @@
+# Release v0.4.0 · 首版 public push 准备（A3）
+
+> **包名**：`@cyning/harness@0.4.0`  
+> **许可**：MIT  
+> **日期**：2026-06-15  
+> **代号**：A3 · PublicBeta 产品树（纪律包 · 无业务代码 · 无 LLM Runtime）
+
+---
+
+## 概要
+
+本版本为 **首版开源 public push 的产品树**：完成 push 前审计与脱敏、MIT 许可、对外金样 POINTER 化，并补齐本体机器可读草案与发布人闸模板。
+
+**定位**：嵌入任意业务仓的 **SDD 过程纪律包**（Inform / Constrain / Verify 仓库化落地），与 Agent Runtime / MCP 宿主 **互补而非竞争**。详见 [`docs/ETCLOVG_MAPPING_v1_zh.md`](./ETCLOVG_MAPPING_v1_zh.md)。
+
+---
+
+## Quick Start
+
+在 **目标业务仓根**（非本产品仓根）：
+
+```bash
+npx @cyning/harness@0.4.0 init --preset harness-only --ide cursor,agents
+npx @cyning/harness upgrade
+npx @cyning/harness check
+```
+
+---
+
+## 新增
+
+| 项 | 说明 |
+| --- | --- |
+| **MIT LICENSE** | 根目录 [`LICENSE`](../LICENSE) |
+| **`ontology.yaml`** | 产品设计本体机器可读草案 · 对齐 DESIGN_ONTOLOGY v1.2 |
+| **Push 审计表** | [`docs/PUSH_AUDIT_a3_v1.md`](./PUSH_AUDIT_a3_v1.md) · STRATEGY §5.1 八项 |
+| **ETCLOVG 映射** | [`docs/ETCLOVG_MAPPING_v1_zh.md`](./ETCLOVG_MAPPING_v1_zh.md) |
+| **HG-RELEASE 模板** | [`docs/methodology/execution/TEMPLATE_HG_RELEASE_v1_zh.md`](./methodology/execution/TEMPLATE_HG_RELEASE_v1_zh.md) |
+
+---
+
+## 变更
+
+- **README**：顶部 Quick Start 三行 · MIT public 叙事 · v0.4.0 状态
+- **`golden/`**：POINTER 化 · 保留公开 PR 证据 · 移除内部 invoke 路径枚举
+- **`examples/oss-fork/`** · **`standards/`** · **`harness/prompts/README`**：脱敏私有工作区硬链
+
+---
+
+## 继承自 v0.3.x（仍可用）
+
+- **npx CLI**：`init` · `upgrade` · `check` · `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` — **14/14** pass
+- 空目录 init — `manifest.version: 0.4.0`
+- `npm pack --dry-run` — 含 LICENSE / ontology · 无 `_sandbox`
+- §5.1 路径/密钥 grep — 无泄露
+
+复跑见 [`PUSH_AUDIT_a3_v1.md`](./PUSH_AUDIT_a3_v1.md) §复检命令。
+
+---
+
+## 已知限制
+
+- **demo 阶段 E**（22 CLOSE 终轮）仍可选 defer
+- **Extended 帽**（00/50/链式 PROMPT）不在 Starter 默认闭包 · 见 `harness/prompts/README`
+- **v1.0 stable**（A4）：ICVO audit CLI · B2 量化进 README — 见 ROADMAP
+
+---
+
+## 完整变更日志
+
+[`CHANGELOG.md`](../CHANGELOG.md#040---2026-06-15)
+
+---
+
+## 链接
+
+- 文档索引：[`docs/README.md`](./README.md)
+- 接入：[`docs/ONBOARDING.md`](./ONBOARDING.md)
+- 路线：[`docs/methodology/ROADMAP_v1_zh.md`](./methodology/ROADMAP_v1_zh.md)

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)