Skill 注入面（道/术、v3 注入）

← 返回总览 · 系统总列表 · 版块「运行时执行面」

证据锚

• adhoc_jobs/context_infra_migration_20260709/runs/r012_20260716_injection_v3_orchestrator_isolation/FINAL_REPORT.md · 2026-07-16
• contexts/survey_sessions/trace_base_tooling_state_audit_20260719_manual.md · 2026-07-19

未决项（3）

• #ISO-FENCE 单元（旧根写入运行时拒绝 + 独立 HOME 测试底座）排期未定，推荐插波次1
• route_hint 依赖 INDEX triggers 人工维护，新 skill 不写则 Layer A 盲区
• 四层证据 schema（delivered/read/applied/effective receipt）未实施

进出边（消费链登记）

← Unified Gate / Quality Gate Framework（ok：记分牌免疫链注入）；← Receipts / Trace 记录面（broken：skill_check 休眠）

结构图（16 张 · 快照）

flowchart LR
  subgraph 图例["图例(色=结构角色 / 线型=关系)"]
    direction LR
    lg1["核心枢纽(纲领+adapter)"]:::added
    lg2["机制/纪律 du(复用 adapter 真源)"]:::existing
    lg3["运行面产物(非 du)"]:::output
    lg4["外部宿主/系统(域外参与者)"]:::external
  end
  classDef added fill:#d4edda,stroke:#28a745,color:#155724;
  classDef existing fill:#e2e3e5,stroke:#6c757d,color:#41464b;
  classDef output fill:#cfe2ff,stroke:#0d6efd,color:#084298;
  classDef external fill:#ffffff,stroke:#adb5bd,color:#495057,stroke-dasharray:4 3;

flowchart TB
  du_charter["du_charter<br/>核心对等迁移目标(纲领前提)"]:::added

  subgraph adapter_container["du_host_adapter容器(薄bridge)"]
    direction TB
    du_host_adapter["du_host_adapter<br/>Host Adapter 架构"]:::added
    du_session_precise["du_session_precise<br/>session前缀隔离+精确采集"]:::existing
    du_git_model["du_git_model<br/>Git提交模型(复用CC隔离链)"]:::existing
    du_governance["du_governance<br/>治理hook对等+receipts反作弊"]:::existing
    du_phase_matrix["du_phase_matrix<br/>Phase追踪能力矩阵(四档并存)"]:::existing
    du_codex_managed["du_codex_managed<br/>Codex managed hook路径"]:::existing
    du_opencode_iface["du_opencode_iface<br/>OpenCode接口选择(TS plugin)"]:::existing
  end

  du_real_verify["du_real_verify<br/>真实session验证纪律(横切验收)"]:::added

  refs_sessions_prefixed[("refs/sessions/&lt;prefixed&gt;<br/>运行面产物,非 du")]:::output

  %% ---- 纲领与承载边 ----
  du_charter -->|纲领前提| du_host_adapter
  du_host_adapter -->|承载| du_session_precise
  du_host_adapter -->|承载| du_git_model
  du_host_adapter -->|承载| du_governance
  du_host_adapter -->|承载| du_phase_matrix
  du_host_adapter -->|承载| du_codex_managed
  du_host_adapter -->|承载| du_opencode_iface

  %% ---- 机制 du 之间/回 adapter 的边 ----
  du_session_precise -->|前缀隔离| du_git_model
  du_git_model -->|写入| refs_sessions_prefixed
  du_governance -->|受保护 receipt| du_host_adapter
  du_phase_matrix -->|能力上限标注| du_charter
  du_codex_managed -->|接线| du_host_adapter
  du_opencode_iface -->|接线| du_host_adapter

  %% ---- 验收闸(横切) ----
  du_real_verify -->|验收闸| du_git_model
  du_real_verify -->|验收闸| du_governance
  du_real_verify -->|验收闸| du_phase_matrix

  classDef added fill:#d4edda,stroke:#28a745,color:#155724;
  classDef existing fill:#e2e3e5,stroke:#6c757d,color:#41464b;
  classDef output fill:#cfe2ff,stroke:#0d6efd,color:#084298;
  classDef external fill:#ffffff,stroke:#adb5bd,color:#495057,stroke-dasharray:4 3;

