@cyning/harness 1.0.2 → 2.0.0

package/docs/methodology/graph/inventory/ONTOLOGY_INVENTORY_cyning_harness_v1.yaml

@@ -0,0 +1,233 @@
+# G0 本体构成扫描 · 产品仓主报告
+# 生成：ontology-inventory-scan-g0 · 30 执行 · freeze_id ONTOLOGY-INVENTORY-G0
+# 约束：只读扫描 · 未修改 DESIGN_ONTOLOGY 或任何真值文件
+
+project: cyning-harness
+scan_date: "2026-06-17"
+report_role: primary
+prompt_version: "1.3"
+freeze_id: ONTOLOGY-INVENTORY-G0
+
+preconditions:
+  P1: pass  # cwd = cyning-harness/
+  P2: skip  # 产品仓无 docs/_tech_graph/
+  P3: skip  # 产品仓无 .ai.md
+  P4: pass  # HG-TASK-DRAFT approved
+  P5: pass  # G0 讨论素材 · 不修改 DESIGN_ONTOLOGY
+
+scanned_manifest:
+  product_manifest:
+    - path: docs/methodology/STRATEGY_ONTOLOGY_cyning_harness_v1_zh.md
+      role: 战略本体
+      exists: false
+      note: 清单路径未落盘；真值 POINTER 见 docs/methodology/pointers/STRATEGY_ONTOLOGY_v1_zh.md → 工作区 docs/harness/guides/
+    - path: docs/methodology/pointers/STRATEGY_ONTOLOGY_v1_zh.md
+      role: 战略本体（POINTER · 追加扫描）
+      exists: true
+      note: 禁止复制全文 · 指向工作区 L1 战略本体
+    - path: docs/methodology/product/DESIGN_ONTOLOGY_v1_zh.md
+      role: 产品设计本体（主）
+      exists: true
+      version: v1.2
+      status: draft
+    - path: docs/methodology/product/PRODUCT_ONTOLOGY_v1.1.md
+      role: 产品设计本体（v1.1，若存在）
+      exists: false
+    - path: docs/methodology/graph/HGM_UPGRADE_OUTLINE_v1_zh.md
+      role: HGM 升级大纲（G0）
+      exists: true
+      version: v1.0
+      status: outline
+    - path: docs/methodology/graph/HARNESS_GRAPH_MODEL_design_v0_zh.md
+      role: HGM 设计稿（v0）
+      exists: true
+      version: v0.1
+      status: proposal
+    - path: docs/methodology/ROADMAP_v1_zh.md
+      role: 路线图
+      exists: true
+      version: v1.4
+      status: active
+    - path: harness/meta/ontology.yaml
+      role: 机器可读本体（v0.4+ 规划，若存在）
+      exists: false
+      note: DESIGN_ONTOLOGY §0.4 骨架已文档化 · v0.4+ harness ontology-check 待实现
+
+meta_ontology:
+  implicit_primitive_lens:
+    present: true
+    documents:
+      - PROMPT_ontology_inventory_scan_G0_v1_zh.md  # T/K/H/B 仅作扫描 Lens
+      - DESIGN_ONTOLOGY_v1_zh.md  # 类/关系/公理 · 非 T/K/H/B 节点类型
+  explicit_meta_path_convention:
+    present: false
+    note: HGM design v0 提及事件→投影路径 · 未在产品仓固化 T→K→B 元路径 schema
+  global_axioms:
+    present: true
+    source: DESIGN_ONTOLOGY_v1_zh.md §5
+    axiom_ids_sample: [P1, P2, S1, S2, S3, S4, S5, D1, D2, D3, D4, D5, D6, D7]
+    note: P=过程 · S=同步 · D=部署/发布 · 与 gate-check / sync 机械检查对齐
+
+sub_ontologies:
+  - id: PROCESS_TRACK
+    name: 过程本体
+    files:
+      - docs/methodology/product/DESIGN_ONTOLOGY_v1_zh.md
+      - harness/prompts/10-requirements.md
+      - harness/prompts/22-task-audit.md
+      - harness/prompts/30-execute-code.md
+      - harness/prompts/40-self-check.md
+      - harness/templates/TASK_TEMPLATE.md
+      - harness/templates/TASK_epic.md
+    primitives_used: [T, K, H, B]
+    core_classes:
+      - Task
+      - Epic
+      - Hat
+      - HumanGate
+      - InvokeSnapshot
+      - AuditReview
+      - FailureReport
+      - GateCheckRun
+    key_relations:
+      - Task --governedBy--> Hat
+      - Task --hasGate--> HumanGate
+      - HumanGate --blocks--> Hat
+      - Epic --decomposesInto--> Task
+      - Task --dependsOn--> Task
+      - Hat --mayProduce--> InvokeSnapshot
+      - Hat --mayProduce--> AuditReview
+    key_axioms:
+      - S2 禁止 sync 覆盖 docs/tasks、reviews、invokes/by-task
+      - 改码类 Task 须 HG-AUDIT-R1 approved 方可 30
+      - depends_on 禁止循环依赖
+
+  - id: GRAPH_TRACK
+    name: 图源本体（HGM 设计轨 · 非 Inform _tech_graph）
+    files:
+      - docs/methodology/graph/HARNESS_GRAPH_MODEL_design_v0_zh.md
+      - docs/methodology/graph/HGM_UPGRADE_OUTLINE_v1_zh.md
+      - docs/methodology/graph/PROMPT_ontology_inventory_scan_G0_v1_zh.md
+    primitives_used: [T, H]
+    core_classes:
+      - BusinessRepository
+      - InformArtifact  # HGM 节点标签 · 引用业务仓 GraphTrack
+      - GateCheckRun
+      - SyncOperation
+    key_relations:
+      - Task --mustRead--> InformArtifact
+      - GateCheckRun --CHECKED--> Task
+      - SyncOperation --SYNCED--> BusinessRepository
+      - Epic --DECOMPOSES--> Task
+    key_axioms:
+      - H1 无侵入 · 未启用 HGM 时与纯文件模式一致
+      - H2 文件优先 · S2 保护域只追加事件
+      - H3 事件不可变
+
+  - id: GOVERNANCE_TRACK
+    name: 治理本体
+    files:
+      - docs/methodology/ROADMAP_v1_zh.md
+      - docs/methodology/product/DESIGN_ONTOLOGY_v1_zh.md  # §0.1 变更原则 · §0.3 外部贡献清单
+      - docs/methodology/graph/HGM_UPGRADE_OUTLINE_v1_zh.md  # D1–D5 维护者决策
+    primitives_used: [T, K]
+    core_classes:
+      - Track
+      - Preset
+      - VersionManifest
+    key_relations:
+      - Preset --configures--> AdoptedProfile
+      - Track --declaredIn--> TrackManifest
+    key_axioms:
+      - SEM-02 Track G 用 v2.x · 不写 v0.5/v0.6 指 HGM
+      - v1.0 关账后启动 G1
+
+  - id: IDE_TRACK
+    name: IDE 适配本体
+    files:
+      - harness/prompts/FRAGMENT_30_invoke_block_v1_zh.md
+      - harness/prompts/FRAGMENT_30_gate_verify_v1_zh.md
+      - harness/prompts/FRAGMENT_task_domain_infer_v1_zh.md
+    primitives_used: [K]
+    core_classes:
+      - IDEFragment
+      - MarkerBlock
+    key_relations:
+      - IDEFragment --embeddedIn--> CLAUDE.md / AGENTS.md
+    key_axioms:
+      - cyning-harness:begin/end marker 可 merge 区段
+
+  - id: VERIFY_TRACK
+    name: 验证本体
+    files:
+      - wizard/gate-check.sh
+      - test/  # npm test · audit · gate-check.graph
+    primitives_used: [K, H]
+    core_classes:
+      - GateCheckRun
+      - VerifyArtifact
+    key_relations:
+      - Task --verifiedBy--> VerifyArtifact
+      - GateCheckRun --CHECKED--> Task
+    key_axioms:
+      - gate-check 机械扫描 active task 闸表
+      - v1.0 gate-check --graph 校验 Inform 模块依赖
+
+  - id: STANDARDS_TRACK
+    name: 约束本体
+    files: []
+    primitives_used: [K]
+    core_classes:
+      - ConstrainArtifact
+    key_relations:
+      - Task --constrainedBy--> ConstrainArtifact
+    key_axioms: []
+    note: 产品仓模板级 · 实例化后落业务仓 docs/standards/ 与 .cursor/rules/
+
+  - id: WIKI_TRACK
+    name: 知识库本体
+    files: []
+    primitives_used: [T]
+    core_classes: []
+    key_relations: []
+    key_axioms: []
+    note: 产品仓无 coding_wiki · 试点在业务仓
+
+epic_task_mapping:
+  definition: EpicTask 是 Task 的特化子类
+  evidence: DESIGN_ONTOLOGY_v1_zh.md §1.4
+  fields:
+    - depends_on: string[] — 子 Task slug 列表
+    - completion_policy: must_complete_all | any_completes
+    - child_tasks: string[]
+  related_gate: HG-EPIC-ROADMAP（Epic CLOSE 专用闸门）
+  note: Epic 不直接执行 30，通过子 Task 状态聚合判断完成
+
+graph_summary:
+  primitive_lens_used: [T, K, H, B]
+  hgm_node_labels:
+    - BusinessRepository
+    - Task
+    - HumanGate
+    - Hat
+    - AuditReview
+    - InvokeSnapshot
+    - FailureReport
+    - GateCheckRun
+    - SyncOperation
+    - InformArtifact
+  meta_paths_observed:
+    - tkb  # Track/Preset 配置 → 约束键(test_strategy) → Task 实例
+    - htb  # VersionManifest/upgrade 历史 → Track 版本 → 同步产物
+  missing_meta_paths:
+    - 显式 T→K→B schema 未落盘（仅 Prompt G0 Lens 分析用）
+    - ontology.yaml 机器可读双轨未实现
+
+legacy_pending_delete: []  # 产品仓无 .ai.md
+
+gaps:
+  - manifest 路径 STRATEGY_ONTOLOGY_cyning_harness_v1_zh.md 不存在；实际为 pointers/STRATEGY_ONTOLOGY_v1_zh.md（POINTER）
+  - PRODUCT_ONTOLOGY_v1.1.md 未发现
+  - harness/meta/ontology.yaml 未实现（v0.4+ 规划 · DESIGN_ONTOLOGY §0.4 仅文档骨架）
+  - 产品仓无 docs/_tech_graph/ · Inform GraphTrack 在业务仓试点
+  - WIKI_TRACK / STANDARDS_TRACK 在产品仓仅为模板引用 · 无实例文件

