@cyning/harness 0.3.0

package/docs/methodology/execution/P0_V0.2_GAP.md

@@ -0,0 +1,93 @@
+# P0 · v0.2 最小闭环 · 差距清单
+
+| 项 | 内容 |
+| --- | --- |
+| **状态** | `active` |
+| **日期** | 2026-06-15 |
+| **对照** | [`../product/DESIGN_ONTOLOGY_v1_zh.md`](../product/DESIGN_ONTOLOGY_v1_zh.md) §0.2 · §11.1 |
+| **目标** | `harness-only` preset · `sync plan/apply` · 金样 task **10→22→30** 可演示 |
+
+> **边界**：`npx` CLI · HGM `events/*.jsonl` · `harness graph ingest` 属 **v0.3+ / Track G proposal**，**不在** P0 闭合范围。
+
+---
+
+## 1. 已有（可直接用）
+
+| 能力 | 落点 | 本体对应 |
+| --- | --- | --- |
+| install / adopt | `wizard/install.sh` · `adopt-existing.sh` | AdoptedProfile |
+| sync plan / apply | `wizard/harness-sync.sh` | SyncOperation · S1–S4 |
+| refuse 产品根 | `lib/common.sh` `refuse_if_product_root` | P3 |
+| gate-check 基础 | `wizard/gate-check.sh` | GateCheckRun · D3 辅助 |
+| Starter 帽 10/22/30 | `harness/prompts/` | StarterHat |
+| harness-only preset | `wizard/profiles/harness-only.json` | Preset |
+| upgrade 交互 | `wizard/upgrade.sh` | WizardTool（非 npx） |
+| 产品设计本体 | `docs/methodology/product/DESIGN_ONTOLOGY_v1_zh.md` v1.2 | 真值 |
+
+---
+
+## 2. P0 缺口（本迭代须闭合）
+
+| # | 缺口 | 严重性 | 动作 | 验收 |
+| --- | --- | --- | --- | --- |
+| G1 | **无对外金样路径** | 高 | `examples/demo_checkout/` + 金样 task | 按 ACCEPTANCE 走通 · **✅ 2026-06-15 `_sandbox` 最小通过** |
+| G2 | **README Quick Start 偏 clone 导向** | 高 | README §设计哲学 + 三行 Quick Start | 新人 5 分钟理解定位 · **✅ 文档已就绪**（P0 演示已验证 install 路径） |
+| G3 | **40-self-check 未入 Starter** | 中 | P0 **可跳过** · 金样走 10→22→30→22(CLOSE) | A2 backlog |
+| G4 | **gate-check 不读 rejected→draft** | 中 | v0.3 · P0 文档约定即可 | §4.2 本体 |
+| G5 | **无 manifest / npx CLI** | 中 | v0.3 A1 · P0 用 `upgrade.sh` | VersionManifest |
+| G6 | **FailureReport 无模板** | 低 | P0 金样不演示 failed 路径 | v0.3 模板 |
+| G7 | **S5 git-clean 未实现** | 低 | P0 人工确认工作区干净 | v0.3 harness-sync |
+| G8 | **task.harness.v1.json 缺失** | 低 | P0 仍用 Markdown task 表 | A2 |
+
+---
+
+## 3. P0 演示命令（复制即用）
+
+```bash
+# 0. 准备空业务仓
+mkdir -p /tmp/harness-p0-demo && cd /tmp/harness-p0-demo
+git init -q
+
+# 1. 安装（harness-only）
+CYNING_HARNESS=/path/to/cyning-harness \
+  "$CYNING_HARNESS/wizard/install.sh" --target . --preset harness-only --ide cursor,agents
+
+# 2. 复制金样 task
+cp "$CYNING_HARNESS/examples/demo_checkout/task_demo_p0_golden_v1.md" \
+   docs/tasks/active/
+
+# 3. sync 纪律层
+CYNING_HARNESS=/path/to/cyning-harness \
+  "$CYNING_HARNESS/wizard/harness-sync.sh" plan --target .
+CYNING_HARNESS=/path/to/cyning-harness \
+  "$CYNING_HARNESS/wizard/harness-sync.sh" apply --target .
+
+# 4. gate-check（签 HG-AUDIT-R1 前 → exit 2）
+CYNING_HARNESS=/path/to/cyning-harness \
+  "$CYNING_HARNESS/wizard/gate-check.sh" --target . \
+  --task docs/tasks/active/task_demo_p0_golden_v1.md
+
+# 5. IDE：@ task + prompts/10 → 22 →（人签 HG-AUDIT-R1）→ 30
+# 详见 examples/demo_checkout/ACCEPTANCE.md
+```
+
+---
+
+## 4. P0 完成后 → v0.3 入口
+
+| 顺序 | 项 | 里程碑 |
+| --- | --- | --- |
+| 1 | npx `@cyning/harness` init/upgrade | A1 |
+| 2 | manifest.json + S5 git-clean | A1 |
+| 3 | FailureReport 模板 + rejected gate-check | v0.3 |
+| 4 | `examples/kimi-code-integration/` | v0.3 |
+| 5 | demo_checkout 脱敏 → A3 public 金样 | v0.4 |
+
+---
+
+## 5. 修订记录
+
+| 日期 | 说明 |
+| --- | --- |
+| 2026-06-15 | 初版 · 对照 v1.2 本体 §0.2 |
+| 2026-06-15 | G1/G2 标已闭合 · `_sandbox` P0 最小通过 |