flowchart TB
  subgraph DF1["DF1 git spine提交流"]
    direction LR
    df1_start["host SessionStart"]:::existing
    df1_index["建session index<br/>(read-tree HEAD)+baseline"]:::output
    df1_post["host PostToolUse<br/>precise stage payload"]:::output
    df1_end["host session结束"]:::existing
    df1_write["write-tree→commit-tree<br/>→update-ref"]:::output
    df1_start -->|触发| df1_index
    df1_index -->|喂| df1_post
    df1_post -->|喂| df1_end
    df1_end -->|触发| df1_write
  end

  subgraph DF2["DF2 治理注入流"]
    direction LR
    df2_start["SessionStart"]:::existing
    df2_rules["注入rules/_MANDATORY.md清单"]:::output
    df2_prompt["UserPromptSubmit"]:::existing
    df2_route["route_on_prompt<br/>产additionalContext"]:::output
    df2_start -->|触发| df2_rules
    df2_prompt -->|触发| df2_route
  end

  subgraph DF3["DF3 receipt流"]
    direction LR
    df3_post["PostToolUse<br/>(Skill/Read/Agent)"]:::existing
    df3_record["receipts.record<br/>(caller/source双标记)"]:::output
    df3_gate["cc_hook_provenance_gate<br/>事后守护台账"]:::external
    df3_post -->|触发| df3_record
    df3_record -->|受保护 receipt| df3_gate
  end

  subgraph DF4["DF4 phase驱动流(Codex)"]
    direction LR
    df4_stop["Stop"]:::existing
    df4_check["stop_phase_check rc"]:::output
    df4_branch{"rc==2 且<br/>PROPAGATE 开?"}:::existing
    df4_block["block-and-reprompt"]:::output
    df4_record["record-only(生产默认)"]:::output
    df4_stop -->|触发| df4_check
    df4_check -->|判定| df4_branch
    df4_branch -->|是| df4_block
    df4_branch -->|否| df4_record
  end

  subgraph DF5["DF5 phase替代流(OpenCode)"]
    direction LR
    df5_idle["session.idle"]:::existing
    df5_record["事后记录(record-only)"]:::output
    df5_driver["opencode_phase_driver<br/>wrapper(候选,未接线)"]:::external
    df5_loop["run→check→re-run循环"]:::output
    df5_idle -->|触发| df5_record
    df5_driver -->|另路承诺| df5_loop
  end

  classDef existing fill:#e2e3e5,stroke:#6c757d,color:#41464b;
  classDef output fill:#cfe2ff,stroke:#0d6efd,color:#084298;
  classDef external fill:#ffffff,stroke:#adb5bd,color:#495057,stroke-dasharray:4 3;

flowchart LR
  subgraph legend["图例 颜色=verdict 线型=关系"]
    direction LR
    lg1["landed 已落地"]:::landed
    lg2["partial 部分实现 缺B"]:::partial
    lg3["drift 漂移 意图与实现偏离"]:::drift
    lg5["实线示例 强依赖调用"]
    lg6["虚线示例 弱依赖或守护"]
  end
  lg5 -->|"实线=imports/calls/deploys 强依赖"| lg1
  lg6 -.->|"虚线=guards 松耦合守护 见标签"| lg3
  classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
  classDef partial fill:#fff3cd,stroke:#d39e00,color:#856404;
  classDef drift fill:#ffe5d0,stroke:#fd7e14,stroke-width:2px,color:#7a3d00,stroke-dasharray:5 3;

flowchart TB
  subgraph CORE["hook_bridge core 共享包"]
    direction TB
    C1["C1 common.py"]:::landed
    C2["C2 codex_bridge.py"]:::landed
    C3["C3 tool_paths.py"]:::landed
    C4["C4 snapshot.py"]:::landed
    C5["C5 git_guard.py"]:::landed
    C6["C6 governance.py"]:::landed
    C7["C7 receipts.py"]:::landed
  end
  subgraph CAP["capabilities 子系统"]
    direction TB
    C9["C9 capabilities.py"]:::landed
    C10["C10 capability_check.py"]:::landed
  end
  subgraph OC["opencode 子包"]
    direction TB
    C11["C11 context_infra_hooks.ts"]:::landed
    C12["C12 opencode_bridge.py"]:::landed
    C13["C13 opencode_phase_driver.py 缺B"]:::partial
  end
  subgraph GATE["cc_hook_provenance_gate 独立包"]
    direction TB
    C8["C8 check.py"]:::drift
  end
  subgraph DEPLOY["部署面"]
    direction TB
    C14["C14 install.sh"]:::landed
  end
  CORE -->|"C2/C12 均 import C1/C5/C6/C7 共享件"| CORE
  OC -->|"C11 subprocess 调 C12"| OC
  CAP -->|"C10 import C9"| CAP
  GATE -.->|"守护(松耦合无import) C8 guards C7"| CORE
  DEPLOY -->|"C14 deploys C2/C11 calls C10"| CORE
  DEPLOY -->|"C14 calls C10"| CAP
  DEPLOY -->|"C14 deploys C11"| OC
  classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
  classDef partial fill:#fff3cd,stroke:#d39e00,color:#856404;
  classDef drift fill:#ffe5d0,stroke:#fd7e14,stroke-width:2px,color:#7a3d00,stroke-dasharray:5 3;

