@cyning/harness 1.0.1 → 1.1.0

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

@@ -0,0 +1,283 @@
+# G0 本体构成扫描 · 试点仓辅助报告
+# 生成：ontology-inventory-scan-g0 · 30 执行 · freeze_id ONTOLOGY-INVENTORY-G0
+# 约束：只读扫描 · 未删 .ai.md · 未改 export/compile
+
+project: ai-ink-brain-api-python
+scan_date: "2026-06-17"
+report_role: pilot_reference
+prompt_version: "1.3"
+freeze_id: ONTOLOGY-INVENTORY-G0
+
+preconditions:
+  P1: pass  # 扫描源 = ai-ink-brain-api-python/
+  P2: pass  # docs/_tech_graph/00_main.graph.yaml 存在且非空
+  P3: inventory_only  # 7× .ai.md 列入 legacy_pending_delete · 不阻断
+  P4: pass  # HG-TASK-DRAFT approved
+  P5: pass  # G0 讨论素材
+
+scanned_manifest:
+  pilot_manifest:
+    - path: docs/_tech_graph/00_main.graph.yaml
+      role: 图源 YAML（主流程）
+      exists: true
+      graph_id: "00_main"
+      node_count: 24
+    - path: docs/_tech_graph/10_flow_rag.graph.yaml
+      role: 图源 YAML（RAG 子流程）
+      exists: true
+      graph_id: "10_flow_rag"
+    - path: docs/_tech_graph/11_flow_text2sql.graph.yaml
+      role: 图源 YAML（Text2SQL 子流程）
+      exists: true
+      graph_id: "11_flow_text2sql"
+    - path: docs/_tech_graph/12_flow_fts.graph.yaml
+      role: 图源 YAML（FTS 子流程）
+      exists: true
+      graph_id: "12_flow_fts"
+    - path: docs/_tech_graph/13_flow_supabase_rpc.graph.yaml
+      role: 图源 YAML（Supabase RPC 子流程）
+      exists: true
+      graph_id: "13_flow_supabase_rpc"
+    - path: docs/_tech_graph/14_runtime_observability.graph.yaml
+      role: 图源 YAML（运行时可观测）
+      exists: true
+      graph_id: "14_runtime_observability"
+    - path: docs/_tech_graph/15_e2e_boundary.graph.yaml
+      role: 图源 YAML（E2E 边界）
+      exists: true
+      graph_id: "15_e2e_boundary"
+    - path: docs/_tech_graph/_manifest.json
+      role: 端点/表/env 索引本体
+      exists: true
+      schema_version: tech_graph_manifest_v1
+      endpoint_count: 18
+      table_count: 5
+      env_count: 53
+    - path: docs/_tech_graph/_contract_manifest.json
+      role: 契约/公理本体
+      exists: true
+      schema_version: tech_graph_contract_manifest_v1
+      topic: unified_chat_sse_contract
+    - path: docs/_tech_graph/99_spec.md
+      role: 治理/规约本体
+      exists: true
+    - path: docs/_tech_graph/01_struct.md
+      role: 数据结构本体
+      exists: true
+    - path: docs/_tech_graph/graph.json
+      role: 物化图（由 YAML export 生成，非手写）
+      exists: true
+      node_count: 135
+      edge_count: 186
+      graph_ids: [00_main, 10_flow_rag, 11_flow_text2sql, 12_flow_fts, 13_flow_supabase_rpc, 14_runtime_observability, 15_e2e_boundary]
+
+meta_ontology:
+  implicit_primitive_lens:
+    present: true
+    documents:
+      - 99_spec.md  # AI 行为约束 C1–C6 · drift_check 锚点
+      - _contract_manifest.json  # payload_min_keys · allowed_events 作 K 类锚点
+  explicit_meta_path_convention:
+    present: true
+    documents:
+      - 99_spec.md  # YAML 单源 → compile → .md · export → graph.json
+    note: Inform YAML 闭环（P0–P1 done）· .ai.md 已 deprecated
+  global_axioms:
+    present: true
+    source: 99_spec.md + CI tools/
+    axioms_sample:
+      - 禁止编造不存在的表/字段/RPC/端点
+      - 端点/RPC/表/env 变更须同步 _manifest.json
+      - graph.json 禁止手改 · 由 YAML export 生成
+      - _contract_manifest payload_min_keys 删改导致 contract_check 失败
+
+sub_ontologies:
+  - id: GRAPH_TRACK
+    name: 图源本体
+    files:
+      - docs/_tech_graph/00_main.graph.yaml
+      - docs/_tech_graph/10_flow_rag.graph.yaml
+      - docs/_tech_graph/11_flow_text2sql.graph.yaml
+      - docs/_tech_graph/12_flow_fts.graph.yaml
+      - docs/_tech_graph/13_flow_supabase_rpc.graph.yaml
+      - docs/_tech_graph/14_runtime_observability.graph.yaml
+      - docs/_tech_graph/15_e2e_boundary.graph.yaml
+      - docs/_tech_graph/graph.json
+    primitives_used: [T, K, H]
+    core_classes:
+      - GraphNode
+      - GraphEdge
+      - Anchor
+      - InformArtifact
+    key_relations:
+      - graph.yaml --compile--> *.md
+      - graph.yaml --export--> graph.json
+      - Node --depends_on--> Node  # mark -> ~> ?> 等拓扑边
+      - Edge --anchor--> api/*.py symbol
+    key_axioms:
+      - 单图编辑源为 .graph.yaml
+      - flowchart 须遵循 99_mermaid_protocol.md 拓扑协议（历史 .ai.md 承载）
+
+  - id: GOVERNANCE_TRACK
+    name: 治理本体
+    files:
+      - docs/_tech_graph/99_spec.md
+      - docs/_tech_graph/_contract_manifest.json
+      - docs/_tech_graph/_manifest.json
+      - docs/_tech_graph/_test_manifest.json
+    primitives_used: [K, H]
+    core_classes:
+      - ContractManifest
+      - TechGraphManifest
+      - TestManifest
+    key_relations:
+      - CI --validates--> _manifest.json
+      - CI --validates--> _contract_manifest.json
+      - drift_check --scans--> docs/_tech_graph/*.md
+    key_axioms:
+      - tech_graph_manifest_check.py 门禁
+      - tech_graph_contract_check.py SSE 键名校验
+      - tech_graph_drift_check.py 子串匹配防静默过期
+
+  - id: STANDARDS_TRACK
+    name: 约束本体（数据结构规约）
+    files:
+      - docs/_tech_graph/01_struct.md
+    primitives_used: [T, B]
+    core_classes:
+      - documents
+      - code_chunks
+      - chatbi_access_tokens
+      - rag_conversation_logs
+      - FileMeta
+    key_relations:
+      - documents --> FileMeta : metadata
+      - code_chunks --> FileMeta : metadata
+    key_axioms:
+      - Struct 表达 DB 结构 · 来源 supabase/sql/*.sql
+
+  - id: PROCESS_TRACK
+    name: 过程本体
+    files:
+      - docs/tasks/active/
+      - docs/harness/
+      - docs/tasks/RECENT_TASK_SCHEDULE.md
+    primitives_used: [T, H, B]
+    core_classes:
+      - Task
+      - InvokeSnapshot
+      - HumanGate
+    key_relations:
+      - Task --mustRead--> InformArtifact  # _tech_graph/*
+      - Task --blocks--> graph-yaml-remove-ai-md  # 待 G0 关账后
+    key_axioms:
+      - Harness SDD 帽链 10→22→30→40
+      - Inform 闭环 P0–P1 done（PR #178）
+
+  - id: VERIFY_TRACK
+    name: 验证本体
+    files:
+      - .github/workflows/tech-graph.yml
+      - tools/tech_graph_manifest_check.py
+      - tools/tech_graph_contract_check.py
+      - tools/tech_graph_drift_check.py
+      - tools/tech_graph_test_manifest_check.py
+      - tools/graph_yaml_compile.py
+      - tools/graph_yaml_export.py
+    primitives_used: [K, H]
+    core_classes:
+      - VerifyArtifact
+      - GateCheckRun
+    key_relations:
+      - CI --runs--> manifest_check / contract_check / drift_check
+      - export --generates--> graph.json
+    key_axioms:
+      - pytest 排除 intent_eval / intent_benchmark
+      - graph.json 白名单手改禁止
+
+  - id: WIKI_TRACK
+    name: 知识库本体
+    files:
+      - docs/coding_wiki/syntheses/
+      - docs/spec/governance/SPEC-Governance-Wiki-TechGraph-Bridge-v1.md
+    primitives_used: [T, K]
+    core_classes:
+      - WikiSynthesis
+      - graph_nodes  # frontmatter 种子
+    key_relations:
+      - WikiSynthesis --graph_nodes--> GraphNode
+      - graph_query.py --neighbors/downstream/upstream--> graph.json
+    key_axioms:
+      - coding_wiki_graph_nodes_lint.py 校验 frontmatter
+
+  - id: IDE_TRACK
+    name: IDE 适配本体
+    files:
+      - AGENTS.md
+      - .cursor/rules/
+    primitives_used: [K]
+    core_classes:
+      - ConstrainArtifact
+    key_relations:
+      - Task --constrainedBy--> ConstrainArtifact
+    key_axioms: []
+
+epic_task_mapping:
+  definition: EpicTask 是 Task 的特化子类
+  evidence: cyning-harness DESIGN_ONTOLOGY_v1_zh.md §1.4（试点仓引用产品语义真值）
+  fields:
+    - depends_on: string[] — 子 Task slug 列表
+    - completion_policy: must_complete_all | any_completes
+  related_gate: HG-EPIC-ROADMAP
+  note: 试点仓 RECENT_TASK_SCHEDULE §1.7 G0 链 #1/3 为本扫描 task
+
+graph_summary:
+  primitive_lens_used: [T, K, H, B]
+  hgm_node_labels:
+    - InformArtifact  # _tech_graph/* 映射
+    - Task
+    - HumanGate
+    - InvokeSnapshot
+  meta_paths_observed:
+    - tkb  # flow 图 Topic → contract payload_min_keys → 业务端点/表实体
+    - htb  # git/02_version → YAML 版本字段 → graph.json 物化
+    - tkh  # Track 命名（GRAPH vs PROCESS）→ CI 键校验 → merge 门禁
+  missing_meta_paths:
+    - HGM events/*.jsonl 未启用（G1 deferred）
+    - 部分 Sub-graph 死链（并行 task graph-yaml-subgraph-nit）
+
+legacy_pending_delete:
+  - path: docs/_tech_graph/00_main.ai.md
+    status: deprecated_readonly
+    successor: docs/_tech_graph/00_main.graph.yaml
+    note: 删源 task graph-yaml-remove-ai-md · 须 HG-INVENTORY-ARCHIVED 后
+  - path: docs/_tech_graph/10_flow_rag.ai.md
+    status: deprecated_readonly
+    successor: docs/_tech_graph/10_flow_rag.graph.yaml
+    note: 删源 task graph-yaml-remove-ai-md · 须 HG-INVENTORY-ARCHIVED 后
+  - path: docs/_tech_graph/11_flow_text2sql.ai.md
+    status: deprecated_readonly
+    successor: docs/_tech_graph/11_flow_text2sql.graph.yaml
+    note: 删源 task graph-yaml-remove-ai-md · 须 HG-INVENTORY-ARCHIVED 后
+  - path: docs/_tech_graph/12_flow_fts.ai.md
+    status: deprecated_readonly
+    successor: docs/_tech_graph/12_flow_fts.graph.yaml
+    note: 删源 task graph-yaml-remove-ai-md · 须 HG-INVENTORY-ARCHIVED 后
+  - path: docs/_tech_graph/13_flow_supabase_rpc.ai.md
+    status: deprecated_readonly
+    successor: docs/_tech_graph/13_flow_supabase_rpc.graph.yaml
+    note: 删源 task graph-yaml-remove-ai-md · 须 HG-INVENTORY-ARCHIVED 后
+  - path: docs/_tech_graph/14_runtime_observability.ai.md
+    status: deprecated_readonly
+    successor: docs/_tech_graph/14_runtime_observability.graph.yaml
+    note: 删源 task graph-yaml-remove-ai-md · 须 HG-INVENTORY-ARCHIVED 后
+  - path: docs/_tech_graph/15_e2e_boundary.ai.md
+    status: deprecated_readonly
+    successor: docs/_tech_graph/15_e2e_boundary.graph.yaml
+    note: 删源 task graph-yaml-remove-ai-md · 须 HG-INVENTORY-ARCHIVED 后
+
+gaps:
+  - 7× .ai.md 仍存 · 已标 legacy_pending_delete · 待后继 task 删除
+  - Sub-graph 死链未修（非本 task 范围 · graph-yaml-subgraph-nit 并行）
+  - HGM G1 ingest 未实现（task_cyning_harness_g1_hgm_v2_v1 · blocked）
+  - 02_version.md 未列入 pilot_manifest 固定清单（存在但未逐文件展开）

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/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 产出落盘目录 |
 
 ---