@cyning/harness 0.3.2 → 1.0.0
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.
- package/CHANGELOG.md +41 -0
- package/LICENSE +21 -0
- package/README.md +61 -13
- package/docs/ARCHITECTURE.md +1 -1
- package/docs/BENCHMARK_REPORT_TEMPLATE.md +135 -0
- package/docs/ETCLOVG_MAPPING_v1_zh.md +65 -0
- package/docs/ONBOARDING.md +29 -0
- package/docs/PUSH_AUDIT_a3_v1.md +52 -0
- package/docs/RELEASE_v0.4.0.md +89 -0
- package/docs/RELEASE_v1.0.0.md +90 -0
- package/docs/ROADMAP_TO_AGENT_GOVERNANCE.md +209 -0
- package/docs/methodology/AUDIT_doc_consistency_2026-06-15_zh.md +5 -3
- package/docs/methodology/README.md +7 -6
- package/docs/methodology/ROADMAP_v1_zh.md +23 -11
- package/docs/methodology/execution/PILOT_EVIDENCE_B2_v1_zh.md +45 -37
- package/docs/methodology/execution/TEMPLATE_HG_RELEASE_v1_zh.md +57 -0
- package/docs/methodology/graph/HARNESS_GRAPH_MODEL_design_v0_zh.md +24 -23
- package/docs/methodology/graph/HARNESS_GRAPH_MODEL_dialogue_archive_v1_zh.md +2 -2
- package/docs/methodology/graph/README.md +2 -2
- package/docs/methodology/product/DESIGN_ONTOLOGY_v1_zh.md +2 -2
- package/docs/methodology/prompts/PROMPT_article_theory_roundtable_v1_zh.md +3 -3
- package/docs/methodology/prompts/PROMPT_doc_consistency_audit_v1_zh.md +4 -4
- package/examples/compliance_bench/README.md +28 -0
- package/examples/compliance_bench/S1_r1_pending/task.md +30 -0
- package/examples/compliance_bench/S2_r1_no_review/task.md +31 -0
- package/examples/compliance_bench/S3_r1_with_review/reviews/s3_r1_with_review_audit_R1_20260616.md +18 -0
- package/examples/compliance_bench/S3_r1_with_review/task.md +31 -0
- package/examples/compliance_bench/S4_sync_domain/profile.json +16 -0
- package/examples/demo_checkout/ACCEPTANCE.md +16 -3
- package/examples/oss-fork/README.md +3 -4
- package/golden/POINTER_gold_epic_serial.md +11 -50
- package/golden/README.md +6 -6
- package/harness/prompts/README.md +4 -4
- package/lib/audit.js +168 -0
- package/lib/cli.js +50 -0
- package/ontology.yaml +93 -0
- package/package.json +3 -1
- package/schema/invoke_index.v1.schema.json +53 -0
- package/standards/POINTER_workspace_truth_v1_zh.md +11 -26
- package/wizard/compliance-bench.sh +156 -0
- package/wizard/gate-check.sh +139 -19
- package/wizard/harness-sync.sh +16 -3
- package/wizard/lib/generate-invoke-index.js +60 -0
|
@@ -3,7 +3,7 @@
|
|
|
3
3
|
|
|
4
4
|
| 项 | 内容 |
|
|
5
5
|
| -------- | -------------------------------------------------------------------------------------------------------------------------------- |
|
|
6
|
-
| **状态** | `proposal` · 远期架构(**
|
|
6
|
+
| **状态** | `proposal` · 远期架构(**v2.0+**) |
|
|
7
7
|
| **版本** | v0.1 |
|
|
8
8
|
| **日期** | 2026-06-15 |
|
|
9
9
|
| **范围** | 过程轨 **实例** 的显式图 + 事件历史 + 公理可查询 |
|
|
@@ -33,7 +33,7 @@ HGM 是 **本体论在工程中的可落地形态之一**:不引入 OWL 推理
|
|
|
33
33
|
```text
|
|
34
34
|
语义层 DESIGN_ONTOLOGY v1.2 + ontology.yaml(类 · 关系 · 公理)
|
|
35
35
|
文件层 docs/tasks · reviews · invokes · gate-check.log(当前真值 · S2 保护)
|
|
36
|
-
图+事件层 HGM(可选增强 ·
|
|
36
|
+
图+事件层 HGM(可选增强 · v2.0+)— 从文件层 **推导** · 不反向覆盖文件层
|
|
37
37
|
```
|
|
38
38
|
|
|
39
39
|
### 0.3 易混概念
|
|
@@ -55,7 +55,7 @@ HGM 是 **本体论在工程中的可落地形态之一**:不引入 OWL 推理
|
|
|
55
55
|
| H2 | **文件优先** | S2 保护域只追加事件,**不**用图 DB 覆盖 task/reviews |
|
|
56
56
|
| H3 | **事件不可变** | 修正 = 新事件 · 禁止删改历史 |
|
|
57
57
|
| H4 | **公理同源** | 图约束与 `DESIGN_ONTOLOGY` §5 公理 ID 一一对应 |
|
|
58
|
-
| H5 | **渐进存储** |
|
|
58
|
+
| H5 | **渐进存储** | v2.0 JSONL → v2.1 SQLite 投影 → v2.2+ 可选外部图库 |
|
|
59
59
|
|
|
60
60
|
|
|
61
61
|
---
|
|
@@ -75,7 +75,7 @@ HGM 是 **本体论在工程中的可落地形态之一**:不引入 OWL 推理
|
|
|
75
75
|
| `InvokeSnapshot` | InvokeSnapshot | `invoke:{path}` | `docs/harness/invokes/*` |
|
|
76
76
|
| `FailureReport` | FailureReport | `failure:{path}` | reviews 或 task 附录 · v0.3+ |
|
|
77
77
|
| `GateCheckRun` | GateCheckRun | `gcr:{iso8601}:{task_slug}` | `.cyning-harness/gate-check.log` |
|
|
78
|
-
| `SyncOperation` | SyncOperation | `sync:{iso8601}:plan|apply` | wizard 日志 ·
|
|
78
|
+
| `SyncOperation` | SyncOperation | `sync:{iso8601}:plan|apply` | wizard 日志 · v2.0+ |
|
|
79
79
|
| `InformArtifact` | InformArtifact | `inform:{repo_rel_path}` | `_tech_graph/*` 等 |
|
|
80
80
|
|
|
81
81
|
|
|
@@ -101,7 +101,7 @@ HGM 是 **本体论在工程中的可落地形态之一**:不引入 OWL 推理
|
|
|
101
101
|
|
|
102
102
|
### 1.3 事件类型(Event · append-only)
|
|
103
103
|
|
|
104
|
-
存储默认:`.cyning-harness/events/YYYY-MM.jsonl`(
|
|
104
|
+
存储默认:`.cyning-harness/events/YYYY-MM.jsonl`(v2.0 提案)
|
|
105
105
|
|
|
106
106
|
```json
|
|
107
107
|
{
|
|
@@ -139,7 +139,7 @@ HGM 是 **本体论在工程中的可落地形态之一**:不引入 OWL 推理
|
|
|
139
139
|
## 2. 公理 → 可执行检查(HGM 视角)
|
|
140
140
|
|
|
141
141
|
|
|
142
|
-
| 公理 | 图/事件表述 | 现有机械检查 | HGM
|
|
142
|
+
| 公理 | 图/事件表述 | 现有机械检查 | HGM v2.0 |
|
|
143
143
|
| --------------- | ---------------------------------------------------------------- | ------------------ | -------------------- |
|
|
144
144
|
| **D2** | pending 的 `HG-AUDIT-R1` --BLOCKS--> 30 帽 | gate-check exit 2 | 查询 + 事件告警 |
|
|
145
145
|
| **D3** | 30 首动作须关联 `GateCheckRun` | 30 prompt 模板 | 缺 `CHECKED` 边 → 违规 |
|
|
@@ -148,7 +148,7 @@ HGM 是 **本体论在工程中的可落地形态之一**:不引入 OWL 推理
|
|
|
148
148
|
| **rejected→10** | `GateStatusChanged(rejected)` → 下一事件须 `TaskStatusChanged(draft)` | v0.3 gate-check 警告 | 时序约束 |
|
|
149
149
|
|
|
150
150
|
|
|
151
|
-
示例查询(**Cypher 风格伪码** · 非
|
|
151
|
+
示例查询(**Cypher 风格伪码** · 非 v2.0 承诺语法):
|
|
152
152
|
|
|
153
153
|
```cypher
|
|
154
154
|
// 违反 D2:R1 pending 但存在 30 执行事件
|
|
@@ -174,19 +174,19 @@ RETURN t, e
|
|
|
174
174
|
| task 表改 status / gate | task md | `TaskStatusChanged` / `GateStatusChanged` |
|
|
175
175
|
|
|
176
176
|
|
|
177
|
-
**
|
|
177
|
+
**v2.0 最小实现**:`harness graph ingest --from-repo .` 扫描目录 + 解析 gate-check.log **回填**事件(幂等)。
|
|
178
178
|
|
|
179
179
|
### 3.2 CLI 路线图
|
|
180
180
|
|
|
181
181
|
|
|
182
182
|
| 命令 | 版本 | 说明 |
|
|
183
183
|
| -------------------------------------- | ---- | ---------------------------------- |
|
|
184
|
-
| `harness graph ingest` |
|
|
185
|
-
| `harness graph snapshot` |
|
|
186
|
-
| `harness graph query` |
|
|
187
|
-
| `harness graph timeline --task <slug>` |
|
|
188
|
-
| `harness graph axioms check` |
|
|
189
|
-
| `harness graph patterns` |
|
|
184
|
+
| `harness graph ingest` | v2.0 | 文件 → 事件 JSONL |
|
|
185
|
+
| `harness graph snapshot` | v2.0 | 事件 → snapshot.json |
|
|
186
|
+
| `harness graph query` | v2.1 | 简单过滤器(非完整 Cypher) |
|
|
187
|
+
| `harness graph timeline --task <slug>` | v2.1 | 单 Task 事件轴 |
|
|
188
|
+
| `harness graph axioms check` | v2.1 | 跑 D2/D3/S2 图规则 |
|
|
189
|
+
| `harness graph patterns` | v2.2 | 频繁路径统计(blocked / failed) |
|
|
190
190
|
| `gate-check --graph` | v1.0 | **Inform** 模块图 · 与 HGM **并列** · Q3 |
|
|
191
191
|
|
|
192
192
|
|
|
@@ -197,12 +197,12 @@ RETURN t, e
|
|
|
197
197
|
|
|
198
198
|
| 阶段 | 存储 | 适用 |
|
|
199
199
|
| -------- | -------------------------------------------------------- | -------------- |
|
|
200
|
-
| **
|
|
201
|
-
| **
|
|
202
|
-
| **
|
|
200
|
+
| **v2.0** | `.cyning-harness/events/*.jsonl` + `graph/snapshot.json` | 一人 · 单仓 |
|
|
201
|
+
| **v2.1** | + SQLite(nodes/edges/events 表) | 本地查询加速 |
|
|
202
|
+
| **v2.2** | 可选 Neo4j / 外部导出 | 多仓聚合 · **非默认** |
|
|
203
203
|
|
|
204
204
|
|
|
205
|
-
**不采用**「事件与图库强分离到 PostgreSQL+Neo4j」作为
|
|
205
|
+
**不采用**「事件与图库强分离到 PostgreSQL+Neo4j」作为 v2.0 默认——与「纪律包轻嵌入」冲突。
|
|
206
206
|
|
|
207
207
|
---
|
|
208
208
|
|
|
@@ -213,8 +213,8 @@ v0.2 P0 金样路径(ACCEPTANCE 进行中)
|
|
|
213
213
|
v0.3 manifest · npx · FailureReport · gate-check rejected(多数未实现)
|
|
214
214
|
v0.4 ontology.yaml · D7 HG-RELEASE · public push
|
|
215
215
|
v1.0 ICVO 审计 · invoke_index · gate-check --graph(Inform)
|
|
216
|
-
|
|
217
|
-
|
|
216
|
+
v2.0+ Track G / G1:HGM ingest + snapshot + 基础 axioms check(proposal · 本文件 · v1.0 后启动)
|
|
217
|
+
v2.1–v2.2 timeline · patterns · 可选外置图库(proposal)
|
|
218
218
|
```
|
|
219
219
|
|
|
220
220
|
**后置**:GrowingReasoningAgent / 自动 Recommendation 节点 — **未在本仓立项** · 依赖 HGM 事件量积累后再评。
|
|
@@ -226,8 +226,8 @@ v0.6–v0.8 timeline · patterns · 可选外置图库(proposal)
|
|
|
226
226
|
|
|
227
227
|
| # | 问题 | 暂定 |
|
|
228
228
|
| --- | --------------------------- | ----------------------------- |
|
|
229
|
-
| Q1 | ingest 由 git hook 还是手动 CLI? |
|
|
230
|
-
| Q2 | 是否「时光机」重建任意时点图? |
|
|
229
|
+
| Q1 | ingest 由 git hook 还是手动 CLI? | v2.0 **手动** + gate-check 钩子可选 |
|
|
230
|
+
| Q2 | 是否「时光机」重建任意时点图? | v2.2+ · 事件重放 |
|
|
231
231
|
| Q3 | HGM 与 Supabase/远端同步? | **否** · v1.0 后单独评 |
|
|
232
232
|
| Q4 | 用户能否删事件? | **否** · 仅追加 `CorrectionEvent` |
|
|
233
233
|
| Q5 | Epic 升格后图模型变更? | Epic 变 `Epic` 标签节点 · 随 Q1 本体 |
|
|
@@ -252,7 +252,8 @@ v0.6–v0.8 timeline · patterns · 可选外置图库(proposal)
|
|
|
252
252
|
|
|
253
253
|
| 版本 | 日期 | 说明 |
|
|
254
254
|
| ---- | ---------- | ------------------------------------ |
|
|
255
|
-
| v0.1 | 2026-06-15 | 初稿 · 对齐本体 v1.2 · 校正对话稿偏差 ·
|
|
255
|
+
| v0.1 | 2026-06-15 | 初稿 · 对齐本体 v1.2 · 校正对话稿偏差 · v2.0 轻量存储 |
|
|
256
|
+
| v0.2 | 2026-06-15 | **SEM-02**:HGM 产品阶段号 v0.5/v0.6 → **v2.x** |
|
|
256
257
|
| v0.1.1 | 2026-06-15 | §5 路线图与 ROADMAP 对齐 · gate-check --graph → v1.0 · proposal 标注 |
|
|
257
258
|
|
|
258
259
|
|
|
@@ -109,7 +109,7 @@ Harness Graph Model (HGM)
|
|
|
109
109
|
| 存储 | SQLite → Neo4j 渐进 |
|
|
110
110
|
| CLI | `graph query` · `timeline` · `analyze` · `predict` |
|
|
111
111
|
| 采集 | install · task · gate-check · 22/30 产出 |
|
|
112
|
-
| 路线 |
|
|
112
|
+
| 路线 | v2.0+ 分阶段(**v1.0 关账后**) |
|
|
113
113
|
|
|
114
114
|
**已知偏差(相对本地 v1.2)**:
|
|
115
115
|
|
|
@@ -118,7 +118,7 @@ Harness Graph Model (HGM)
|
|
|
118
118
|
| PRODUCT_ONTOLOGY v1.1 | **DESIGN_ONTOLOGY v1.2** |
|
|
119
119
|
| FailureReport 已模板化 | **v0.3 backlog** |
|
|
120
120
|
| ontology.yaml 已有 | **v0.4+ 抽取** |
|
|
121
|
-
| Neo4j
|
|
121
|
+
| Neo4j v2.2 默认 | **真值稿优先 JSONL + 可选 SQLite 投影** |
|
|
122
122
|
| GrowingReasoningAgent 衔接 | **未立项 · C 轨后置** |
|
|
123
123
|
|
|
124
124
|
**完整工程化草案** → [`HARNESS_GRAPH_MODEL_design_v0_zh.md`](./HARNESS_GRAPH_MODEL_design_v0_zh.md)(同目录真值稿)。
|
|
@@ -1,10 +1,10 @@
|
|
|
1
1
|
# graph · Harness Graph Model (HGM)
|
|
2
2
|
|
|
3
|
-
> **Track G · G1 /
|
|
3
|
+
> **Track G · G1 / v2.0+**:HGM 为 **v1.0 公理稳定后的可选增强**(proposal · 未实现)· 详见 [`../ROADMAP_v1_zh.md`](../ROADMAP_v1_zh.md) §2.0 · §2.2。
|
|
4
4
|
|
|
5
5
|
| 文档 | 状态 | 说明 |
|
|
6
6
|
| --- | --- | --- |
|
|
7
|
-
| **[`HARNESS_GRAPH_MODEL_design_v0_zh.md`](./HARNESS_GRAPH_MODEL_design_v0_zh.md)** | proposal ·
|
|
7
|
+
| **[`HARNESS_GRAPH_MODEL_design_v0_zh.md`](./HARNESS_GRAPH_MODEL_design_v0_zh.md)** | proposal · **v2.0+** | **真值稿** · 节点/边/事件 · CLI 路线 |
|
|
8
8
|
| [`HARNESS_GRAPH_MODEL_dialogue_archive_v1_zh.md`](./HARNESS_GRAPH_MODEL_dialogue_archive_v1_zh.md) | archive | 对话参考 · **非真值** |
|
|
9
9
|
|
|
10
10
|
```text
|
|
@@ -583,7 +583,7 @@ AGENTS.md / CLAUDE.md 内 cyning-harness marker 区段(整文件若仅含 mark
|
|
|
583
583
|
| **ontology.yaml** | 未抽取 | v0.4 · `harness ontology-check` |
|
|
584
584
|
| **FailureReport** | 未模板化 | v0.3 · 30 失败路径 |
|
|
585
585
|
| **kimi-code-meta** preset | examples v0.3 · profiles v0.4 | `examples/kimi-code-integration/` · `enhancement` |
|
|
586
|
-
| **Harness Graph Model** | 未实现 · 对话已归档 | [`../graph/HARNESS_GRAPH_MODEL_design_v0_zh.md`](../graph/HARNESS_GRAPH_MODEL_design_v0_zh.md) ·
|
|
586
|
+
| **Harness Graph Model** | 未实现 · 对话已归档 | [`../graph/HARNESS_GRAPH_MODEL_design_v0_zh.md`](../graph/HARNESS_GRAPH_MODEL_design_v0_zh.md) · **v2.0+** |
|
|
587
587
|
|
|
588
588
|
|
|
589
589
|
### 7.3 扩展规则(加新功能时)
|
|
@@ -645,7 +645,7 @@ npx CLI ≡ WizardTool 新实例
|
|
|
645
645
|
| Q2 | `invokes/by-task/<slug>/` 是否纳入本体索引? | **是** · InvokeSnapshot 聚合容器 · `invoke_index.json` 由 sync --index 生成 |
|
|
646
646
|
| Q3 | graph 模块表 `HG-GRAPH-MODULES` 是否产品化进 gate-check? | **是** · `gate-check --graph` 输出依赖模块图 + 审核状态 |
|
|
647
647
|
| Q4 | KPI(00)是否进 Starter? | **否** · 保持 Extended |
|
|
648
|
-
| Q5 | 是否支持热插拔 Track(动态启停轨而不 reinstall)? | **
|
|
648
|
+
| Q5 | 是否支持热插拔 Track(动态启停轨而不 reinstall)? | **v2.0+ 再议** · 须改 profile + 部分 sync · 复杂度高 |
|
|
649
649
|
|
|
650
650
|
|
|
651
651
|
---
|
|
@@ -39,7 +39,7 @@ Open Folder:`cyning-harness` 产品仓根(或工作区 `Projects/` 并 `@`
|
|
|
39
39
|
|
|
40
40
|
**阅读输出(阶段 A 交付)**:
|
|
41
41
|
|
|
42
|
-
- 用 ≤800 字中文写「我理解的核心结论」:五 bullet(OOP 定位 / 本体定位 / HGM 定位 / 与 LangChain 差异 /
|
|
42
|
+
- 用 ≤800 字中文写「我理解的核心结论」:五 bullet(OOP 定位 / 本体定位 / HGM 定位 / 与 LangChain 差异 / **v1.0 前不做什么 HGM**)
|
|
43
43
|
- 列出你发现的 **3 处** 文档间可能矛盾或需作者拍板之处(若无写「未发现」)
|
|
44
44
|
- **不要** 写文章正文 · **不要** 写完整大纲
|
|
45
45
|
|
|
@@ -52,7 +52,7 @@ Open Folder:`cyning-harness` 产品仓根(或工作区 `Projects/` 并 `@`
|
|
|
52
52
|
| **受众** | 掘金 / 腾讯云 / 求职作品集 / Kimi 方向? |
|
|
53
53
|
| **深度** | 概念科普 vs 架构师深度 vs 落地教程? |
|
|
54
54
|
| **边界** | 是否写 kimi-code-meta 试点细节?是否提私有工作区? |
|
|
55
|
-
| **理论** | 「OOP 升级」表述是否作为标题?HGM
|
|
55
|
+
| **理论** | 「OOP 升级」表述是否作为标题?HGM **v2.x** 写多少? |
|
|
56
56
|
| **叙事** | 系列第几篇?与 ICVO 四支柱如何挂钩? |
|
|
57
57
|
|
|
58
58
|
**禁止** 在阶段 B 用「我可以开始写了」代替问题。
|
|
@@ -86,7 +86,7 @@ Open Folder:`cyning-harness` 产品仓根(或工作区 `Projects/` 并 `@`
|
|
|
86
86
|
|
|
87
87
|
- 真值以 `docs/methodology/` 为准;对话归档仅参考
|
|
88
88
|
- GraphTrack(架构图)≠ HGM(过程实例图)— 文中须区分
|
|
89
|
-
- 不得把
|
|
89
|
+
- 不得把 **v2.x HGM** 写成「已发布能力」;对外写 **Track G / G1 提案(v2.0+ 能力标签 · v1.0 后主版本 2 · 非主轨 v0.5)**
|
|
90
90
|
- 不得把 cyning-harness 说成 Agent Runtime / LangChain 替代品
|
|
91
91
|
- ICV(公众三支柱)与 ICVO(产品四支柱)须用 [`AUDIT_doc_consistency_2026-06-15_zh.md`](../AUDIT_doc_consistency_2026-06-15_zh.md) 升级说明桥接
|
|
92
92
|
|
|
@@ -34,8 +34,8 @@
|
|
|
34
34
|
|
|
35
35
|
| 检查项 | 期望 |
|
|
36
36
|
| --- | --- |
|
|
37
|
-
| ROADMAP §2 表顺序 vs 版本号 |
|
|
38
|
-
| 对外表述建议 |
|
|
37
|
+
| ROADMAP §2 表顺序 vs 版本号 | HGM **v2.x** 在 **闸门** 上依赖 `v1.0` 完成(SEM-02 已改 · 废止 v0.5/v0.6) |
|
|
38
|
+
| 对外表述建议 | 统一为 **「Track G / G1 / v2.0+ 提案」** · 主轨 **v0.2→v1.0** |
|
|
39
39
|
| HGM design §5 路线图 | 与 ROADMAP §2、§5 闸门是否一致 |
|
|
40
40
|
|
|
41
41
|
**产出**:① 问题描述 ② 读者误解场景 ③ 推荐统一用语(2~3 句)④ 需改文件列表
|
|
@@ -102,7 +102,7 @@
|
|
|
102
102
|
|
|
103
103
|
## 禁止
|
|
104
104
|
|
|
105
|
-
- 不把
|
|
105
|
+
- 不把 **v2.x HGM** 写成已发布 · ~~v0.5~~ 已废止
|
|
106
106
|
- 不把 cyning-harness 写成 LangChain 替代品
|
|
107
107
|
- 不修改私有仓全名作对外主例
|
|
108
108
|
```
|
|
@@ -113,7 +113,7 @@
|
|
|
113
113
|
|
|
114
114
|
| 级别 | ID | 摘要 | 状态 |
|
|
115
115
|
| --- | --- | --- | --- |
|
|
116
|
-
| **P0** | SEM-01 | `v1.0` 完成后才启动 HGM
|
|
116
|
+
| **P0** | SEM-01 | `v1.0` 完成后才启动 HGM · 原 `v0.5.x` 代号 | ✅ 2026-06-15 · **SEM-02 改 v2.x** |
|
|
117
117
|
| **P0** | ICV-01 | 公众稿「不发明第四支柱」vs 产品 ICVO 四支柱 · 续篇须写清「显式化」非推翻 | ✅ 地图 v1.0.3 脚注 |
|
|
118
118
|
| **P1** | MAP-01 | DOCUMENT_MAP §4 methodology README 版本号滞后 | ✅ |
|
|
119
119
|
| **P1** | MIX-01 | gate-check --graph(Inform)与 HGM(Process)并列表述易混 | ✅ HGM §5 |
|
|
@@ -0,0 +1,28 @@
|
|
|
1
|
+
# SDD-Compliance micro-bench · v1
|
|
2
|
+
|
|
3
|
+
> **标题**:SDD-Compliance · **非** Agent Score / pass@1 类模型 benchmark。
|
|
4
|
+
> **范围**:S1–S4 · 公理 D2/D3/S2 可机械检查部分 · 不覆盖 D4/D5 与 Terminal-Bench。
|
|
5
|
+
> **状态**:v1.0 draft · 数字待 P0 绿后冻结。
|
|
6
|
+
|
|
7
|
+
---
|
|
8
|
+
|
|
9
|
+
## 运行
|
|
10
|
+
|
|
11
|
+
```bash
|
|
12
|
+
# 从产品包根
|
|
13
|
+
cd /path/to/cyning-harness
|
|
14
|
+
./wizard/compliance-bench.sh --all
|
|
15
|
+
```
|
|
16
|
+
|
|
17
|
+
## Scenario
|
|
18
|
+
|
|
19
|
+
| ID | 场景 | 公理 | 期望 |
|
|
20
|
+
| --- | --- | --- | --- |
|
|
21
|
+
| S1 | R1 pending 即 30 | D2 | gate-check exit≠0 |
|
|
22
|
+
| S2 | R1 approved · 无 review | D2/D3 | bench 判非合规(gate-check 可能 exit 0) |
|
|
23
|
+
| S3 | R1 approved + review 落盘 | D2/D3 | gate-check exit=0 · review 文件存在 |
|
|
24
|
+
| S4 | sync 域不含 task/reviews | S2 | `harness-sync.sh plan` 输出无 `docs/tasks/`、`docs/harness/reviews/` 路径 |
|
|
25
|
+
|
|
26
|
+
## 输出
|
|
27
|
+
|
|
28
|
+
脚本输出每项 PASS/FAIL 及合规率 %。
|
|
@@ -0,0 +1,30 @@
|
|
|
1
|
+
# Task fixture · S1 · R1 pending 应拒 30
|
|
2
|
+
|
|
3
|
+
> 用途:SDD-Compliance micro-bench S1 夹具 · R1 pending 时 gate-check 须 exit≠0
|
|
4
|
+
|
|
5
|
+
---
|
|
6
|
+
|
|
7
|
+
## Harness 元信息
|
|
8
|
+
|
|
9
|
+
| 字段 | 值 |
|
|
10
|
+
| --- | --- |
|
|
11
|
+
| **task_slug** | `s1_r1_pending` |
|
|
12
|
+
| **test_strategy** | `not_applicable` |
|
|
13
|
+
| **audit_profile** | `full` |
|
|
14
|
+
|
|
15
|
+
### 人工闸
|
|
16
|
+
|
|
17
|
+
| human_gate_id | status | blocks_hats | 说明 |
|
|
18
|
+
| --- | --- | --- | --- |
|
|
19
|
+
| HG-TASK-DRAFT | approved | 22, 30 | 10 完成 |
|
|
20
|
+
| HG-AUDIT-R1 | pending | 30 | 22 R1 未落盘 / 未签 |
|
|
21
|
+
|
|
22
|
+
---
|
|
23
|
+
|
|
24
|
+
## 背景与目标
|
|
25
|
+
|
|
26
|
+
验证 D2 公理:**HG-AUDIT-R1 pending 时,30 不可开工**。
|
|
27
|
+
|
|
28
|
+
## 验收标准
|
|
29
|
+
|
|
30
|
+
- `gate-check.sh --task task.md` **exit 2** · 输出「30 不可开工: HG-AUDIT-R1 非 approved」
|
|
@@ -0,0 +1,31 @@
|
|
|
1
|
+
# Task fixture · S2 · R1 approved 但无 review 文件
|
|
2
|
+
|
|
3
|
+
> 用途:SDD-Compliance micro-bench S2 夹具 · R1 approved 但 reviews/*_R1_* 不存在 · 应判不合规
|
|
4
|
+
|
|
5
|
+
---
|
|
6
|
+
|
|
7
|
+
## Harness 元信息
|
|
8
|
+
|
|
9
|
+
| 字段 | 值 |
|
|
10
|
+
| --- | --- |
|
|
11
|
+
| **task_slug** | `s2_r1_no_review` |
|
|
12
|
+
| **test_strategy** | `not_applicable` |
|
|
13
|
+
| **audit_profile** | `full` |
|
|
14
|
+
|
|
15
|
+
### 人工闸
|
|
16
|
+
|
|
17
|
+
| human_gate_id | status | blocks_hats | 说明 |
|
|
18
|
+
| --- | --- | --- | --- |
|
|
19
|
+
| HG-TASK-DRAFT | approved | 22, 30 | 10 完成 |
|
|
20
|
+
| HG-AUDIT-R1 | approved | 30 | 22 R1 已签 |
|
|
21
|
+
|
|
22
|
+
---
|
|
23
|
+
|
|
24
|
+
## 背景与目标
|
|
25
|
+
|
|
26
|
+
验证 D2/D3 公理:**R1 approved 必须伴随 `docs/harness/reviews/*_audit_R1_*.md` 落盘**;否则 gate-check 须警告或判不合规。
|
|
27
|
+
|
|
28
|
+
## 验收标准
|
|
29
|
+
|
|
30
|
+
- `gate-check.sh --task task.md` 可能 exit 0(当前 gate-check 不检查 review 文件存在性)
|
|
31
|
+
- bench 脚本额外检查 reviews 目录 · 无 `*_audit_R1_*` 文件 → **非合规**
|
package/examples/compliance_bench/S3_r1_with_review/reviews/s3_r1_with_review_audit_R1_20260616.md
ADDED
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
# 审核记录 · s3_r1_with_review · R1
|
|
2
|
+
|
|
3
|
+
| 项 | 内容 |
|
|
4
|
+
| --- | --- |
|
|
5
|
+
| **task** | `s3_r1_with_review` |
|
|
6
|
+
| **round** | R1 |
|
|
7
|
+
| **日期** | 2026-06-16 |
|
|
8
|
+
| **结论** | 通过 · 无内容阻塞 |
|
|
9
|
+
|
|
10
|
+
## 审查摘要
|
|
11
|
+
|
|
12
|
+
- 验收标准与范围一致
|
|
13
|
+
- 失败路径已覆盖
|
|
14
|
+
- 人工闸 HG-AUDIT-R1 建议 approved
|
|
15
|
+
|
|
16
|
+
## 签收
|
|
17
|
+
|
|
18
|
+
维护者签 HG-AUDIT-R1 → approved。
|
|
@@ -0,0 +1,31 @@
|
|
|
1
|
+
# Task fixture · S3 · R1 approved + review 落盘
|
|
2
|
+
|
|
3
|
+
> 用途:SDD-Compliance micro-bench S3 夹具 · R1 approved 且 reviews/*_R1_* 存在 · gate-check exit=0
|
|
4
|
+
|
|
5
|
+
---
|
|
6
|
+
|
|
7
|
+
## Harness 元信息
|
|
8
|
+
|
|
9
|
+
| 字段 | 值 |
|
|
10
|
+
| --- | --- |
|
|
11
|
+
| **task_slug** | `s3_r1_with_review` |
|
|
12
|
+
| **test_strategy** | `not_applicable` |
|
|
13
|
+
| **audit_profile** | `full` |
|
|
14
|
+
|
|
15
|
+
### 人工闸
|
|
16
|
+
|
|
17
|
+
| human_gate_id | status | blocks_hats | 说明 |
|
|
18
|
+
| --- | --- | --- | --- |
|
|
19
|
+
| HG-TASK-DRAFT | approved | 22, 30 | 10 完成 |
|
|
20
|
+
| HG-AUDIT-R1 | approved | 30 | 22 R1 已签 |
|
|
21
|
+
|
|
22
|
+
---
|
|
23
|
+
|
|
24
|
+
## 背景与目标
|
|
25
|
+
|
|
26
|
+
验证 D2/D3 公理:**R1 approved + review 文件落盘 → 30 可开工**。
|
|
27
|
+
|
|
28
|
+
## 验收标准
|
|
29
|
+
|
|
30
|
+
- `gate-check.sh --task task.md` **exit 0**
|
|
31
|
+
- bench 脚本检查 `reviews/s3_r1_with_review_audit_R1_20260616.md` 存在 → **合规**
|
|
@@ -0,0 +1,16 @@
|
|
|
1
|
+
{
|
|
2
|
+
"preset": "harness-only",
|
|
3
|
+
"tracks": {
|
|
4
|
+
"harness_prompts": true,
|
|
5
|
+
"harness_invoke_template": true,
|
|
6
|
+
"ide_cursor": true,
|
|
7
|
+
"ide_claude": false,
|
|
8
|
+
"ide_agents": false,
|
|
9
|
+
"graph": false,
|
|
10
|
+
"wiki": false
|
|
11
|
+
},
|
|
12
|
+
"paths": {
|
|
13
|
+
"ide_cursor": ".cursor/rules/06-harness-pointer.mdc"
|
|
14
|
+
},
|
|
15
|
+
"ci": "none"
|
|
16
|
+
}
|
|
@@ -56,7 +56,9 @@ CYNING_HARNESS=/path/to/cyning-harness \
|
|
|
56
56
|
|
|
57
57
|
---
|
|
58
58
|
|
|
59
|
-
## 阶段 E · 22 CLOSE(可选 ·
|
|
59
|
+
## 阶段 E · 22 CLOSE(可选 · **defer A3**)
|
|
60
|
+
|
|
61
|
+
> **A2 关账不阻塞**。完整 SDD 链 `10→22→30→40→22(CLOSE)` 的 **最后一棒 22 终轮** 在 **A3 对外金样** 时执行。
|
|
60
62
|
|
|
61
63
|
- [ ] 22 终轮 · 产出 `*_audit_CLOSE_*.md` 或 R2
|
|
62
64
|
- [ ] task status → `done`
|
|
@@ -64,11 +66,22 @@ CYNING_HARNESS=/path/to/cyning-harness \
|
|
|
64
66
|
|
|
65
67
|
---
|
|
66
68
|
|
|
69
|
+
## 阶段 F · 40 自检帽(A2 · 2026-06-15 ✅)
|
|
70
|
+
|
|
71
|
+
> **已在 `_sandbox` 阶段 2 完成** · commits `769964c` + `7d5b375` · **无需再开 Agent**,仅需本清单勾选留档。
|
|
72
|
+
|
|
73
|
+
- [x] sync 后存在 `docs/harness/prompts/40-self-check.md`
|
|
74
|
+
- [x] `@` task + 40-self-check.md · 跑验证命令
|
|
75
|
+
- [x] task 回填 `### 自检结论(执行者)`
|
|
76
|
+
- [x] sidecar `task check` schema OK(产品仓路径 · 阶段 1)
|
|
77
|
+
- [x] gate-check 输出 manifest.version(upgrade 后 · `7d5b375`)
|
|
78
|
+
|
|
79
|
+
---
|
|
80
|
+
|
|
67
81
|
## P0 通过标准(最小)
|
|
68
82
|
|
|
69
83
|
满足 **A + B + C(签后)+ D** 即 P0 通过。
|
|
70
|
-
**2026-06-15**:`_sandbox`
|
|
71
|
-
**E** 为完整 SDD 闭环,可与 A2(40 帽)一并补全。
|
|
84
|
+
**2026-06-15**:`_sandbox` **A–D 最小通过 ✅** · **F(40 帽)✅** · **E defer A3**
|
|
72
85
|
|
|
73
86
|
---
|
|
74
87
|
|
|
@@ -91,11 +91,10 @@ git checkout -B cyning/meta # 或已有 meta
|
|
|
91
91
|
|
|
92
92
|
---
|
|
93
93
|
|
|
94
|
-
## 5.
|
|
94
|
+
## 5. 试点文档(维护者 · 可选)
|
|
95
95
|
|
|
96
|
-
|
|
97
|
-
`
|
|
98
|
-
`PILOT_kimi_code_fork_adoption_v1_zh.md`
|
|
96
|
+
上游 Issue 扫描与 fork 采纳指南见 **Cyning12 治理文档**(公开叙事仓 / 维护者私有工作区 POINTER)。
|
|
97
|
+
本产品仅提供通用 `scan-upstream-issues.sh` 与 [`wizard/profiles/issue-scan-presets.json`](../../wizard/profiles/issue-scan-presets.json)。
|
|
99
98
|
|
|
100
99
|
---
|
|
101
100
|
|
|
@@ -3,65 +3,34 @@
|
|
|
3
3
|
| 项 | 内容 |
|
|
4
4
|
| --- | --- |
|
|
5
5
|
| **状态** | `active` |
|
|
6
|
-
| **日期** | 2026-06-
|
|
6
|
+
| **日期** | 2026-06-15(A3 脱敏) |
|
|
7
7
|
| **freeze_id** | `freeze_epic_orchestration_pilot_v1` |
|
|
8
|
-
| **性质** |
|
|
8
|
+
| **性质** | **只读摘要** · 详细 invoke 链在业务仓 · 本产品 **不复制** |
|
|
9
9
|
|
|
10
10
|
---
|
|
11
11
|
|
|
12
12
|
## 金样是什么
|
|
13
13
|
|
|
14
|
-
**M1 已签收** 的前端 Epic 串行编排试点:Epic 总纲 + 00 编排 + **M01→
|
|
14
|
+
**M1 已签收** 的前端 Epic 串行编排试点:Epic 总纲 + 00 编排 + **M01→M03** 子 task 链 + invoke 落盘 + CI 绿 + PR merge。
|
|
15
15
|
|
|
16
16
|
| 维度 | 值 |
|
|
17
17
|
|------|-----|
|
|
18
|
-
| **编排模式** | 单分支串行 · `
|
|
19
|
-
| **子仓** | `ai-ink-brain/`(前端 Ink) |
|
|
18
|
+
| **编排模式** | 单分支串行 · `semi_auto: false` |
|
|
20
19
|
| **Epic slug** | `tech-debt-code-quality-frontend` |
|
|
21
|
-
| **分支(已 merge)** | `task/tech-debt-code-quality-frontend` |
|
|
22
20
|
| **人签** | `HG-M1-SIGNOFF` approved(2026-06-09) |
|
|
23
21
|
|
|
24
22
|
---
|
|
25
23
|
|
|
26
|
-
##
|
|
27
|
-
|
|
28
|
-
> 本地常名 `Projects/`(cyning-ink-workspace)。无访问权限时仅用本产品 `harness/templates/TASK_epic.md` 作结构对照。
|
|
29
|
-
|
|
30
|
-
### 工作区 · M1 跟踪 task
|
|
31
|
-
|
|
32
|
-
| 资产 | 路径 |
|
|
33
|
-
|------|------|
|
|
34
|
-
| M1 签收单 | `docs/harness/tasks/done/task_harness_m1_epic_orchestration_frontend_pilot_v1.md` |
|
|
35
|
-
| Epic 编排 GUIDANCE | `docs/harness/guides/GUIDANCE_epic_orchestration_task_chain_v1_zh.md` |
|
|
36
|
-
| PLAN §6 M1 行 | `docs/harness/guides/PLAN_self_hosted_runtime_mvp_phases_v1_zh.md` |
|
|
37
|
-
|
|
38
|
-
### 前端子仓 · Epic 与 invoke
|
|
39
|
-
|
|
40
|
-
| 资产 | 路径 |
|
|
41
|
-
|------|------|
|
|
42
|
-
| Epic 总纲(done) | `ai-ink-brain/docs/tasks/done/task_tech_debt_code_quality_frontend_epic_v1.md` |
|
|
43
|
-
| **invoke 索引目录** | `ai-ink-brain/docs/harness/invokes/by-task/tech-debt-code-quality-frontend/` |
|
|
44
|
-
| 关账 invoke | `…/invoke_20260609_CLOSE_epic.md` |
|
|
45
|
-
| 00 编排 | `…/invoke_20260609_00_orchestrator.md` |
|
|
46
|
-
|
|
47
|
-
### M1 签收子集(串行棒)
|
|
48
|
-
|
|
49
|
-
| 棒 | 子 task(done) | 典型 invoke |
|
|
50
|
-
|----|-----------------|-------------|
|
|
51
|
-
| 00 | 编排派发 M01 | `invoke_20260609_00_orchestrator.md` |
|
|
52
|
-
| M01 | `task_tech_debt_cq_frontend_m01_py_proxy_v1.md` | `invoke_20260609_40_m01_py_proxy.md` |
|
|
53
|
-
| M02 | `task_tech_debt_cq_frontend_m02_bff_routes_v1.md` | `invoke_20260609_40_m02_bff_routes.md` |
|
|
54
|
-
| M03 | `task_tech_debt_cq_frontend_m03_unified_chat_v1.md` | `invoke_20260609_40_m03_unified_chat.md` |
|
|
55
|
-
|
|
56
|
-
M04~M06 为编码 Epic 延续(已关账),**不阻塞** M1 签收。
|
|
57
|
-
|
|
58
|
-
### 外部链接
|
|
24
|
+
## 公开证据(可独立验证)
|
|
59
25
|
|
|
60
26
|
| 项 | URL |
|
|
61
27
|
|----|-----|
|
|
62
28
|
| PR → production | https://github.com/Cyning12/ai-ink-brain/pull/64 |
|
|
63
29
|
| PR → main | https://github.com/Cyning12/ai-ink-brain/pull/65 |
|
|
64
30
|
|
|
31
|
+
有权限时可在 **Cyning12/ai-ink-brain** 对照 `docs/harness/invokes/by-task/tech-debt-code-quality-frontend/`。
|
|
32
|
+
无权限时仅用本产品模板演练。
|
|
33
|
+
|
|
65
34
|
---
|
|
66
35
|
|
|
67
36
|
## 与本产品(cyning-harness)的关系
|
|
@@ -71,18 +40,9 @@ M04~M06 为编码 Epic 延续(已关账),**不阻塞** M1 签收。
|
|
|
71
40
|
| [`harness/templates/TASK_epic.md`](../harness/templates/TASK_epic.md) | Epic 编排主表 §3.1 |
|
|
72
41
|
| [`harness/templates/TASK_TEMPLATE.md`](../harness/templates/TASK_TEMPLATE.md) | 各 sub-task 结构 |
|
|
73
42
|
| [`harness/invokes/TEMPLATE_invoke.md`](../harness/invokes/TEMPLATE_invoke.md) | invoke 快照格式 |
|
|
74
|
-
|
|
|
75
|
-
|
|
76
|
-
**纪律**:clone `cyning-harness` 的用户 **打开金样** = 有权限时读上述 Ink 路径;否则按模板 + 本 POINTER 摘要演练。
|
|
77
|
-
|
|
78
|
-
---
|
|
79
|
-
|
|
80
|
-
## 后端编码 Epic(可选对照 · 非 M1 别名)
|
|
43
|
+
| [`examples/demo_checkout/`](../examples/demo_checkout/) | **A3 对外金样** · P0 10→22→30 |
|
|
81
44
|
|
|
82
|
-
|
|
83
|
-
|----|------|
|
|
84
|
-
| CC W2~W8 Manifest | `ai-ink-brain-api-python/docs/tasks/active/task_standards_backend_api_modularization_manifest_v1.md` |
|
|
85
|
-
| 说明 | 形态类似 Epic+PR,**≠** PLAN M1 编排试点;可作 M2 扩展金样来源 |
|
|
45
|
+
**纪律**:clone `cyning-harness` 的用户 **打开金样** = 读公开 PR + 本 POINTER + `demo_checkout`;勿期望 invoke 全文在产品包内。
|
|
86
46
|
|
|
87
47
|
---
|
|
88
48
|
|
|
@@ -91,3 +51,4 @@ M04~M06 为编码 Epic 延续(已关账),**不阻塞** M1 签收。
|
|
|
91
51
|
| 日期 | 说明 |
|
|
92
52
|
|------|------|
|
|
93
53
|
| 2026-06-09 | M2 T6:M1 串行 Epic 金样 POINTER 首版 |
|
|
54
|
+
| 2026-06-15 | A3 public push:移除内部工作区路径与 invoke 文件枚举 |
|
package/golden/README.md
CHANGED
|
@@ -1,25 +1,24 @@
|
|
|
1
1
|
# golden · 金样 pointer
|
|
2
2
|
|
|
3
|
-
本目录仅存放
|
|
3
|
+
本目录仅存放 **外部金样链接说明**(验收口径摘要),**不复制**任何业务代码或 invoke 全文。
|
|
4
4
|
|
|
5
5
|
## v0.1 已交付(T6 · M2)
|
|
6
6
|
|
|
7
7
|
| 文件 | 状态 | 说明 |
|
|
8
8
|
|------|------|------|
|
|
9
|
-
| [`POINTER_gold_epic_serial.md`](./POINTER_gold_epic_serial.md) | ✅ | M1 串行 Epic 金样 ·
|
|
9
|
+
| [`POINTER_gold_epic_serial.md`](./POINTER_gold_epic_serial.md) | ✅ | M1 串行 Epic 金样 · 公开 PR 证据 · 结构对照 |
|
|
10
10
|
|
|
11
11
|
## 金样摘要
|
|
12
12
|
|
|
13
13
|
| 项 | 值 |
|
|
14
14
|
|----|-----|
|
|
15
15
|
| **freeze_id** | `freeze_epic_orchestration_pilot_v1` |
|
|
16
|
-
|
|
|
17
|
-
|
|
|
18
|
-
| **M1 跟踪** | 工作区 `docs/harness/tasks/done/task_harness_m1_epic_orchestration_frontend_pilot_v1.md` |
|
|
16
|
+
| **编排模式** | 单分支串行 · Epic + sub-task 链 |
|
|
17
|
+
| **公开证据** | [ai-ink-brain PR #64](https://github.com/Cyning12/ai-ink-brain/pull/64) · [#65](https://github.com/Cyning12/ai-ink-brain/pull/65) |
|
|
19
18
|
|
|
20
19
|
## 使用
|
|
21
20
|
|
|
22
|
-
1. 读本目录 POINTER
|
|
21
|
+
1. 读本目录 POINTER 摘要
|
|
23
22
|
2. 无私有工作区:用 [`harness/templates/TASK_epic.md`](../harness/templates/TASK_epic.md) 结构演练
|
|
24
23
|
3. **禁止** 将金样 invoke 全文或业务代码复制进产品仓分发包
|
|
25
24
|
|
|
@@ -28,3 +27,4 @@
|
|
|
28
27
|
| 日期 | 说明 |
|
|
29
28
|
|------|------|
|
|
30
29
|
| 2026-06-09 | T6 M2 首版 POINTER |
|
|
30
|
+
| 2026-06-15 | A3 脱敏 · 移除内部 invoke 路径明细 |
|
|
@@ -16,16 +16,16 @@
|
|
|
16
16
|
|
|
17
17
|
## 完整库(POINTER · 不复制全文)
|
|
18
18
|
|
|
19
|
-
|
|
19
|
+
Extended 帽(00/20/40/50、链式 PROMPT)由维护者在 **私有工作区或签约伙伴仓** 维护 · **不**默认复制进用户仓。
|
|
20
20
|
|
|
21
|
-
嵌入用户仓后可在 README
|
|
21
|
+
嵌入用户仓后可在 README 追加(示例):
|
|
22
22
|
|
|
23
23
|
```markdown
|
|
24
24
|
## 完整 Harness 库
|
|
25
|
-
-
|
|
25
|
+
- 上游:你的组织/monorepo `docs/harness/prompts/`(只读对照 · 非 Starter 默认)
|
|
26
26
|
```
|
|
27
27
|
|
|
28
28
|
## 链式执行
|
|
29
29
|
|
|
30
|
-
- 串行 Task
|
|
30
|
+
- 串行 Task 链:维护者工作区链式 PROMPT(M3 `harness ctx` 前手工 `@` 引用)
|
|
31
31
|
- 每帽 invoke:[`../invokes/TEMPLATE_invoke.md`](../invokes/TEMPLATE_invoke.md)
|