@cyning/harness 0.4.0 → 1.0.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (48) hide show
  1. package/CHANGELOG.md +42 -0
  2. package/README.md +65 -11
  3. package/bin/harness.js +1 -1
  4. package/docs/ARCHITECTURE.md +1 -1
  5. package/docs/BENCHMARK_REPORT_TEMPLATE.md +135 -0
  6. package/docs/ONBOARDING.md +32 -0
  7. package/docs/README.md +2 -2
  8. package/docs/RELEASE_v1.0.0.md +91 -0
  9. package/docs/RELEASE_v1.0.1.md +87 -0
  10. package/docs/ROADMAP_TO_AGENT_GOVERNANCE.md +209 -0
  11. package/docs/USER_GUIDE_v1.0_zh.md +284 -0
  12. package/docs/methodology/AUDIT_doc_consistency_2026-06-15_zh.md +5 -3
  13. package/docs/methodology/README.md +7 -6
  14. package/docs/methodology/ROADMAP_v1_zh.md +45 -12
  15. package/docs/methodology/execution/PILOT_EVIDENCE_B2_v1_zh.md +45 -37
  16. package/docs/methodology/graph/HARNESS_GRAPH_MODEL_design_v0_zh.md +25 -23
  17. package/docs/methodology/graph/HARNESS_GRAPH_MODEL_dialogue_archive_v1_zh.md +2 -2
  18. package/docs/methodology/graph/HGM_UPGRADE_OUTLINE_v1_zh.md +248 -0
  19. package/docs/methodology/graph/README.md +2 -2
  20. package/docs/methodology/product/DESIGN_ONTOLOGY_v1_zh.md +2 -2
  21. package/docs/methodology/prompts/PROMPT_article_theory_roundtable_v1_zh.md +3 -3
  22. package/docs/methodology/prompts/PROMPT_doc_consistency_audit_v1_zh.md +4 -4
  23. package/examples/compliance_bench/README.md +81 -0
  24. package/examples/compliance_bench/S1_r1_pending/task.md +30 -0
  25. package/examples/compliance_bench/S2_r1_no_review/task.md +31 -0
  26. package/examples/compliance_bench/S3_r1_with_review/reviews/s3_r1_with_review_audit_R1_20260616.md +18 -0
  27. package/examples/compliance_bench/S3_r1_with_review/task.md +31 -0
  28. package/examples/compliance_bench/S4_sync_domain/profile.json +16 -0
  29. package/harness/prompts/FRAGMENT_30_gate_verify_v1_zh.md +1 -1
  30. package/harness/templates/QUICKREF_v1_zh.md +47 -0
  31. package/ide/adapters/AGENTS.md.fragment.example +1 -0
  32. package/ide/adapters/CLAUDE.md.fragment.example +1 -0
  33. package/ide/adapters/cursor-harness-starter.mdc.example +1 -0
  34. package/lib/audit.js +166 -0
  35. package/lib/cli.js +245 -5
  36. package/lib/package-scripts.js +65 -0
  37. package/lib/paths.js +27 -0
  38. package/lib/verify.js +103 -0
  39. package/ontology.yaml +2 -2
  40. package/package.json +1 -1
  41. package/schema/invoke_index.v1.schema.json +53 -0
  42. package/wizard/README.md +4 -0
  43. package/wizard/compliance-bench.sh +251 -0
  44. package/wizard/gate-check.sh +139 -19
  45. package/wizard/harness-sync.sh +16 -3
  46. package/wizard/install.sh +5 -3
  47. package/wizard/lib/generate-invoke-index.js +60 -0
  48. package/wizard/upgrade.sh +7 -2
package/CHANGELOG.md CHANGED
@@ -4,6 +4,48 @@
4
4
 
5
5
  ## [Unreleased]
6
6
 