package/docs/methodology/graph/schemas/hgm_event_v1.schema.json

@@ -0,0 +1,301 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://cyning.dev/schemas/cyning-harness/hgm_event.v1.json",
+  "title": "cyning-harness HGM Event v1",
+  "description": "Harness Graph Model 过程轨事件 schema · append-only JSONL · v2.0+",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["event_id", "type", "occurred_at", "actor", "subject", "data"],
+  "properties": {
+    "event_id": {
+      "type": "string",
+      "pattern": "^evt:[0-9]{8}T[0-9]{6}Z:[0-9]{3,}$",
+      "description": "全局唯一事件 ID · 格式 evt:{YYYYMMDD}T{HHMMSS}Z:{seq}"
+    },
+    "type": {
+      "type": "string",
+      "enum": [
+        "RepositoryAdopted",
+        "TaskCreated",
+        "TaskStatusChanged",
+        "GateStatusChanged",
+        "HumanGateRejected",
+        "AuditReviewProduced",
+        "InvokeSnapshotCreated",
+        "FailureReportProduced",
+        "GateCheckRunCompleted",
+        "SyncOperationCompleted",
+        "InformArtifactUpdated",
+        "CorrectionEvent"
+      ],
+      "description": "事件类型"
+    },
+    "occurred_at": {
+      "type": "string",
+      "format": "date-time",
+      "description": "事件发生 UTC 时间 · ISO 8601"
+    },
+    "actor": {
+      "type": "string",
+      "pattern": "^(maintainer|gate-check|sync|ci|agent:[a-zA-Z0-9_-]+|manual|system)$",
+      "description": "动作主体"
+    },
+    "subject": {
+      "type": "string",
+      "minLength": 1,
+      "description": "事件主题节点 ID · 如 task:{slug} / gate:{slug}:{gate_id}"
+    },
+    "data": {
+      "description": "事件 payload"
+    },
+    "source": {
+      "type": "string",
+      "enum": ["file_watch", "gate-check.sh", "harness-sync.sh", "manual", "cli", "agent"],
+      "description": "事件采集来源"
+    },
+    "supersedes": {
+      "type": "string",
+      "pattern": "^evt:[0-9]{8}T[0-9]{6}Z:[0-9]{3,}$",
+      "description": "CorrectionEvent 指向被修正的事件 ID（可选）"
+    }
+  },
+  "$defs": {
+    "statusValue": {
+      "type": "string",
+      "enum": ["draft", "pending", "in_progress", "approved", "rejected", "done", "archived"]
+    },
+    "taskSubject": {
+      "type": "string",
+      "pattern": "^task:[a-zA-Z0-9_-]+$"
+    },
+    "gateSubject": {
+      "type": "string",
+      "pattern": "^gate:[a-zA-Z0-9_-]+:[a-zA-Z0-9_-]+$"
+    }
+  },
+  "allOf": [
+    {
+      "if": { "properties": { "type": { "const": "RepositoryAdopted" } } },
+      "then": {
+        "properties": {
+          "subject": { "pattern": "^repo:[a-zA-Z0-9_-]+$" },
+          "data": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["manifest_version", "preset"],
+            "properties": {
+              "manifest_version": { "type": "string" },
+              "preset": { "type": "string" },
+              "ide": { "type": "array", "items": { "type": "string" } }
+            }
+          }
+        }
+      }
+    },
+    {
+      "if": { "properties": { "type": { "const": "TaskCreated" } } },
+      "then": {
+        "properties": {
+          "subject": { "$ref": "#/$defs/taskSubject" },
+          "data": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["task_slug", "title", "status"],
+            "properties": {
+              "task_slug": { "type": "string" },
+              "title": { "type": "string" },
+              "status": { "$ref": "#/$defs/statusValue" },
+              "path": { "type": "string" },
+              "tags": { "type": "array", "items": { "type": "string" } }
+            }
+          }
+        }
+      }
+    },
+    {
+      "if": { "properties": { "type": { "const": "TaskStatusChanged" } } },
+      "then": {
+        "properties": {
+          "subject": { "$ref": "#/$defs/taskSubject" },
+          "data": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["old_status", "new_status"],
+            "properties": {
+              "old_status": { "$ref": "#/$defs/statusValue" },
+              "new_status": { "$ref": "#/$defs/statusValue" },
+              "artifact": { "type": "string" }
+            }
+          }
+        }
+      }
+    },
+    {
+      "if": { "properties": { "type": { "const": "GateStatusChanged" } } },
+      "then": {
+        "properties": {
+          "subject": { "$ref": "#/$defs/gateSubject" },
+          "data": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["old_status", "new_status", "task_slug", "human_gate_id"],
+            "properties": {
+              "old_status": { "$ref": "#/$defs/statusValue" },
+              "new_status": { "$ref": "#/$defs/statusValue" },
+              "task_slug": { "type": "string" },
+              "human_gate_id": { "type": "string" },
+              "blocks_hats": { "type": "array", "items": { "type": "string" } }
+            }
+          }
+        }
+      }
+    },
+    {
+      "if": { "properties": { "type": { "const": "HumanGateRejected" } } },
+      "then": {
+        "properties": {
+          "subject": { "$ref": "#/$defs/gateSubject" },
+          "data": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["task_slug", "human_gate_id", "reason"],
+            "properties": {
+              "task_slug": { "type": "string" },
+              "human_gate_id": { "type": "string" },
+              "reason": { "type": "string" },
+              "returns_to_status": { "$ref": "#/$defs/statusValue" }
+            }
+          }
+        }
+      }
+    },
+    {
+      "if": { "properties": { "type": { "const": "AuditReviewProduced" } } },
+      "then": {
+        "properties": {
+          "subject": { "$ref": "#/$defs/taskSubject" },
+          "data": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["review_path", "round"],
+            "properties": {
+              "review_path": { "type": "string" },
+              "round": { "type": "string", "enum": ["R1", "R2", "CLOSE"] },
+              "hat_id": { "type": "string" }
+            }
+          }
+        }
+      }
+    },
+    {
+      "if": { "properties": { "type": { "const": "InvokeSnapshotCreated" } } },
+      "then": {
+        "properties": {
+          "subject": { "$ref": "#/$defs/taskSubject" },
+          "data": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["invoke_path"],
+            "properties": {
+              "invoke_path": { "type": "string" },
+              "hat_id": { "type": "string" }
+            }
+          }
+        }
+      }
+    },
+    {
+      "if": { "properties": { "type": { "const": "FailureReportProduced" } } },
+      "then": {
+        "properties": {
+          "subject": { "$ref": "#/$defs/taskSubject" },
+          "data": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["failure_path", "at_gate"],
+            "properties": {
+              "failure_path": { "type": "string" },
+              "at_gate": { "type": "string" },
+              "reason": { "type": "string" }
+            }
+          }
+        }
+      }
+    },
+    {
+      "if": { "properties": { "type": { "const": "GateCheckRunCompleted" } } },
+      "then": {
+        "properties": {
+          "subject": { "$ref": "#/$defs/taskSubject" },
+          "data": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["exit_code", "task_slug"],
+            "properties": {
+              "exit_code": { "type": "integer" },
+              "task_slug": { "type": "string" },
+              "graph_checked": { "type": "boolean" },
+              "audit_checked": { "type": "boolean" }
+            }
+          }
+        }
+      }
+    },
+    {
+      "if": { "properties": { "type": { "const": "SyncOperationCompleted" } } },
+      "then": {
+        "properties": {
+          "subject": { "pattern": "^repo:[a-zA-Z0-9_-]+$" },
+          "data": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["mode", "version"],
+            "properties": {
+              "mode": { "type": "string", "enum": ["plan", "apply"] },
+              "version": { "type": "string" },
+              "files_touched": { "type": "array", "items": { "type": "string" } }
+            }
+          }
+        }
+      }
+    },
+    {
+      "if": { "properties": { "type": { "const": "InformArtifactUpdated" } } },
+      "then": {
+        "properties": {
+          "subject": { "pattern": "^inform:.+" },
+          "data": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["path", "inform_schema"],
+            "properties": {
+              "path": { "type": "string" },
+              "inform_schema": { "type": "string" },
+              "compiled_from": { "type": "string" }
+            }
+          }
+        }
+      }
+    },
+    {
+      "if": { "properties": { "type": { "const": "CorrectionEvent" } } },
+      "then": {
+        "required": ["supersedes"],
+        "properties": {
+          "subject": { "minLength": 1 },
+          "data": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["field", "old_value", "new_value"],
+            "properties": {
+              "field": { "type": "string" },
+              "old_value": {},
+              "new_value": {},
+              "reason": { "type": "string" }
+            }
+          }
+        }
+      }
+    }
+  ]
+}