package/docs/methodology/execution/PILOT_EVIDENCE_B2_v1_zh.md

@@ -0,0 +1,132 @@
+# 试点证据 · B2 量化 + SDD-Compliance micro-bench（v1）
+
+| 项 | 内容 |
+| --- | --- |
+| **状态** | `draft` · **数字未冻结** |
+| **版本** | 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)
+
+---
+
+## 0. 证据策略（一句话）
+
+**测敢不敢合，不测会不会做题。** 与 Terminal-Bench / SWE-bench **互补、不对标**。
+
+---
+
+## Part A · B2 真实试点量化
+
+### A.1 样本说明
+
+| 字段 | 值 |
+| --- | --- |
+| **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 链人工核对 |
+
+### A.2 指标表（PilotEvidence）
+
+| 字段 | 定义 | 值 | 备注 |
+| --- | --- | --- | --- |
+| `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_ | **诚实边界** · 禁止外推胜率 |
+
+### A.3 机制证据（叙事用 · 非胜率）
+
+| 项 | 说明 | 状态 |
+| --- | --- | --- |
+| 上游 PR 链 | Kimi fork → Moonshot upstream · 过程轨隔离 | _TBD_ |
+| gate 拦截样例 | 1–2 个 **匿名化** 拦截场景（pending R1 拒 30 等） | _TBD_ |
+| 与 bench 关系 | Part B 覆盖 **可机械复现** 子集；Part A 覆盖 **真实绑定深度** | 见 Part B |
+
+### A.4 Part A 采集清单（维护者）
+
+- [ ] 列出纳入 `sample_n` 的 task slug + 类型
+- [ ] 从 #4 dogfood 增量填入 fork 数据
+- [ ] 核对 D6 PR：过程轨文件未进入 upstream diff
+- [ ] **冻结前**勿写入 README / 续篇 vol3
+
+---
+
+## Part B · SDD-Compliance micro-bench
+
+> **依赖**：P0 金样 ACCEPTANCE 全绿 · gate-check 行为与 P0 金样 D2/D3 一致。  
+> **初版范围**：**S1–S4** · S5（rejected→draft）待 **v0.3** gate 落地后再纳入。
+
+### B.1 覆盖边界（README 须声明）
+
+| 测 | 不测 |
+| --- | --- |
+| D2 HumanGate · D3 gate-check · S2 sync 域 | D4/D5 完整路径 |
+| Orchestrate / Verify **可机械部分** | Terminal-Bench · pass@1 · Agent Score |
+| gate exit code · review 文件存在性 | LLM 解题质量 |
+
+### B.2 Scenario 定义（v1 · S1–S4）
+
+| 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 绿_ |
+| ~~S5~~ | rejected→draft | D2 | v0.3+ · **条件项** | — | _未纳入 v1_ |
+
+### B.3 运行方式（计划）
+
+```bash
+# 待实现 · P0 绿后
+./wizard/compliance-bench.sh --all
+# 或文档化手工步骤见 examples/compliance_bench/README.md
+```
+
+### B.4 结果摘要（数字冻结区）
+
+| 项 | 值 |
+| --- | --- |
+| **运行日期** | _TBD_ |
+| **gate-check 版本 / commit** | _TBD_ |
+| **S1–S4 合规率** | _TBD_（**P0 绿后填写**） |
+| **失败 scenario** | _TBD_ |
+| **与 Part A 对照** | _TBD_（机制一致 / 差异说明） |
+
+### B.5 Part B 待办
+
+- [ ] 创建 `examples/compliance_bench/` 目录与 S1–S4 夹具
+- [ ] `wizard/compliance-bench.sh` 或 ACCEPTANCE 级手工步骤
+- [ ] P0 绿后首跑 · 填入 §B.4
+- [ ] v0.3 后评估是否纳入 S5
+
+---
+
+## 附录 · 引用链
+
+| 文档 | 路径 |
+| --- | --- |
+| 审核纪要 | [`PROCESS_track_b_evidence_audit_2026-06-15_v1_zh.md`](../reviews/PROCESS_track_b_evidence_audit_2026-06-15_v1_zh.md) |
+| P0 金样 | [`examples/demo_checkout/`](../../examples/demo_checkout/) |
+| STRATEGY B2 | 工作区 `docs/harness/guides/STRATEGY_MASTER_cyning_harness_v1_zh.md` §4.3 |
+
+---
+
+## 修订记录
+
+| 版本 | 日期 | 说明 |
+| --- | --- | --- |
+| v1.0 | 2026-06-15 | 初版模板 · 双证据同页 · 数字 TBD |

package/docs/methodology/execution/README.md

@@ -0,0 +1,12 @@
+# execution · 落地与差距
+
+| 文档 | 说明 |
+| --- | --- |
+| **[`P0_V0.2_GAP.md`](./P0_V0.2_GAP.md)** | v0.2 最小闭环 · 已有/缺口 · 演示命令 |
+| **[`PILOT_EVIDENCE_B2_v1_zh.md`](./PILOT_EVIDENCE_B2_v1_zh.md)** | Track B · B2 量化 + SDD-Compliance bench（**draft · #8**） |
+
+**金样路径**：[`../../examples/demo_checkout/`](../../examples/demo_checkout/README.md) + [`ACCEPTANCE.md`](../../examples/demo_checkout/ACCEPTANCE.md)
+
+**对照**：[`../product/DESIGN_ONTOLOGY_v1_zh.md`](../product/DESIGN_ONTOLOGY_v1_zh.md) §0.2 · §11.1
+
+**wizard 真值**：[`../../../wizard/README.md`](../../../wizard/README.md)

package/docs/methodology/graph/HARNESS_GRAPH_MODEL_design_v0_zh.md

@@ -0,0 +1,258 @@
+# Harness Graph Model (HGM) · 设计草案 v0
+
+
+| 项        | 内容                                                                                                                               |
+| -------- | -------------------------------------------------------------------------------------------------------------------------------- |
+| **状态**   | `proposal` · 远期架构（**v0.5+**）                                                                                                     |
+| **版本**   | v0.1                                                                                                                             |
+| **日期**   | 2026-06-15                                                                                                                       |
+| **范围**   | 过程轨 **实例** 的显式图 + 事件历史 + 公理可查询                                                                                                   |
+| **非范围**  | 替代 Git/Markdown 真值 · 替代 LLM Runtime · `**GraphTrack` 架构图**（见 §0.3）                                                               |
+| **依赖**   | [`../product/DESIGN_ONTOLOGY_v1_zh.md`](../product/DESIGN_ONTOLOGY_v1_zh.md) v1.2 · P0 金样路径已建（ACCEPTANCE 待绿）· v0.3 `ontology.yaml`（未实现）· v1.0 `gate-check --graph`（Inform · 未实现） |
+| **思想来源** | [`HARNESS_GRAPH_MODEL_dialogue_archive_v1_zh.md`](./HARNESS_GRAPH_MODEL_dialogue_archive_v1_zh.md) |
+
+
+---
+
+## 0. 定义与边界
+
+### 0.1 一句话
+
+```text
+Harness Graph Model (HGM)
+  = OOP 的结构化对象（本体 Class 的实例）
+  + 显式带类型的边（ObjectProperty · HatRef · 基数）
+  + 不可变事件历史（append-only · 可重放投影）
+  + 可推理的公理（P/S/D · 图查询或 gate-check 机械检查）
+```
+
+HGM 是 **本体论在工程中的可落地形态之一**：不引入 OWL 推理机也可先做 **「文件真值 → 事件 → 图投影 → 公理查询」**。
+
+### 0.2 与现有三层的关系
+
+```text
+语义层    DESIGN_ONTOLOGY v1.2 + ontology.yaml（类 · 关系 · 公理）
+文件层    docs/tasks · reviews · invokes · gate-check.log（当前真值 · S2 保护）
+图+事件层 HGM（可选增强 · v0.5+）— 从文件层 **推导** · 不反向覆盖文件层
+```
+
+### 0.3 易混概念
+
+
+| 名称                                | 是什么                                               | 不是什么                    |
+| --------------------------------- | ------------------------------------------------- | ----------------------- |
+| **GraphTrack**                    | `docs/_tech_graph/` · Inform 架构地图                 | HGM                     |
+| **gate-check --graph**（Q3 · v1.0） | InformArtifact 模块依赖图 · D4-a                       | HGM 全文                  |
+| **HGM**                           | Task / Hat / Gate / Review / Sync 等 **过程实例** 的时序图 | 代码 AST 图 · 通用 Neo4j 业务库 |
+
+
+### 0.4 设计原则
+
+
+| #   | 原则        | 含义                                         |
+| --- | --------- | ------------------------------------------ |
+| H1  | **无侵入**   | 未启用 HGM 时，工作流与今日纯文件模式 **完全一致**             |
+| H2  | **文件优先**  | S2 保护域只追加事件，**不**用图 DB 覆盖 task/reviews     |
+| H3  | **事件不可变** | 修正 = 新事件 · 禁止删改历史                          |
+| H4  | **公理同源**  | 图约束与 `DESIGN_ONTOLOGY` §5 公理 ID 一一对应       |
+| H5  | **渐进存储**  | v0.5 JSONL → v0.6 SQLite 投影 → v0.8+ 可选外部图库 |
+
+
+---
+
+## 1. 本体 → 图模式映射（对齐 v1.2）
+
+### 1.1 节点标签（Node labels）
+
+
+| 标签                   | 本体类            | 稳定 ID 规则                           | 主要属性来源                               |
+| -------------------- | -------------- | ---------------------------------- | ------------------------------------ |
+| `BusinessRepository` | 嵌入仓根           | `repo:{absolute_or_slug}`          | `.cyning-harness/profile.json`       |
+| `Task`               | Task           | `task:{task_slug}`                 | `docs/tasks/active/*.md`             |
+| `HumanGate`          | HumanGate      | `gate:{task_slug}:{human_gate_id}` | task 闸表                              |
+| `Hat`                | Hat            | `hat:{hat_id}`                     | `docs/harness/prompts/` 文件名 / hat_id |
+| `AuditReview`        | AuditReview    | `review:{path_hash}`               | `docs/harness/reviews/`*             |
+| `InvokeSnapshot`     | InvokeSnapshot | `invoke:{path}`                    | `docs/harness/invokes/*`             |
+| `FailureReport`      | FailureReport  | `failure:{path}`                   | reviews 或 task 附录 · v0.3+            |
+| `GateCheckRun`       | GateCheckRun   | `gcr:{iso8601}:{task_slug}`        | `.cyning-harness/gate-check.log`     |
+| `SyncOperation`      | SyncOperation  | `sync:{iso8601}:plan|apply`        | wizard 日志 · v0.5+                    |
+| `InformArtifact`     | InformArtifact | `inform:{repo_rel_path}`           | `_tech_graph/*` 等                    |
+
+
+**刻意不在 v0.1 HGM 建模为一等节点**：`User` / `Project`（对话稿遗留）· 维护者以事件 `actor: maintainer` 字符串出现即可。
+
+### 1.2 边类型（Edge types）
+
+
+| 边             | 源 → 靶                              | 本体关系                           | 边属性示例              |
+| ------------- | ---------------------------------- | ------------------------------ | ------------------ |
+| `HAS_GATE`    | Task → HumanGate                   | Task --hasGate-->              | `since`            |
+| `BLOCKS`      | HumanGate → Hat                    | HumanGate --blocks-->          | `hat_id`           |
+| `GOVERNED_BY` | Task → Hat                         | Task --governedBy-->           | SDD 阶段             |
+| `PRODUCED`    | Task → AuditReview                 | Hat --mayProduce-->（经 Task 关联） | `round: R1|CLOSE`  |
+| `PRODUCED`    | Task → InvokeSnapshot              | 同上                             | `hat_id`           |
+| `FAILED_WITH` | Task → FailureReport               | Hat --mayProduce-->            | `at`               |
+| `DEPENDS_ON`  | Task → Task                        | Task --dependsOn-->            | 无环 · §1.4          |
+| `DECOMPOSES`  | Epic → Task                        | Epic --decomposesInto-->       | Epic 仍为 Task 特化    |
+| `MUST_READ`   | Task → InformArtifact              | Task --mustRead-->             | 改码门禁               |
+| `CHECKED`     | GateCheckRun → Task                | GateCheckRun 运行时               | `exit_code`        |
+| `SYNCED`      | SyncOperation → BusinessRepository | SyncOperation                  | `mode` · `version` |
+
+
+### 1.3 事件类型（Event · append-only）
+
+存储默认：`.cyning-harness/events/YYYY-MM.jsonl`（v0.5 提案）
+
+```json
+{
+  "event_id": "evt:20260615T103000Z:001",
+  "type": "TaskStatusChanged",
+  "occurred_at": "2026-06-15T10:30:00Z",
+  "actor": "maintainer|gate-check|sync|agent:30",
+  "subject": "task:demo_p0_golden",
+  "data": {
+    "old_status": "in_progress",
+    "new_status": "failed",
+    "artifact": "docs/harness/reviews/task_demo_30_failure_*.md"
+  },
+  "source": "file_watch|gate-check.sh|manual"
+}
+```
+
+
+| event.type                          | 触发源（现有/近端）                                       |
+| ----------------------------------- | ------------------------------------------------ |
+| `TaskCreated` / `TaskStatusChanged` | task md 变更 · git commit hook（可选）                 |
+| `GateStatusChanged`                 | task 闸表 · `approved` / `rejected` / `pending`    |
+| `AuditReviewProduced`               | 新文件 `docs/harness/reviews/*`                     |
+| `InvokeSnapshotCreated`             | 新 invoke 文件                                      |
+| `FailureReportProduced`             | 30 失败落盘 · v0.3+                                  |
+| `GateCheckRunCompleted`             | `gate-check.sh` 结束                               |
+| `SyncOperationCompleted`            | `harness-sync.sh` plan/apply                     |
+| `HumanGateRejected`                 | status→rejected · **强制** draft + 退回 10 · §4.2 本体 |
+
+
+**投影规则**：读事件流 **materialize** 当前图快照 → `.cyning-harness/graph/snapshot.json`（可缓存 · 可删 rebuild）。
+
+---
+
+## 2. 公理 → 可执行检查（HGM 视角）
+
+
+| 公理              | 图/事件表述                                                           | 现有机械检查             | HGM v0.5             |
+| --------------- | ---------------------------------------------------------------- | ------------------ | -------------------- |
+| **D2**          | pending 的 `HG-AUDIT-R1` --BLOCKS--> 30 帽                         | gate-check exit 2  | 查询 + 事件告警            |
+| **D3**          | 30 首动作须关联 `GateCheckRun`                                         | 30 prompt 模板       | 缺 `CHECKED` 边 → 违规   |
+| **D4-a**        | `HG-GRAPH-MODULES` approved 才允许 30                               | gate-check         | 联结 InformArtifact 子图 |
+| **S2**          | 无 `SyncOperation` 事件改写 Task/Review 路径                            | harness-sync 实现    | 事件审计：apply 不得含 S2 路径 |
+| **rejected→10** | `GateStatusChanged(rejected)` → 下一事件须 `TaskStatusChanged(draft)` | v0.3 gate-check 警告 | 时序约束                 |
+
+
+示例查询（**Cypher 风格伪码** · 非 v0.5 承诺语法）：
+
+```cypher
+// 违反 D2：R1 pending 但存在 30 执行事件
+MATCH (t:Task)-[:HAS_GATE]->(g:HumanGate {id:'HG-AUDIT-R1', status:'pending'})
+MATCH (e:Event {type:'HatExecutionStarted', subject:t.id, hat_id:'30-execute'})
+RETURN t, e
+```
+
+---
+
+## 3. 采集与 CLI（分阶段）
+
+### 3.1 采集点（对齐已有 wizard）
+
+
+| 动作                      | 已有落点           | HGM 事件                                    |
+| ----------------------- | -------------- | ----------------------------------------- |
+| install / adopt         | profile.json   | `RepositoryAdopted`                       |
+| harness-sync plan/apply | stdout         | `SyncOperationCompleted`                  |
+| gate-check              | gate-check.log | `GateCheckRunCompleted`                   |
+| 22 落盘 review            | reviews/ 新文件   | `AuditReviewProduced`                     |
+| invoke 新文件              | invokes/       | `InvokeSnapshotCreated`                   |
+| task 表改 status / gate   | task md        | `TaskStatusChanged` / `GateStatusChanged` |
+
+
+**v0.5 最小实现**：`harness graph ingest --from-repo .` 扫描目录 + 解析 gate-check.log **回填**事件（幂等）。
+
+### 3.2 CLI 路线图
+
+
+| 命令                                     | 版本   | 说明                                 |
+| -------------------------------------- | ---- | ---------------------------------- |
+| `harness graph ingest`                 | v0.5 | 文件 → 事件 JSONL                      |
+| `harness graph snapshot`               | v0.5 | 事件 → snapshot.json                 |
+| `harness graph query`                  | v0.6 | 简单过滤器（非完整 Cypher）                  |
+| `harness graph timeline --task <slug>` | v0.6 | 单 Task 事件轴                         |
+| `harness graph axioms check`           | v0.7 | 跑 D2/D3/S2 图规则                     |
+| `harness graph patterns`               | v0.8 | 频繁路径统计（blocked / failed）           |
+| `gate-check --graph`                   | v1.0 | **Inform** 模块图 · 与 HGM **并列** · Q3 |
+
+
+---
+
+## 4. 存储架构（务实）
+
+
+| 阶段       | 存储                                                       | 适用             |
+| -------- | -------------------------------------------------------- | -------------- |
+| **v0.5** | `.cyning-harness/events/*.jsonl` + `graph/snapshot.json` | 一人 · 单仓        |
+| **v0.6** | + SQLite（nodes/edges/events 表）                           | 本地查询加速         |
+| **v0.8** | 可选 Neo4j / 外部导出                                          | 多仓聚合 · **非默认** |
+
+
+**不采用**「事件与图库强分离到 PostgreSQL+Neo4j」作为 v0.5 默认——与「纪律包轻嵌入」冲突。
+
+---
+
+## 5. 与路线图对齐（修正对话稿）
+
+```text
+v0.2  P0 金样路径（ACCEPTANCE 进行中）
+v0.3  manifest · npx · FailureReport · gate-check rejected（多数未实现）
+v0.4  ontology.yaml · D7 HG-RELEASE · public push
+v1.0  ICVO 审计 · invoke_index · gate-check --graph（Inform）
+v0.5+ Track G / G1：HGM ingest + snapshot + 基础 axioms check（proposal · 本文件 · v1.0 后启动）
+v0.6–v0.8  timeline · patterns · 可选外置图库（proposal）
+```
+
+**后置**：GrowingReasoningAgent / 自动 Recommendation 节点 — **未在本仓立项** · 依赖 HGM 事件量积累后再评。
+
+---
+
+## 6. 开放问题
+
+
+| #   | 问题                          | 暂定                            |
+| --- | --------------------------- | ----------------------------- |
+| Q1  | ingest 由 git hook 还是手动 CLI？ | v0.5 **手动** + gate-check 钩子可选 |
+| Q2  | 是否「时光机」重建任意时点图？             | v0.7+ · 事件重放                  |
+| Q3  | HGM 与 Supabase/远端同步？        | **否** · v1.0 后单独评             |
+| Q4  | 用户能否删事件？                    | **否** · 仅追加 `CorrectionEvent` |
+| Q5  | Epic 升格后图模型变更？              | Epic 变 `Epic` 标签节点 · 随 Q1 本体  |
+
+
+---
+
+## 7. 文档分层（三件套）
+
+
+| 文档                                                       | 层级                    |
+| -------------------------------------------------------- | --------------------- |
+| [`../product/DESIGN_ONTOLOGY_v1_zh.md`](../product/DESIGN_ONTOLOGY_v1_zh.md) | 语义 · 类 / 公理 / 状态机 |
+| **本文件 HGM v0**                                           | 物理 · 事件 / 图投影 / CLI   |
+| （未来）Growing Agent 设计                                     | 消费 HGM 的推理策略 · **未写** |
+
+
+---
+
+## 8. 修订记录
+
+
+| 版本   | 日期         | 说明                                   |
+| ---- | ---------- | ------------------------------------ |
+| v0.1 | 2026-06-15 | 初稿 · 对齐本体 v1.2 · 校正对话稿偏差 · v0.5 轻量存储 |
+| v0.1.1 | 2026-06-15 | §5 路线图与 ROADMAP 对齐 · gate-check --graph → v1.0 · proposal 标注 |
+
+

package/docs/methodology/graph/HARNESS_GRAPH_MODEL_dialogue_archive_v1_zh.md

@@ -0,0 +1,132 @@
+# Harness Graph Model · 对话归档（参考稿）
+
+| 项 | 内容 |
+| --- | --- |
+| **状态** | `archive` · **非真值** |
+| **版本** | v1.0 |
+| **日期** | 2026-06-15 |
+| **性质** | 外部对话整理 · 保留思辨脉络 · **须对照** [`HARNESS_GRAPH_MODEL_design_v0_zh.md`](./HARNESS_GRAPH_MODEL_design_v0_zh.md) |
+| **真值** | [`../product/DESIGN_ONTOLOGY_v1_zh.md`](../product/DESIGN_ONTOLOGY_v1_zh.md) v1.2 |
+
+> **说明**：本文件未在起草时读取本地仓库，对话中的类名、版本号、路径、已实现能力 **可能不准确**。  
+> 实施与对外引用 **以设计真值稿 + 产品设计本体为准**；本文仅作「为什么要有 HGM」的思想来源归档。
+
+---
+
+## 0. 提炼结论（核心保留）
+
+### 0.1 一句话定义（对话共识 · 已采纳为 HGM 标语）
+
+```text
+Harness Graph Model (HGM)
+  = OOP 的结构化对象
+  + 显式带类型的边
+  + 不可变事件历史
+  + 可推理的公理
+```
+
+### 0.2 与 OOP / 图论 / 本体的关系（对话脉络）
+
+| 层次 | 对话观点 | 本地校正（见真值稿） |
+| --- | --- | --- |
+| **OOP** | 擅长行为与执行；对象关系常隐式（引用、方法） | wizard 脚本、sync、gate-check 仍用命令式实现 |
+| **本体** | 类 / 关系 / 公理 · 开放世界 · 可一致性检查 | 已落盘 `DESIGN_ONTOLOGY` v1.2 · 未来 `ontology.yaml` |
+| **图论** | 关系升格为 **边** · 可遍历、可查询 | HGM 是 **过程轨实例图** · 非 `GraphTrack` 架构图 |
+| **+ History** | 节点/边上的演化 · 事件溯源 · 模式与预测 | 优先 **append-only 事件** · 图是投影而非替代 Git/Markdown 真值 |
+
+### 0.3 命名选择
+
+对话曾提议 TOG、EDKG 等通用名；**采纳项目内命名**：
+
+- **Harness Graph Model（HGM）** — AI Coding 纪律包专用，不声称通用知识图谱框架。
+
+---
+
+## 1. 对话一：本体论 ≈ OOP？
+
+**问**：本体论在编程上跟面向对象差不多？
+
+**答（摘要）**：
+
+- **像的一半**：都用「类 + 关系」建模（Task、Hat、HumanGate 等）。
+- **不像的一半**：
+  - OOP → 可运行系统、封闭世界、方法调用。
+  - 本体 → 领域知识共享、公理（D1–D7）、开放世界、推理与一致性检查。
+- **Harness 实践**：实现可用 TS/bash；**语义真值**保持 `DESIGN_ONTOLOGY` + `ontology.yaml`，代码与本体双向对齐。
+- **一句话**：OOP 是「如何构建软件」；本体是「领域里概念到底是什么」。
+
+**本地校正**：
+
+- 对话中 `PRODUCT_ONTOLOGY.md` → 真值为 **`DESIGN_ONTOLOGY_v1_zh.md`**。
+- 公理编号为 **P/S/D** 系列，非仅 D1–D7。
+
+---
+
+## 2. 对话二：OOP 的「升级」？
+
+**问**：能否视为 OOP 的一种升华/升级？
+
+**答（摘要）**：
+
+- 可理解为在 **语义与推理** 维度上的延伸，而非替换 OOP。
+- 升级点：封装 → **全局公理**；方法调用 → **推理**；硬编码关系 → **可发现关系**；封闭 → **开放世界**。
+- **不替换 OOP 的原因**：执行效率、I/O、状态变更仍要命令式代码。
+- **融合**：本体描述知识 · OOP 实现行为 · 公理 → 测试/断言/`gate-check`。
+
+**对外标签（对话原话 · 可引用于博客）**：
+
+> 本体论可以看作 OOP 在知识工程时代的自然演进——它继承了「类-对象」框架，但增加了显式的逻辑公理、开放世界假设和自动推理能力。如果说 OOP 是构造软件的「结构化蓝图」，本体论就是构造知识的「逻辑化网络」。
+
+---
+
+## 3. 对话三：图论 + History
+
+**问**：实体加关系像图；点里存 History → 可推论关系与演变、推演未来？
+
+**答（摘要）**：
+
+1. **关系第一等公民**：Task --hasGate--> HumanGate --blocks--> Hat 等应可遍历（非仅 Markdown 内嵌）。
+2. **History**：Task.status 变迁、Gate approved/rejected、Review 轮次 → **事件溯源**。
+3. **与「成长型 Agent」**：历史模式 → 风险预测、路径推荐（对话中 GrowingReasoningAgent · **本地尚未实现**）。
+4. **落地三件套**：图存储 + 元数据自动采集 + 查询 CLI（`harness graph query` 等 · **远期**）。
+
+**本地校正**：
+
+- 勿与 **`GraphTrack` / `docs/_tech_graph/`** 混淆：后者是 **Inform 架构地图**，HGM 是 **Process 运行时实例图**。
+- 已有 **`gate-check --graph`（Q3）** 指模块依赖图可视化，**不是** HGM 全文。
+- 对话中的 `User` / `Project` / `assignedTo` **不在** v1.2 本体核心类中；维护者身份在 Gate 表与 git 作者中隐式出现。
+
+---
+
+## 4. 对话四：HGM 设计草案（对话内嵌稿 · 参考）
+
+对话末尾附有一份 **未读本地真值** 的 `HGM_DESIGN v0.1` 草案，要点：
+
+| 块 | 内容 |
+| --- | --- |
+| 动机 | 关系隐式、无时间轴、难做模式分析 |
+| 概念 | Node / Edge / Event / Property / Time |
+| 存储 | SQLite → Neo4j 渐进 |
+| CLI | `graph query` · `timeline` · `analyze` · `predict` |
+| 采集 | install · task · gate-check · 22/30 产出 |
+| 路线 | v0.5–v1.0 分阶段 |
+
+**已知偏差（相对本地 v1.2）**：
+
+| 对话稿 | 本地真值 |
+| --- | --- |
+| PRODUCT_ONTOLOGY v1.1 | **DESIGN_ONTOLOGY v1.2** |
+| FailureReport 已模板化 | **v0.3 backlog** |
+| ontology.yaml 已有 | **v0.4+ 抽取** |
+| Neo4j v0.6 默认 | **真值稿优先 JSONL + 可选 SQLite 投影** |
+| GrowingReasoningAgent 衔接 | **未立项 · C 轨后置** |
+
+**完整工程化草案** → [`HARNESS_GRAPH_MODEL_design_v0_zh.md`](./HARNESS_GRAPH_MODEL_design_v0_zh.md)（同目录真值稿）。
+
+---
+
+## 5. 修订记录
+
+| 版本 | 日期 | 说明 |
+| --- | --- | --- |
+| v1.0 | 2026-06-15 | 对话归档 + 核心公式 + 本地校正表 |

package/docs/methodology/graph/README.md

@@ -0,0 +1,22 @@
+# graph · Harness Graph Model (HGM)
+
+> **Track G · G1 / v0.5+**：HGM 为 **v1.0 公理稳定后的可选增强**（proposal · 未实现）· 详见 [`../ROADMAP_v1_zh.md`](../ROADMAP_v1_zh.md) §2.2。
+
+| 文档 | 状态 | 说明 |
+| --- | --- | --- |
+| **[`HARNESS_GRAPH_MODEL_design_v0_zh.md`](./HARNESS_GRAPH_MODEL_design_v0_zh.md)** | proposal · v0.5+ | **真值稿** · 节点/边/事件 · CLI 路线 |
+| [`HARNESS_GRAPH_MODEL_dialogue_archive_v1_zh.md`](./HARNESS_GRAPH_MODEL_dialogue_archive_v1_zh.md) | archive | 对话参考 · **非真值** |
+
+```text
+HGM = 结构化对象 + 显式带类型的边 + 不可变事件历史 + 可推理的公理
+```
+
+**勿混淆**：
+
+| 名称 | 含义 |
+| --- | --- |
+| **GraphTrack** | `docs/_tech_graph/` · Inform 架构地图 |
+| **gate-check --graph** | Inform 模块依赖图（Q3 · v1.0） |
+| **HGM** | Process 实例图 · Task / Gate / Review 时序 |
+
+**依赖**：[`../product/DESIGN_ONTOLOGY_v1_zh.md`](../product/DESIGN_ONTOLOGY_v1_zh.md) v1.2

package/docs/methodology/pointers/ADOPTION_METHODOLOGY_v1_zh.md

@@ -0,0 +1,8 @@
+# POINTER · Harness 推广方法论（治理仓）
+
+| 项 | 内容 |
+| --- | --- |
+| **真值** | [`ai_coding_governance/methodology/harness/HARNESS_ADOPTION_METHODOLOGY_v1_zh.md`](../../../../ai_coding_governance/methodology/harness/HARNESS_ADOPTION_METHODOLOGY_v1_zh.md) |
+| **层** | L0 过程态方法论 |
+
+**Open Folder**：工作区根 `Projects/` 方可 `@` 引用。

package/docs/methodology/pointers/ADOPTION_TARGET_STATE_v1_zh.md

@@ -0,0 +1,6 @@
+# POINTER · Harness 目标态（治理仓）
+
+| 项 | 内容 |
+| --- | --- |
+| **真值** | [`ai_coding_governance/methodology/harness/HARNESS_ADOPTION_TARGET_STATE_v1_zh.md`](../../../../ai_coding_governance/methodology/harness/HARNESS_ADOPTION_TARGET_STATE_v1_zh.md) |
+| **层** | L0 目标态 |