7
+ ## [1.0.1] - 2026-06-16
8
+
9
+ ### Added
10
+
11
+ - **业务仓 CLI 入口**:`npx @cyning/harness gate-check` · `verify` · `sync index`(读 `.cyning-harness/local.json`,无需 clone 产品包)
12
+ - **`verify` 聚合命令**:30 前一条命令跑 gate-check + audit D5 + S5 warn + 可选 `--graph`
13
+ - **`--help` / `--version` / `-V`**:全局与各子命令帮助
14
+ - **Node 仓可选 `--with-scripts`**:`init|upgrade --with-scripts [--pm pnpm|npm|yarn|auto]` 写入 `devDependencies` 与 `scripts`(merge 不覆盖)
15
+ - **业务仓 QUICKREF**:`harness/templates/QUICKREF_v1_zh.md`,install/upgrade 后写入 `.cyning-harness/QUICKREF.md`
16
+
17
+ ### Changed
18
+
19
+ - `lib/audit.js` 使用统一 `resolveHarnessRootForTarget`,修复无 `CYNING_HARNESS` 时的路径 bug
20
+ - `lib/cli.js` 子命令透传 `CYNING_HARNESS` 到 wizard 脚本
21
+ - `README.md` · `docs/ONBOARDING.md` · `docs/USER_GUIDE_v1.0_zh.md` · `wizard/README.md` · IDE 片段:同步 v1.0.1 CLI 与 `verify` 用法
22
+ - **`ontology.yaml`**:`product_semver: "1.0.1"`
23
+
24
+ ### Notes
25
+
26
+ - **HG-RELEASE**(tag v1.0.1 · npm publish)仍留维护者人闸
27
+ - `verify --graph` 硬挡规则与 `gate-check --graph` 一致
28
+
29
+ ## [1.0.0] - 2026-06-16
30
+
31
+ ### Added
32
+
33
+ - **ICVO 机械审计 CLI**:`harness audit [--target PATH] [--task FILE]` · D3/D5/S5 子集
34
+ - **InvokeSnapshot 索引**:`schema/invoke_index.v1.schema.json` · `wizard/harness-sync.sh --index`
35
+ - **Inform 图谱闸**:`wizard/gate-check.sh --graph [--json]` · 读 `HG-GRAPH-MODULES` + `docs/_tech_graph/`
36
+ - **B2 试点证据**:README「试点证据(B2)」节 · 链 [`PILOT_EVIDENCE_B2_v1_zh.md`](docs/methodology/execution/PILOT_EVIDENCE_B2_v1_zh.md)
37
+ - **SDD-Compliance micro-bench**:`examples/compliance_bench/` · `wizard/compliance-bench.sh` · S1–S4 4/4
38
+
39
+ ### Changed
40
+
41
+ - **README** · **ONBOARDING** · 文档:v1.0 stable 叙事 · ICVO 审计 · B2 证据
42
+ - **`ontology.yaml`**:`product_semver: "1.0.0"`
43
+
44
+ ### Notes
45
+
46
+ - **HG-RELEASE**(tag v1.0.0 · npm publish · GitHub Release)仍留维护者人闸
47
+ - **Track G HGM**:v1.0 关账后评估,v2.0+ 另开 Epic
48
+
7
49
  ## [0.4.0] - 2026-06-15
8
50
 
9
51
  ### Added
package/README.md CHANGED
@@ -2,7 +2,7 @@
2
2
 
3
3
  ```bash
4
4
  npx @cyning/harness@latest init --preset harness-only --ide cursor,agents
5
- npx @cyning/harness upgrade && npx @cyning/harness check
5
+ npx @cyning/harness verify
6
6
  ```
7
7
 
8
8
  可 clone、可嵌入业务仓库的 **Harness 纪律包**(无业务代码,无内置 LLM)· **MIT 开源**。
@@ -33,9 +33,10 @@ npx @cyning/harness upgrade && npx @cyning/harness check
33
33
 
34
34
  ---
35
35
 
36
- ## Quick Start(npx · v0.3+)
36
+ ## Quick Start(npx · v1.0)
37
37
 
38
- > 顶部三行即最小接入。须在 **目标业务仓根** 执行(勿在本产品仓根跑 `npx`,会报 `harness: command not found`)。
38
+ > 顶部三行即最小接入。须在 **目标业务仓根** 执行(勿在本产品仓根跑 `npx`,会报 `harness: command not found`)。
39
+ > **陌生人完整手册**:[`docs/USER_GUIDE_v1.0_zh.md`](docs/USER_GUIDE_v1.0_zh.md)
39
40
 
40
41
  **维护者 · 在本仓库根验证 CLI**(npm 不会为「当前包」链接 `bin`,`npx` 会报 `harness: command not found`):
41
42
 
@@ -64,13 +65,66 @@ git clone git@github.com:Cyning12/cyning-harness.git && cd cyning-harness
64
65
  ```text
65
66
  install / adopt → harness-sync plan/apply → @ task + prompts(10→22→30)
66
67
  ↑ 产品包 git pull 后 upgrade.sh
67
- 30 前:gate-check.sh · HG-AUDIT-R1 = approved
68
+ 30 前:npx @cyning/harness verify · HG-AUDIT-R1 = approved
68
69
  ```
69
70
 
70
71
  1. 阅读 [`docs/ONBOARDING.md`](docs/ONBOARDING.md)