flowchart TB
  C1["C1 common.py git spine核心"]:::landed
  C2["C2 codex_bridge.py Codex host翻译"]:::landed
  C3["C3 tool_paths.py precise路径"]:::landed
  C4["C4 snapshot.py 兜底快照"]:::landed
  C5["C5 git_guard.py 危险操作守卫"]:::landed
  C6["C6 governance.py 规则注入skill路由"]:::landed
  C7["C7 receipts.py caller前缀锚定"]:::landed
  C12["C12 opencode_bridge.py OpenCode host翻译"]:::landed
  C2 -->|"imports codex_bridge.py:67-72"| C1
  C2 -->|"imports precise路径提取"| C3
  C2 -->|"imports 兜底"| C4
  C2 -->|"imports 共享守卫"| C5
  C2 -->|"imports codex_bridge.py:69"| C6
  C2 -->|"imports codex_bridge.py:70"| C7
  C12 -->|"imports opencode_bridge.py:57"| C1
  C12 -->|"imports 共享"| C6
  C12 -->|"imports 共享"| C7
  C12 -->|"imports 共享"| C5
  classDef landed fill:#d4edda,stroke:#28a745,color:#155724;

flowchart TB
  C7["C7 receipts.py caller前缀锚定 landed"]:::landed
  C8["C8 check.py 反作弊闸 drift"]:::drift
  C13["C13 opencode_phase_driver.py 缺B partial"]:::partial
  C14["C14 install.sh 部署面"]:::landed
  C8 -.->|"守护(松耦合无import) 设计意图守护receipt台账,HOOK_SOURCES未纳桥接source"| C7
  C13 -->|"证据消费,非生产接线;未接install.sh"| C14note["verify/opencode_wrapper_*.md 证据消费"]
  classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
  classDef partial fill:#fff3cd,stroke:#d39e00,color:#856404;
  classDef drift fill:#ffe5d0,stroke:#fd7e14,stroke-width:2px,color:#7a3d00,stroke-dasharray:5 3;

flowchart TB
  subgraph CAP["capabilities 子系统"]
    direction LR
    C9["C9 capabilities.py 8类drift检测"]:::landed
    C10["C10 capability_check.py --status/--gate"]:::landed
    C10 -->|"imports capability_check.py:14-17 from .capabilities import"| C9
  end
  subgraph OC["opencode 子包"]
    direction LR
    C11["C11 context_infra_hooks.ts plugin回调"]:::landed
    C12["C12 opencode_bridge.py Python桥"]:::landed
    C11 -->|"calls_via_python_subprocess runBridge* -> cmd_*"| C12
  end
  C2["C2 codex_bridge.py"]:::landed
  C2 -->|"consumed_via_receipts_capability_event receipts.record_capability_event L708/730/751/774"| C9
  classDef landed fill:#d4edda,stroke:#28a745,color:#155724;

flowchart LR
  subgraph CORE["hook_bridge core 共享包"]
    direction TB
    C1["C1 common.py"]:::landed
    C2["C2 codex_bridge.py"]:::landed
    C3["C3 tool_paths.py"]:::landed
    C4["C4 snapshot.py"]:::landed
    C5["C5 git_guard.py"]:::landed
    C6["C6 governance.py"]:::landed
    C7["C7 receipts.py"]:::landed
  end
  subgraph CAP["capabilities 子系统"]
    direction TB
    C9["C9 capabilities.py"]:::landed
    C10["C10 capability_check.py"]:::landed
  end
  subgraph OC["opencode 子包"]
    direction TB
    C11["C11 context_infra_hooks.ts"]:::landed
    C12["C12 opencode_bridge.py"]:::landed
    C13["C13 opencode_phase_driver.py 缺B"]:::partial
  end
  subgraph GATE["cc_hook_provenance_gate 独立包"]
    direction TB
    C8["C8 check.py drift"]:::drift
  end
  subgraph DEPLOY["部署面"]
    direction TB
    C14["C14 install.sh"]:::landed
  end
  C2 -->|"imports"| C1
  C2 -->|"imports"| C3
  C2 -->|"imports"| C4
  C2 -->|"imports"| C5
  C2 -->|"imports"| C6
  C2 -->|"imports"| C7
  C12 -->|"imports"| C1
  C12 -->|"imports"| C6
  C12 -->|"imports"| C7
  C12 -->|"imports"| C5
  C11 -->|"calls_via_python_subprocess"| C12
  C10 -->|"imports"| C9
  C2 -->|"consumed_via_receipts_capability_event"| C9
  C14 -->|"deploys"| C2
  C14 -->|"deploys"| C11
  C14 -->|"calls"| C10
  C8 -.->|"guards 松耦合无import"| C7
  classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
  classDef partial fill:#fff3cd,stroke:#d39e00,color:#856404;
  classDef drift fill:#ffe5d0,stroke:#fd7e14,stroke-width:2px,color:#7a3d00,stroke-dasharray:5 3;