package/examples/demo_checkout/00_main.graph.yaml

@@ -0,0 +1,42 @@
+schema_version: "inform_graph.v3"
+graph_id: "00_main"
+title: "Harness P0 金样流程"
+description: "demo_checkout 最小 SDD 闭环流程图"
+version: "2026-06-17"
+direction: "TD"
+
+nodes:
+  - id: "START"
+    label: "空 Git 仓"
+  - id: "INIT"
+    label: "harness init"
+  - id: "TASK"
+    label: "task_demo_p0_golden"
+  - id: "R1"
+    label: "22 审核帽"
+  - id: "GATE"
+    label: "gate-check"
+  - id: "EXEC"
+    label: "30 执行帽"
+  - id: "DONE"
+    label: "P0 通过"
+
+edges:
+  - from: "START"
+    to: "INIT"
+    label: "install.sh"
+  - from: "INIT"
+    to: "TASK"
+    label: "复制金样 task"
+  - from: "TASK"
+    to: "R1"
+    label: "10 → 22"
+  - from: "R1"
+    to: "GATE"
+    label: "HG-AUDIT-R1 approved"
+  - from: "GATE"
+    to: "EXEC"
+    label: "exit 0"
+  - from: "EXEC"
+    to: "DONE"
+    label: "40 自检"