71
- 2. [`wizard/install.sh`](wizard/install.sh) [`adopt-existing.sh`](wizard/adopt-existing.sh)
72
- 3. 产品包更新:[`wizard/upgrade.sh`](wizard/upgrade.sh) [`harness-sync.sh`](wizard/harness-sync.sh) `apply`
73
- 4. IDE `@` task + `docs/harness/prompts/`;30 前 [`gate-check.sh`](wizard/gate-check.sh)
72
+ 2. [`npx @cyning/harness init`](docs/USER_GUIDE_v1.0_zh.md) 或 [`wizard/install.sh`](wizard/install.sh) / [`adopt-existing.sh`](wizard/adopt-existing.sh)
73
+ 3. 产品包更新:`npx @cyning/harness upgrade` 或 [`wizard/upgrade.sh`](wizard/upgrade.sh) / [`harness-sync.sh`](wizard/harness-sync.sh) `apply`
74
+ 4. IDE `@` task + `docs/harness/prompts/`;30 前 `npx @cyning/harness verify` 或 `npx @cyning/harness gate-check`
75
+
76
+ ---
77
+
78
+ ## ICVO 机械审计(v1.0+)
79
+
80
+ `npx @cyning/harness verify` 在 30 执行前聚合检查 ICVO 公理子集:
81
+
82
+ ```bash
83
+ npx @cyning/harness verify --target /path/to/your-repo --task docs/tasks/active/task_xxx.md
84
+ npx @cyning/harness gate-check --target /path/to/your-repo --task docs/tasks/active/task_xxx.md
85
+ npx @cyning/harness audit --target /path/to/your-repo --task docs/tasks/active/task_xxx.md
86
+ npx @cyning/harness upgrade --gate-check # upgrade 前自动 audit
87
+ ```
88
+
89
+ - **D3**:`gate-check` 真值唯一来源,HG-AUDIT-R1 / HG-GRAPH-MODULES pending 时拒 30
90
+ - **D5**:`test_strategy=required` 任务须声明测试路径或 CI 引用
91
+ - **S5**:dirty 工作区 warn,apply 须 `--force` 明示
92
+
93
+ Inform 图谱闸:`npx @cyning/harness gate-check --graph --target /path/to/your-repo`
94
+ Invoke 索引:`npx @cyning/harness sync index --target /path/to/your-repo`(不覆盖 S2 域)
95
+
96
+ Node 仓可选:`npx @cyning/harness init --with-scripts` → `pnpm harness:verify`。
97
+ 详见 [`docs/USER_GUIDE_v1.0_zh.md`](docs/USER_GUIDE_v1.0_zh.md) · [`docs/ONBOARDING.md`](docs/ONBOARDING.md) §2.2。
98
+
99
+ ---
100
+
101
+ ## 试点证据(B2)
102
+
103
+ > **冻结状态**:2026-06-16 · 策略 A(3 字段未系统采集,标 N/A,不编造)
104
+ > **完整证据链**:[`docs/methodology/execution/PILOT_EVIDENCE_B2_v1_zh.md`](docs/methodology/execution/PILOT_EVIDENCE_B2_v1_zh.md)
105
+
106
+ **真实试点 retro(kimi-code-meta preset · 2026-06-10 → 2026-06-15)**
107
+
108
+ | 指标 | 值 | 说明 |
109
+ | --- | --- | --- |
110
+ | `sample_n` | **6** | harness-only dogfood、文档修复、agent-core 改码等 |
111
+ | `upstream_pr_d6_clean` | **3/3 = 100%** | D6 双分支过程轨零泄漏(#622 / #630 / #708) |
112
+ | `ci_first_green_rate` | **3/3 = 100%** | 改码 task 首次 CI 绿(样本极小,禁止外推胜率) |
113
+ | `gate_block_count` | **3+** | 30 前 gate-check 拦截样例已记录 |
114
+ | `failure_report_count` | **1** | #94 越闸事件 → 修复 GATE_VERIFY 协议 |
115
+ | `audit_reject_rate` | **N/A** | 策略 A:样本期未系统采集 22 R1 内容阻塞 |
116
+ | `audit_rounds_mean` | **N/A** | 策略 A:同 `audit_reject_rate` |
117
+ | `wizard_adoption_days` | **N/A** | 策略 A:install 日期未落盘,无法准确计算 |
118
+
119
+ **SDD-Compliance micro-bench(可机械复现 · 不测 LLM 解题)**
120
+
121
+ | 项 | 值 |
122
+ | --- | --- |
123
+ | 覆盖 | S1–S4(D2 HumanGate · D3 gate-check · S2 sync 域) |
124
+ | 结果 | **4/4 = 100%** |
125
+ | 运行 | [`./wizard/compliance-bench.sh --all`](../wizard/compliance-bench.sh) · 说明 [`examples/compliance_bench/README.md`](../examples/compliance_bench/README.md) |
126
+
127
+ **免责声明**:本表为 **小样本机制证据**,非胜率承诺;Part A 与 Terminal-Bench / SWE-bench **互补、不对标**。
74
128
 
75
129
  ---
76
130
 
@@ -113,9 +167,9 @@ cyning-harness/
113
167
 
114
168
  | 项 | 值 |
115
169
  |----|-----|
116
- | 当前 | **v0.4.0** — A3 public push 准备 · ontology.yaml · MIT · 脱敏金样 |
117
- | 上一档 | v0.3.xnpx CLI · Starter 四帽 · manifest · S5 |
118
- | 许可 | **MIT** · [`LICENSE`](LICENSE) · 战略 POINTER 见 [`methodology/pointers/STRATEGY_ONTOLOGY_v1_zh.md`](docs/methodology/pointers/STRATEGY_ONTOLOGY_v1_zh.md) |
170
+ | 当前 | **v1.0.0** — A4 stable · ICVO audit · invoke_index · gate-check --graph · B2 证据 |
171
+ | 上一档 | v0.4.0A3 public push · MIT · 脱敏金样 |
172
+ | 许可 | **MIT** · [`LICENSE`](LICENSE) · Release [`docs/RELEASE_v1.0.0.md`](docs/RELEASE_v1.0.0.md) |
119
173
 
120
174
  ---
121
175
 
@@ -125,7 +179,7 @@ cyning-harness/
125
179
  | --- | --- |
126
180
  | **总指引** | [`methodology/README.md`](docs/methodology/README.md) · [关系图](docs/methodology/DOCUMENT_MAP_v1_zh.md) · [路线 ROADMAP](docs/methodology/ROADMAP_v1_zh.md) |
127
181
  | **本体** | [DESIGN_ONTOLOGY v1.2](docs/methodology/product/DESIGN_ONTOLOGY_v1_zh.md) |
128
- | **落地** | [P0 差距](docs/methodology/execution/P0_V0.2_GAP.md) · [金样验收](examples/demo_checkout/ACCEPTANCE.md) · [ETCLOVG 映射](docs/ETCLOVG_MAPPING_v1_zh.md) |
182
+ | **使用** | [**USER_GUIDE v1.0**](docs/USER_GUIDE_v1.0_zh.md) · [P0 差距](docs/methodology/execution/P0_V0.2_GAP.md) · [金样验收](examples/demo_checkout/ACCEPTANCE.md) · [ETCLOVG 映射](docs/ETCLOVG_MAPPING_v1_zh.md) |
129
183
  | **远期** | [HGM 草案](docs/methodology/graph/HARNESS_GRAPH_MODEL_design_v0_zh.md) |
130
184
  | **接入** | [ONBOARDING](docs/ONBOARDING.md) · [ARCHITECTURE](docs/ARCHITECTURE.md) |
131
185
 
package/bin/harness.js CHANGED
@@ -2,6 +2,6 @@
2
2
  import { runCli } from '../lib/cli.js';
3
3
 
4
4
  runCli(process.argv.slice(2)).catch((err) => {
5
- console.error(err.message || err);
5
+ if (err.message) console.error(err.message);
6
6
  process.exit(typeof err.exitCode === 'number' ? err.exitCode : 1);
7
7
  });
@@ -67,5 +67,5 @@ CLI/Worker 与模板 **同一仓库** 演进,避免多仓割裂。
67
67
 
68
68
  Track / Hat / Sync / SDD 公理与扩展规则见 [`methodology/product/DESIGN_ONTOLOGY_v1_zh.md`](./methodology/product/DESIGN_ONTOLOGY_v1_zh.md)(**v1.2**)。
69
69
  **方法论总指引**:[`methodology/README.md`](./methodology/README.md) · 关系图 [`methodology/DOCUMENT_MAP_v1_zh.md`](./methodology/DOCUMENT_MAP_v1_zh.md)
70
- 远期 **过程实例图 + 事件历史** 见 [`methodology/graph/HARNESS_GRAPH_MODEL_design_v0_zh.md`](./methodology/graph/HARNESS_GRAPH_MODEL_design_v0_zh.md)(HGM · v0.5+ 提案)。
70
+ 远期 **过程实例图 + 事件历史** 见 [`methodology/graph/HARNESS_GRAPH_MODEL_design_v0_zh.md`](./methodology/graph/HARNESS_GRAPH_MODEL_design_v0_zh.md)(HGM · **v2.0+** 提案 · v1.0 后)。
71
71
  与 **战略本体**(工作区 `docs/harness/guides/STRATEGY_ONTOLOGY_*`)分层:本文件描述 **产品如何实现**,战略文档描述 **对外演进**。
@@ -0,0 +1,135 @@
1
+ # cyning-harness 项目开发收益基准报告(模板)
2
+
3
+ > **用途**:产品稳定后,用真实数据替换占位符,快速生成有说服力的验证报告。
4
+ > **状态**:`draft` · 待实验填充
5
+ > **关联**:Epic #8 B2+bench · ROADMAP v1.0 README 量化段落 · `profiles/benchmark-profile.json`(待建)
6
+
7
+ | 项目 | 内容 |
8
+ | --- | --- |
9
+ | **报告版本** | v1.0 |
10
+ | **日期** | YYYY-MM-DD |
11
+ | **测试执行者** | [你的姓名 / 社区团队] |
12
+ | **产品版本** | cyning-harness vX.Y.Z |
13
+ | **实验类型** | 对照项目(with vs without harness) |
14
+
15
+ ---
16
+
17
+ ## 1. 实验目标
18
+
19
+ 验证 cyning-harness 纪律包在真实项目开发中是否能够:
20
+
21
+ - 提升任务交付效率
22
+ - 提高代码质量与合规性
23
+ - 增强过程可追溯性
24
+ - 减少协作摩擦
25
+
26
+ ---
27
+
28
+ ## 2. 实验设计
29
+
30
+ ### 2.1 演示项目
31
+
32
+ | 项 | 内容 |
33
+ | --- | --- |
34
+ | **项目名称** | [例如:todo-api-cli] |
35
+ | **项目规模** | 预估 5–10 个任务(功能点/修复) |
36
+ | **技术栈** | [例如:Node.js + TypeScript + PostgreSQL] |
37
+ | **开发方式** | 单人/模拟团队(AI 助手 + 人工审查) |
38
+
39
+ ### 2.2 对照分组
40
+
41
+ | 组别 | 配置 | 说明 |
42
+ | --- | --- | --- |
43
+ | **对照组** | 无 Harness | 裸 AI 助手(如 Kimi Code / Copilot)+ 手动流程 |
44
+ | **实验组** | 有 Harness | 使用 cyning-harness,preset = [fullstack-node-py / harness-only],并按项目需求定制 AdoptedProfile |
45
+
46
+ ### 2.3 测量指标
47
+
48
+ | 类别 | 指标 | 测量方式 |
49
+ | --- | --- | --- |
50
+ | **效率** | 平均任务完成耗时 | 从任务创建到 PR merge 的时间 |
51
+ | **质量** | 代码审查一次性通过率 | 审查中无需修改直接合并的比例 |
52
+ | **合规性** | 关键闸门遵守率 | 任务是否按要求执行 test_strategy、graph-modules 等 |
53
+ | **可追溯性** | 审计覆盖率 | 任务关联 AuditReview / InvokeSnapshot 的比例 |
54
+ | **协作摩擦** | 沟通澄清次数 | 每个任务在聊天/评论中询问规则的平均次数 |
55
+
56
+ ---
57
+
58
+ ## 3. 实验结果(占位符)
59
+
60
+ > **说明**:以下数据为示例格式,请替换为实际测量值。
61
+
62
+ ### 3.1 效率对比
63
+
64
+ | 任务 ID | 对照组耗时 (h) | 实验组耗时 (h) | 变化 |
65
+ | --- | --- | --- | --- |
66
+ | T1 | 3.2 | 2.8 | -12.5% |
67
+ | T2 | 5.0 | 4.1 | -18.0% |
68
+ | … | … | … | … |
69
+ | **平均** | X.X | Y.Y | ±XX% |
70
+
71
+ ### 3.2 质量对比
72
+
73
+ | 指标 | 对照组 | 实验组 | 变化 |
74
+ | --- | --- | --- | --- |
75
+ | 代码审查一次性通过率 | XX% | YY% | +ZZ% |
76
+ | 缺陷密度(Bug/千行) | X.X | Y.Y | -ZZ% |
77
+ | 单元测试覆盖率 | XX% | YY% | +ZZ% |
78
+
79
+ ### 3.3 合规性与可追溯性
80
+
81
+ | 指标 | 对照组 | 实验组 |
82
+ | --- | --- | --- |
83
+ | 关键闸门遵守率 | XX% | YY% |
84
+ | 任务 → AuditReview 关联率 | XX% | YY% |
85
+ | 任务 → InvokeSnapshot 关联率 | XX% | YY% |
86
+
87
+ ### 3.4 协作摩擦
88
+
89
+ | 指标 | 对照组 | 实验组 |
90
+ | --- | --- | --- |
91
+ | 每任务平均澄清次数 | X.X | Y.Y |
92
+
93
+ ---
94
+
95
+ ## 4. 结论
96
+
97
+ - **效率**:Harness 通过标准化流程(ProcessTrack + StarterHat)减少了不必要的等待和返工,任务耗时降低了约 XX%。
98
+ - **质量**:强制 `test_strategy=required` 和 HumanGate 审批,使代码缺陷密度下降 XX%,审查通过率提升 XX%。
99
+ - **合规与追溯**:所有关键闸门均有记录,任务与审计产物的关联率达到 100%,极大方便事后复盘。
100
+ - **协作**:明确的规则和帽子链减少了沟通成本,每任务澄清次数从 X.X 降至 Y.Y。
101
+
102
+ **总体**:cyning-harness 能够在不改变底层 AI 模型的前提下,显著提升项目开发的可靠性、规范性与效率。
103
+
104
+ ---
105
+
106
+ ## 5. 展望:从项目纪律到 Agent 治理
107
+
108
+ 当前 Harness 约束的是人类 + AI 的协作流程。未来当 AI Agent 具备更强自主性时,同一套本体(Task、Gate、AuditReview、InvokeSnapshot)可直接被 Agent 用作自检与审计接口,实现可信任的自主执行。cyning-harness 为这一演进提供了基础语义层和工程框架。
109
+
110
+ ---
111
+
112
+ ## 6. 附录
113
+
114
+ | 项 | 路径 |
115
+ | --- | --- |
116
+ | 实验详细数据(原始日志、任务清单) | `/benchmarks/data/`(待建) |
117
+ | 复现步骤 | `/benchmarks/REPRODUCE.md`(待建) |
118
+ | 使用的 Harness 配置文件 | `profiles/benchmark-profile.json`(待建) |
119
+
120
+ ---
121
+
122
+ ## 模板使用建议
123
+
124
+ 1. 将本文件作为母版保留于 `docs/BENCHMARK_REPORT_TEMPLATE.md`。
125
+ 2. 完成实验后,复制一份命名为 `docs/BENCHMARK_REPORT_vX.X.md`,填入真实数据。
126
+ 3. 可配合图表(Mermaid 或截屏)增强可读性。
127
+ 4. v1.0 stable push 前,将结论摘要写入根 `README.md`(ROADMAP A4 · B2 量化段落)。
128
+
129
+ ---
130
+
131
+ ## 修订记录
132
+
133
+ | 版本 | 日期 | 说明 |
134
+ | --- | --- | --- |
135
+ | v1.0 | YYYY-MM-DD | 初版草稿 · 占位符待实验填充 |
@@ -40,6 +40,38 @@ cd your-project
40
40
 
41
41
  ---
42
42
 
43
+ ## 2.2 ICVO 机械审计(v1.0+)
44
+
45
+ `npx @cyning/harness verify` 在 30 执行前聚合扫描人工闸与测试声明,确保 ICVO 公理可机械检查:
46
+
47
+ ```bash
48
+ # 30 前聚合验证(gate-check + audit D5 + S5 warn + 可选 --graph)
49
+ npx @cyning/harness verify --target /path/to/your-repo
50
+ npx @cyning/harness verify --target /path/to/your-repo \
51
+ --task docs/tasks/active/task_xxx.md
52
+
53
+ # 仅人工闸
54
+ npx @cyning/harness gate-check --target /path/to/your-repo
55
+ npx @cyning/harness gate-check --graph --target /path/to/your-repo
56
+
57
+ # 指定 task 的 ICVO 审计
58
+ npx @cyning/harness audit --target /path/to/your-repo \
59
+ --task docs/tasks/active/task_xxx.md
60
+
61
+ # 生成 invoke 索引(只读聚合,不覆盖 S2 域)
62
+ npx @cyning/harness sync index --target /path/to/your-repo
63
+ ```
64
+
65
+ | 公理 | 检查项 | 行为 |
66
+ |------|--------|------|
67
+ | **D3** | 30 前置人闸 | 复用 `gate-check.sh`,HG-AUDIT-R1 非 approved 时 verify 非 0 |
68
+ | **D5** | 改码任务测试声明 | `test_strategy=required` 但无测试/CI 引用时 verify 非 0 |
69
+ | **S5** | Git 工作区干净 | dirty 时 warn(不直接 fail verify,但 apply 须 `--force`) |
70
+
71
+ Audit **不替代** 维护者最终判断;Agent 首输出仍须人工复核。
72
+
73
+ ---
74
+
43
75
  ## 2.1 安装向导(wizard · 存量/离线)
44
76
 
45
77
  `wizard/` 将提供勾选问卷(规划 **v0.1**):
package/docs/README.md CHANGED
@@ -3,7 +3,7 @@
3
3
  | 项 | 内容 |
4
4
  | --- | --- |
5
5
  | **入口** | 本页 → **[方法论总指引](./methodology/README.md)** |
6
- | **接入** | [`ONBOARDING.md`](./ONBOARDING.md) · [`../wizard/README.md`](../wizard/README.md) |
6
+ | **接入** | [**USER_GUIDE v1.0**](./USER_GUIDE_v1.0_zh.md) · [`ONBOARDING.md`](./ONBOARDING.md) · [`../wizard/README.md`](../wizard/README.md) |
7
7
  | **架构** | [`ARCHITECTURE.md`](./ARCHITECTURE.md) |
8
8
 
9
9
  ---
@@ -12,7 +12,7 @@
12
12
 
13
13
  | 读者 | 先读 |
14
14
  | --- | --- |
15
- | **新接入** | ONBOARDINGwizard/install → [`methodology/execution/P0_V0.2_GAP.md`](./methodology/execution/P0_V0.2_GAP.md) |
15
+ | **新接入** | **USER_GUIDE v1.0** ONBOARDING → [`methodology/execution/P0_V0.2_GAP.md`](./methodology/execution/P0_V0.2_GAP.md) |
16
16
  | **实现 / 扩展** | [`methodology/product/DESIGN_ONTOLOGY_v1_zh.md`](./methodology/product/DESIGN_ONTOLOGY_v1_zh.md) |
17
17
  | **战略 / 开源** | [`methodology/pointers/`](./methodology/pointers/README.md) → 工作区 STRATEGY_* |
18
18
  | **HGM 远期** | [`methodology/graph/`](./methodology/graph/README.md) |
@@ -0,0 +1,91 @@
1
+ # Release v1.0.0 · A4 stable
2
+
3
+ > **包名**:`@cyning/harness@1.0.0`
4
+ > **许可**:MIT
5
+ > **日期**:2026-06-16
6
+ > **代号**:A4 · Stable(纪律包 · 无业务代码 · 无 LLM Runtime)
7
+
8
+ ---
9
+
10
+ ## 概要
11
+
12
+ 本版本为 **v1.0 stable**:完成 ICVO 四支柱机械审计、InvokeSnapshot 索引、Inform 图谱闸,并将 #8 B2 试点证据写入 README。v0.4 已解决「能公开分发」;v1.0 解决「公理可机械审计 + 编排索引 + Inform 图谱闸 + 证据进 README」。
13
+
14
+ **定位**:嵌入任意业务仓的 **SDD 过程纪律包**(Inform / Constrain / Verify / Orchestrate 仓库化落地),与 Agent Runtime / MCP 宿主 **互补而非竞争**。详见 [`docs/ETCLOVG_MAPPING_v1_zh.md`](./ETCLOVG_MAPPING_v1_zh.md)。
15
+
16
+ ---
17
+
18
+ ## Quick Start
19
+
20
+ 在 **目标业务仓根**(非本产品仓根):
21
+
22
+ ```bash
23
+ npx @cyning/harness@1.0.0 init --preset harness-only --ide cursor,agents
24
+ npx @cyning/harness upgrade
25
+ npx @cyning/harness check
26
+ npx @cyning/harness audit --target . --task docs/tasks/active/task_xxx.md
27
+ ```
28
+
29
+ ---
30
+
31
+ ## 新增
32
+
33
+ | 项 | 说明 |
34
+ | --- | --- |
35
+ | **`harness audit`** | ICVO 机械审计 CLI · D3/D5/S5 · 复用 `gate-check.sh` |
36
+ | **`schema/invoke_index.v1.schema.json`** | InvokeSnapshot 机器索引 schema |
37
+ | **`wizard/harness-sync.sh --index`** | 生成 `.cyning-harness/invoke_index.json`(只读聚合 · 不覆盖 S2 域) |
38
+ | **`wizard/gate-check.sh --graph [--json]`** | Inform 图谱闸 · 读 `HG-GRAPH-MODULES` + `docs/_tech_graph/` |
39
+ | **B2 试点证据** | README「试点证据(B2)」节 · 链 [`PILOT_EVIDENCE_B2_v1_zh.md`](./methodology/execution/PILOT_EVIDENCE_B2_v1_zh.md) |
40
+ | **SDD-Compliance micro-bench** | `examples/compliance_bench/` · `wizard/compliance-bench.sh` · S1–S4 4/4 |
41
+
42
+ ---
43
+
44
+ ## 变更
45
+
46
+ - **README** · **ONBOARDING**:v1.0 stable 叙事 · ICVO 审计 · B2 证据
47
+ - **`ontology.yaml`**:`product_semver: "1.0.0"`
48
+
49
+ ---
50
+
51
+ ## 继承自 v0.4.0(仍可用)
52
+
53
+ - **npx CLI**:`init` · `upgrade` · `check` · `audit` · `task check`
54
+ - **Starter 四帽**:10 / 22 / 30 / 40 · `gate-check` · manifest · S5 git-clean
55
+ - **金样**:[`examples/demo_checkout/`](../examples/demo_checkout/) · P0 10→22→30
56
+
57
+ ---
58
+
59
+ ## 验证
60
+
61
+ 维护者关账前已跑:
62
+
63
+ - `npm test` — **23/23** pass
64
+ - `bash -n wizard/*.sh wizard/lib/*.sh` — 语法 OK
65
+ - `harness audit` 签前 fail / 签后 pass
66
+ - `harness-sync.sh --index` 生成 JSON 可解析
67
+ - `gate-check.sh --graph --json` 输出模块审核摘要
68
+
69
+ ---
70
+
71
+ ## 已知限制
72
+
73
+ - **demo 阶段 E**(22 CLOSE 终轮)仍可选 defer
74
+ - **Extended 帽**(00/50/链式 PROMPT)不在 Starter 默认闭包 · 见 `harness/prompts/README`
75
+ - **Track G HGM**:v1.0 后 30 天内书面决策,v2.0+ 另开 Epic
76
+
77
+ ---
78
+
79
+ ## 完整变更日志
80
+
81
+ [`CHANGELOG.md`](../CHANGELOG.md#100---2026-06-16)
82
+
83
+ ---
84
+
85
+ ## 链接
86
+
87
+ - **使用手册**:[`docs/USER_GUIDE_v1.0_zh.md`](./USER_GUIDE_v1.0_zh.md)
88
+ - 文档索引:[`docs/README.md`](./README.md)
89
+ - 接入:[`docs/ONBOARDING.md`](./ONBOARDING.md)
90
+ - 路线:[`docs/methodology/ROADMAP_v1_zh.md`](./methodology/ROADMAP_v1_zh.md)
91
+ - 试点证据:[`docs/methodology/execution/PILOT_EVIDENCE_B2_v1_zh.md`](./methodology/execution/PILOT_EVIDENCE_B2_v1_zh.md)
@@ -0,0 +1,87 @@
1
+ # Release v1.0.1 · A5 CLI verify(A+C+D)
2
+
3
+ > **包名**:`@cyning/harness@1.0.1`
4
+ > **许可**:MIT
5
+ > **日期**:2026-06-16
6
+ > **代号**:A5 · CLI verify patch(v1.0.0 → v1.0.1)
7
+
8
+ ---
9
+
10
+ ## 概要
11
+
12
+ v1.0.0 已能 `npx init/upgrade/audit`,但业务仓若无 clone 路径或 `CYNING_HARNESS` 环境变量,Agent/维护者须手拼路径。v1.0.1 让 **任意业务仓直接跑** `npx @cyning/harness verify` / `gate-check` / `sync index`,通过 `.cyning-harness/local.json` 自动定位产品包根;并新增 Node 仓可选 `--with-scripts` 把 harness 命令写入 `package.json`。
13
+
14
+ ---
15
+
16
+ ## Quick Start
17
+
18
+ 在 **目标业务仓根**:
19
+
20
+ ```bash
21
+ # 首次接入
22
+ npx @cyning/harness@1.0.1 init --preset harness-only --ide cursor,agents --yes
23
+
24
+ # 30 前验证 npx @cyning/harness verify --target . --task docs/tasks/active/task_xxx.md
25
+
26
+ # 升级
27
+ npx @cyning/harness@1.0.1 upgrade --target . --yes
28
+ ```
29
+
30
+ Node 仓可选 scripts 路径:
31
+
32
+ ```bash
33
+ npx @cyning/harness@1.0.1 upgrade --target . --yes --with-scripts --pm pnpm
34
+ pnpm install
35
+ pnpm harness:verify --task docs/tasks/active/task_xxx.md
36
+ ```
37
+
38
+ ---
39
+
40
+ ## 新增命令
41
+
42
+ | 命令 | 用途 |
43
+ | --- | --- |
44
+ | `npx @cyning/harness gate-check` | 业务仓人工闸(透传 `wizard/gate-check.sh`) |
45
+ | `npx @cyning/harness verify` | 30 前聚合:gate-check + audit D5 + S5 warn + 可选 `--graph` |
46
+ | `npx @cyning/harness sync index` | 生成 `.cyning-harness/invoke_index.json` |
47
+ | `npx @cyning/harness --version` / `-V` | 显示当前包版本 |
48
+
49
+ ## 新增 flag
50
+
51
+ | flag | 命令 | 说明 |
52
+ | --- | --- | --- |
53
+ | `--with-scripts` | `init` · `upgrade` | 写入 `devDependencies['@cyning/harness']` 与三 scripts |
54
+ | `--pm pnpm\|npm\|yarn\|auto` | `init` · `upgrade` | 仅用于提示与文档;scripts 值统一调用 `node_modules/.bin/harness` |
55
+
56
+ ---
57
+
58
+ ## 主要变更文件
59
+
60
+ - `lib/paths.js`:`resolveHarnessRootForTarget`
61
+ - `lib/audit.js`:使用统一根解析
62
+ - `lib/verify.js`:新增
63
+ - `lib/package-scripts.js`:新增
64
+ - `lib/cli.js`:子命令路由 + help/version
65
+ - `wizard/install.sh` · `wizard/upgrade.sh`:写 `QUICKREF.md`
66
+ - `harness/templates/QUICKREF_v1_zh.md`:新增
67
+ - `docs/USER_GUIDE_v1.0_zh.md` · `README.md` · `docs/ONBOARDING.md` · `wizard/README.md`
68
+ - IDE 片段:AGENTS / CLAUDE / Cursor
69
+
70
+ ---
71
+
72
+ ## 非范围
73
+
74
+ - `.cyning-harness/bin` stub 全套(方案 B)→ backlog
75
+ - 改 compliance-bench S1–S4 语义
76
+ - init 时自动 `pnpm install`
77
+ - 自动写 shell alias(~/.zshrc)
78
+
79
+ ---
80
+
81
+ ## HG-RELEASE
82
+
83
+ - [ ] git tag `v1.0.1`
84
+ - [ ] npm publish `@cyning/harness@1.0.1`
85
+ - [ ] 可选 GitHub Release v1.0.1
86
+
87
+ 由维护者执行。