flowchart TB
  AF1["AF1 git spine流 landed<br/>refs450+111残余flake"]:::landed
  AF2["AF2 治理注入流 landed"]:::landed
  AF3["AF3 receipt流 drift<br/>守护84.3%假阳"]:::drift
  AF4["AF4 phase驱动Codex landed"]:::landed
  AF5["AF5 phase替代OC partial<br/>satisfied未观测缺B"]:::partial
  C1n["C1 common.py"]:::landed
  C6n["C6 governance.py"]:::landed
  C7n["C7 receipts.py"]:::landed
  C8n["C8 check.py"]:::drift
  C2n["C2/launcher"]:::landed
  C13n["C13 opencode_phase_driver.py"]:::partial
  AF1 -->|"承载于"| C1n
  AF2 -->|"承载于"| C6n
  AF3 -->|"承载于"| C7n
  AF3 -.->|"守护偏离(drift)"| C8n
  AF4 -->|"承载于"| C2n
  AF5 -->|"承载于(未接生产)"| C13n
  classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
  classDef partial fill:#fff3cd,stroke:#d39e00,color:#856404;
  classDef drift fill:#ffe5d0,stroke:#fd7e14,stroke-width:2px,color:#7a3d00,stroke-dasharray:5 3;

flowchart LR
  subgraph 图例["图例 颜色=gap语义 线型=关系"]
    direction LR
    lg1["landed 正样本对照 21/26 join对"]:::landed
    lg2["partial 部分 缺B"]:::partial
    lg3["drift 设计实现都在但不一致"]:::drift
  end
  classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
  classDef partial fill:#fff3cd,stroke:#d39e00,color:#856404;
  classDef drift fill:#ffe5d0,stroke:#fd7e14,stroke-width:2px,color:#7a3d00,stroke-dasharray:5 3;

flowchart LR
  subgraph MAPPED["21对mapped正样本 7du全部严丝合缝"]
    direction TB
    m1["du_host_adapter×7comp 7对"]:::landed
    m2["du_session_precise×3comp 3对"]:::landed
    m3["du_git_model×C1 1对"]:::landed
    m4["du_governance×2comp 2对"]:::landed
    m5["du_phase_matrix×3comp 3对"]:::landed
    m6["du_codex_managed×2comp 2对"]:::landed
    m7["du_opencode_iface×3comp 3对"]:::landed
  end
  subgraph PARTIAL_PAIR["2对partial 均在du_phase_matrix"]
    direction TB
    p1["du_phase_matrix×C10 --gate staleness"]:::partial
    p2["du_phase_matrix×C13 satisfied未观测"]:::partial
  end
  subgraph DRIFT_PAIR["1对drift du_governance内部"]
    direction TB
    d1["du_governance×C8 反作弊闸84%假阳"]:::drift
  end
  du_charter_note["du_charter×null 设计留白无代码构件"]:::landed
  du_verify_note["du_real_verify×null 验收纪律横切"]:::landed
  MAPPED -->|"21/26 对严丝合缝"| PARTIAL_PAIR
  MAPPED -->|"21/26 对严丝合缝"| DRIFT_PAIR
  classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
  classDef partial fill:#fff3cd,stroke:#d39e00,color:#856404;
  classDef drift fill:#ffe5d0,stroke:#fd7e14,stroke-width:2px,color:#7a3d00,stroke-dasharray:5 3;