package/examples/demo_checkout/00_main.md

@@ -0,0 +1,66 @@
+---
+graph_id: 00_main
+version: 2026-06-17
+generated_at: 2026-06-17T06:16:31Z
+source: 00_main.graph.yaml
+---
+
+# Harness P0 金样流程
+
+demo_checkout 最小 SDD 闭环流程图
+
+## Mermaid
+
+```mermaid
+flowchart TD
+    START[空 Git 仓]
+    INIT[harness init]
+    TASK[task_demo_p0_golden]
+    R1[22 审核帽]
+    GATE[gate-check]
+    EXEC[30 执行帽]
+    DONE[P0 通过]
+
+    START --"install.sh"--> INIT
+    INIT --"复制金样 task"--> TASK
+    TASK --"10 → 22"--> R1
+    R1 --"HG-AUDIT-R1 approved"--> GATE
+    GATE --"exit 0"--> EXEC
+    EXEC --"40 自检"--> DONE
+
+    classDef phase fill:#e1f5fe,stroke:#01579b,stroke-width:2px
+    classDef doc fill:#fff8e1,stroke:#ff6f00,stroke-width:1px
+    classDef infra fill:#e8f5e9,stroke:#2e7d32,stroke-width:1px
+```
+
+## Structured Data
+
+### Nodes
+
+| ID | Label | Kind |
+|----|-------|------|
+| START | 空 Git 仓 |  |
+| INIT | harness init |  |
+| TASK | task_demo_p0_golden |  |
+| R1 | 22 审核帽 |  |
+| GATE | gate-check |  |
+| EXEC | 30 执行帽 |  |
+| DONE | P0 通过 |  |
+
+### Edges
+
+| From | To | Mark | Type | Label | Anchors |
+|------|----|------|------|-------|---------|
+| START | INIT | -> | depends_on | install.sh |  |
+| INIT | TASK | -> | depends_on | 复制金样 task |  |
+| TASK | R1 | -> | depends_on | 10 → 22 |  |
+| R1 | GATE | -> | depends_on | HG-AUDIT-R1 approved |  |
+| GATE | EXEC | -> | depends_on | exit 0 |  |
+| EXEC | DONE | -> | depends_on | 40 自检 |  |
+
+## Sub-graph Links
+
+- `Struct`: [`01_struct.md`](01_struct.md)（手写 · 无 `.graph.yaml`）
+- `Version`: [`02_version.md`](02_version.md)（手写 · 无 `.graph.yaml`）
+- 子图编辑源见 `docs/_tech_graph/*.graph.yaml`
+

package/examples/demo_checkout/README.md

@@ -10,6 +10,9 @@
 | --- | --- |
 | [`task_demo_p0_golden_v1.md`](./task_demo_p0_golden_v1.md) | 金样 task · 复制到 `docs/tasks/active/` |
 | [`ACCEPTANCE.md`](./ACCEPTANCE.md) | 分阶段验收勾选 |
+| [`00_main.graph.yaml`](./00_main.graph.yaml) | Inform-YAML v3 编辑源示例（v1.1+） |
+| [`00_main.md`](./00_main.md) | 由 `graph yaml compile` 生成的人类可读图 |
+| [`graph.json`](./graph.json) | 由 YAML 物化的机器可读图切片 |
 | `reviews/` | （自行创建）22 产出落盘目录 |
 
 ---