flowchart LR
  du_governance["du_governance<br/>治理hook对等+receipts反作弊"]:::landed
  C7["C7 receipts.py caller前缀锚定"]:::landed
  C8["C8 check.py 反作弊闸"]:::drift
  du_codex_managed["du_codex_managed<br/>Codex managed hook路径"]:::landed
  prod_ledger["生产receipts.jsonl 1257条整体跑批"]:::partial
  du_governance -->|"承诺反作弊闭环"| C8
  C7 -->|"receipt写入,caller前缀=codex-/oc-"| prod_ledger
  du_codex_managed -.->|"host-prefixed source未同步进HOOK_SOURCES(drift)"| C8
  C8 -.->|"1060/1257(84.3%)误判FAKE reason=source_not_hook(drift)"| prod_ledger
  classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
  classDef partial fill:#fff3cd,stroke:#d39e00,color:#856404;
  classDef drift fill:#ffe5d0,stroke:#fd7e14,stroke-width:2px,color:#7a3d00,stroke-dasharray:5 3;

flowchart LR
  du_phase_matrix["du_phase_matrix<br/>Phase追踪能力矩阵"]:::landed
  C13["C13 opencode_phase_driver.py 缺B"]:::partial
  drive_loop["drive()主循环<br/>arm-block-correction-giveup"]:::landed
  satisfied_branch["satisfied终态分支 正常退出"]:::partial
  provider_stall["三次provider层卡死"]:::partial
  known_gap_doc["capabilities.yaml known_gap诚实标注"]:::landed
  du_phase_matrix -->|"承诺OpenCode侧同等拉回效果"| C13
  C13 -->|"三次真实host执行验证触发正确运转"| drive_loop
  drive_loop -.->|"三次尝试全卡provider层,非driver bug(缺B)"| provider_stall
  drive_loop -.->|"satisfied分支缺一次真实观测正样本(缺B)"| satisfied_branch
  C13 -->|"诚实兜底,非隐瞒"| known_gap_doc
  classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
  classDef partial fill:#fff3cd,stroke:#d39e00,color:#856404;

flowchart LR
  subgraph PERIPH1["GAP-PARTIAL-CPHB16-STALE"]
    direction TB
    du_phase_matrix_p["du_phase_matrix"]:::landed
    C10["C10 capability_check.py --status/--gate"]:::partial
    gate_exit["--gate持续exit=2 18findings=stale"]:::partial
    du_phase_matrix_p -->|"承诺诚实分档+门禁"| C10
    C10 -.->|"last_verified停07-06,ssot mtime到07-10(缺B:缺一次刷新)"| gate_exit
  end
  subgraph PERIPH2["GAP-RESIDUAL-CPHB08-RACE"]
    direction TB
    du_git_model_p["du_git_model"]:::landed
    C1["C1 common.py _seed_session_index"]:::partial
    flake["6进程并发首建 ~8%残余flake"]:::partial
    du_git_model_p -->|"承诺session精确归属+竞态修复"| C1
    C1 -.->|"OS级index.lock竞态,LOCK_RETRIES=5收窄非零(缺B:待jitter加固)"| flake
  end
  classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
  classDef partial fill:#fff3cd,stroke:#d39e00,color:#856404;

flowchart TB
  MAPPED21["21对mapped正样本 7du严丝合缝"]:::landed

  subgraph CORE["core锚定 salience前2条"]
    direction LR
    GAP1["GAP-DRIFT-CPHB10<br/>governance×C8 84.3%假阳"]:::drift
    GAP2["GAP-PARTIAL-P1A-FRONT<br/>phase_matrix×C13未观测"]:::partial
  end

  subgraph PERIPH["peripheral锚定 2条次要"]
    direction LR
    GAP3["CPHB16-STALE<br/>phase_matrix×C10 staleness"]:::partial
    GAP4["CPHB08-RACE<br/>git_model×C1 flake"]:::partial
  end

  MAPPED21 -->|"21/26对照,差距为零"| CORE
  MAPPED21 -->|"21/26对照,差距为零"| PERIPH
  GAP1 -.->|"伤M3诚实/M4台账可信 core"| GAP2
  GAP3 -.->|"peripheral,不失核心意义句"| GAP4

  classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
  classDef partial fill:#fff3cd,stroke:#d39e00,color:#856404;
  classDef drift fill:#ffe5d0,stroke:#fd7e14,stroke-width:2px,color:#7a3d00,stroke-dasharray:5 3;

图源为仓内 bundle mermaid 逐字提取（仅隐私清洗），渲染失败时原样退化为代码块。结构图是绘制时点的快照，非实时状态。