Unified Gate / Quality Gate Framework

← 返回总览 · 系统总列表 · 版块「巡检与门」

证据锚

• tools/unified_gate/gate_manifest.yaml · 2026-07-20

未决项（1）

• 触发分布不均——多数 gate 是被 phase exit/campaign 调用而非独立巡检（built-manual 为主）

进出边（消费链登记）

→ Skill 注入面（道/术、v3 注入）（ok：记分牌免疫链注入）

结构图（35 张 · 快照）

flowchart LR
  subgraph 图例["图例（颜色=结构角色 / 线型=承诺关系强弱）"]
    direction LR
    lg1["existing 复用母体条款"]:::existing
    lg2["added 本域设计契约/子系统"]:::added
    lg3["output 判定产物"]:::output
    lg4["external 外部通道/系统"]:::external
  end
  classDef existing fill:#e2e3e5,stroke:#6c757d,color:#41464b;
  classDef added fill:#d4edda,stroke:#28a745,color:#155724;
  classDef output fill:#cfe2ff,stroke:#0d6efd,color:#084298;
  classDef external fill:#ffffff,stroke:#6c757d,color:#41464b,stroke-dasharray:5 3;

flowchart TB
  %% 关注面概貌 · 结构判/语义判/证据判/账治理四关注面 · 全部收敛DU-HUB再分流DU-REG
  struct["结构判<br/>确定性外壳机械判结构对不对"]:::added
  sem["语义判<br/>regulator 第二agent判语义对不对"]:::added
  evid["证据判<br/>判据要有真实证据不能自证"]:::added
  ledger["账治理<br/>判完怎么注册记账"]:::added
  hub["DU-HUB<br/>统一设计契约·两层判定枢纽"]:::added
  reg["DU-REG<br/>注册子系统"]:::added
  struct -->|"grounds：结构判条款是确定性壳的设计根据"| hub
  sem -->|"grounds+constrains：语义判条款是regulator判据的设计根据"| hub
  evid -->|"grounds+constrains：证据判条款约束误差信号可操作性"| hub
  hub -->|"registers：两层契约每个gate实现注册进manifest"| reg
  ledger -.->|"constrains：账治理条款约束注册层诚实边界"| reg

flowchart TB
  %% 分·证据判关注面 · DU-02/04/07/08四条互相咬合防自证
  du02["DU-02 真实子进程验证<br/>regulator 派真实worker非mock"]:::existing
  du04["DU-04 真实结果唯一标准<br/>run evidence含真实exit 0"]:::existing
  du07["DU-07 可操作误差信号<br/>反例须给path:line定位"]:::existing
  du08["DU-08 forbidden_read隔离<br/>只见claim不自审"]:::existing
  hub["DU-HUB<br/>两层判定契约"]:::added
  du02 -->|"grounds：真实派发是regulator可信的前提"| hub
  du04 -->|"grounds：真实exit 0是landing判据的确定层形态"| hub
  du07 -.->|"constrains：误差信号必须可操作非1-bit"| hub
  du08 -.->|"constrains：第二agent必须被隔离才不算自证"| hub

flowchart TB
  subgraph CS["结构判"]
    direction TB
    du01["DU-01 确定层卸载<br/>机械判结构给file:line"]:::existing
    du05["DU-05 确定性判别力<br/>oracle判FLAG+control判PASS"]:::existing
    du06["DU-06 硬负样本<br/>表面触发但trace清除"]:::existing
    du09["DU-09 通用谓词<br/>oracle值不进谓词禁overfit"]:::existing
  end
  subgraph SJ["语义判"]
    direction TB
    du03["DU-03 按证据判<br/>real_consumption非registry_only"]:::existing
    du08b["DU-08 forbidden_read隔离<br/>第二agent不自审"]:::existing
  end
  subgraph EJ["证据判"]
    direction TB
    du02["DU-02 真实子进程验证"]:::existing
    du04["DU-04 真实结果唯一标准"]:::existing
    du07["DU-07 可操作误差信号"]:::existing
  end
  subgraph LJ["账治理"]
    direction TB
    du10["DU-10 诚实边界<br/>V1-V5只支持bounded声明"]:::existing
  end
  hub["DU-HUB<br/>统一设计契约·两层判定"]:::added
  reg["DU-REG<br/>注册子系统"]:::added
  du01 -->|"grounds"| hub
  du05 -.->|"constrains"| hub
  du06 -.->|"constrains"| hub
  du09 -.->|"constrains"| hub
  du03 -->|"grounds"| hub
  du08b -.->|"constrains"| hub
  du02 -->|"grounds"| hub
  du04 -->|"grounds"| hub
  du07 -.->|"constrains"| hub
  du01 -.->|"scopes：确定层接管范围由注册映射表圈定"| reg
  du09 -.->|"constrains：通用谓词判据也约束注册层"| reg
  du10 -.->|"constrains：诚实边界约束claim_ceiling"| reg
  hub -->|"registers"| reg

flowchart TB
  %% 语义领域边界 · 确定性/语义判定/注册治理三块+DU-HUB跨界枢纽
  det["确定性领域<br/>机械可判 无LLM运行时"]:::existing
  sem["语义判定领域<br/>需要第二agent判语义"]:::existing
  hub["DU-HUB 枢纽<br/>横跨确定性+语义判定"]:::added
  gov["注册治理领域<br/>manifest注册+跨域仲裁"]:::added
  det -->|"grounds+constrains：确定性判据是壳半的设计根据"| hub
  sem -->|"grounds+constrains：语义判定判据是regulator半的设计根据"| hub
  hub -->|"registers：判完的每个gate注册进manifest"| gov

flowchart TB
  %% 分·DU-HUB内部两层 · 确定性壳(命名谓词+Finding)+regulator(通道阶梯+forbidden_read)
  artifact["artifact<br/>待判定的产物"]:::external
  shell["确定性外壳<br/>无LLM 命名谓词XN判结构"]:::added
  reg_agent["regulator<br/>第二独立agent 判语义"]:::added
  verdict["GateVerdict<br/>final_status∈PASS,FLAG"]:::output
  artifact -->|"送入壳先判结构"| shell
  shell -->|"出Finding(check_id/status/line_anchor)后壳PASS或FLAG均触发regulator"| reg_agent
  reg_agent -->|"通道阶梯+forbidden_read隔离后compute_verdict合成 UNKNOWN强制转FLAG"| verdict

flowchart TB
  subgraph DET["确定性领域"]
    direction TB
    du01["DU-01 确定层卸载"]:::existing
    du05["DU-05 确定性判别力"]:::existing
    du06["DU-06 硬负样本"]:::existing
    du09["DU-09 通用谓词"]:::existing
  end
  subgraph SEM["语义判定领域"]
    direction TB
    du02["DU-02 真实子进程验证"]:::existing
    du03["DU-03 按证据判"]:::existing
    du04["DU-04 真实结果唯一标准"]:::existing
    du07["DU-07 可操作误差信号"]:::existing
    du08["DU-08 forbidden_read隔离"]:::existing
  end
  subgraph GOV["注册治理领域"]
    direction TB
    du10["DU-10 诚实边界"]:::existing
    reg["DU-REG 注册子系统<br/>13 gate各配道skill+跨域仲裁"]:::added
  end
  hub["DU-HUB 枢纽<br/>统一设计契约·两层判定"]:::added
  du01 -->|"grounds"| hub
  du05 -.->|"constrains"| hub
  du06 -.->|"constrains"| hub
  du09 -.->|"constrains"| hub
  du02 -->|"grounds"| hub
  du03 -->|"grounds"| hub
  du04 -->|"grounds"| hub
  du07 -.->|"constrains"| hub
  du08 -.->|"constrains"| hub
  du01 -.->|"scopes"| reg
  du09 -.->|"constrains"| reg
  du10 -.->|"constrains：约束GOV内部claim_ceiling"| reg
  hub -->|"registers"| reg

flowchart TB
  %% zoom第一总 · Context层：顶层两枢纽+各自子层containment
  hub["DU-HUB<br/>顶层·两层判定契约"]:::added
  reg["DU-REG<br/>顶层·注册子系统"]:::added
  contract["契约层<br/>DU-01..09 共9条母体条款"]:::existing
  regl["注册层<br/>DU-10 1条母体条款"]:::existing
  hub -->|"contains：9条条款parent=DU-HUB"| contract
  reg -->|"contains：1条条款parent=DU-REG"| regl
  hub -->|"registers：判定契约注册进注册子系统"| reg

sequenceDiagram
  participant A as artifact
  participant Shell as 确定性外壳(无LLM)
  participant Reg as regulator(第二agent)
  participant Ladder as 通道阶梯
  participant V as compute_verdict
  A->>Shell: 送入判结构
  Shell->>Shell: 命名谓词XN编号逐项判定
  Shell-->>V: Finding(check_id/status/line_anchor)
  Shell->>Reg: 壳PASS或FLAG均触发regulator
  Reg->>Ladder: 请求判语义(forbidden_read隔离作者叙事)
  Ladder->>Ladder: codex:high 失败则降级claude-zai:high
  Ladder->>Ladder: 再失败则降级claude-kimi:medium
  Ladder-->>Reg: 全失败则UNKNOWN
  Reg-->>V: 语义判定结果(或UNKNOWN)
  V->>V: 合成GateVerdict
  V-->>A: final_status∈PASS,FLAG(UNKNOWN强制转FLAG fail-safe)

flowchart TB
  subgraph TOP["顶层（无parent）"]
    direction LR
    hub["DU-HUB<br/>两层判定契约"]:::added
    reg["DU-REG<br/>注册子系统"]:::added
  end
  subgraph CONTRACT["契约层（parent=DU-HUB）"]
    direction TB
    du01["DU-01 确定层卸载"]:::existing
    du02["DU-02 真实子进程验证"]:::existing
    du03["DU-03 按证据判"]:::existing
    du04["DU-04 真实结果唯一标准"]:::existing
    du05["DU-05 确定性判别力"]:::existing
    du06["DU-06 硬负样本"]:::existing
    du07["DU-07 可操作误差信号"]:::existing
    du08["DU-08 forbidden_read隔离"]:::existing
    du09["DU-09 通用谓词"]:::existing
  end
  subgraph REGL["注册层（parent=DU-REG）"]
    direction TB
    du10["DU-10 诚实边界"]:::existing
  end
  du01 -->|"grounds"| hub
  du02 -->|"grounds"| hub
  du03 -->|"grounds"| hub
  du04 -->|"grounds"| hub
  du05 -.->|"constrains"| hub
  du06 -.->|"constrains"| hub
  du07 -.->|"constrains"| hub
  du08 -.->|"constrains"| hub
  du09 -.->|"constrains"| hub
  du01 -.->|"scopes"| reg
  du09 -.->|"constrains"| reg
  du10 -.->|"constrains"| reg
  hub -->|"registers"| reg

flowchart LR
  subgraph LEGEND["图例(颜色=verdict状态 / 线型=边关系)"]
    direction LR
    lg1["landed 已落地(B+C双证)"]:::landed
    lg2["partial 部分实现(缺B或缺C)"]:::partial
    lg3["orphan 孤儿(零消费/零dispatch)"]:::orphan
    lg4["drift 行为反例(测试与实现不一致)"]:::drift
    lg5["mixed 聚合节点内部状态混合"]:::mixed
  end
  classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
  classDef partial fill:#fff3cd,stroke:#d39e00,color:#856404;
  classDef orphan fill:#e2e3e5,stroke:#6c757d,color:#41464b,stroke-dasharray:3 3;
  classDef drift fill:#ffe5d0,stroke:#fd7e14,stroke-width:2px,color:#7a3d00,stroke-dasharray:5 3;
  classDef mixed fill:#cfe2ff,stroke:#0d6efd,color:#084298;

flowchart LR
    tpl["①模板<br/>C1 base.py ABC+compute_verdict"] -->|"45+消费者继承/import"| judge["⑤单gate判定<br/>C12-C34 共23构件"]
    reg["②注册<br/>C2/C3/C6/C7/C8 manifest体系"] -->|"34条SSOT供两面消费"| judge
    pred["③谓词/映射<br/>C4/C5/C9/C10/C11"] -->|"求值+verdict映射供判定用"| judge
    disp["④派发<br/>C35/C36 regulator底座"] -->|"channel ladder+receipt记账"| judge
    judge -.->|"6/34在receipts.jsonl有真实记录,28条零receipt"| ACT["生产面活跃度<br/>差异显著"]

    classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
    classDef mixed fill:#cfe2ff,stroke:#0d6efd,color:#084298;
    class tpl,reg,pred,disp landed
    class judge mixed
    class ACT landed

flowchart TB
    subgraph JUDGE["⑤单gate判定面内部四档"]
        t1["档1 全接两层<br/>C12-C22共11个"]
        t2["档2 只壳层<br/>C23-C26共4个"]
        t3["档3 独立二层<br/>C27,C28共2个"]
        t4["档4 标而未做<br/>C29"]
        orph["孤儿单层<br/>C30,C31"]
        emb["内嵌检测器<br/>C32,C33,C34"]
    end

    t1 -->|"import C1+use_regulator=True/条件触达C35"| C35disp["C35 regulator_runner<br/>真实dispatch收敛点"]
    t2 -.->|"import C1但use_regulator=False硬编码,不触达C35"| C35disp
    t3 -->|"不import C1,自实现run_regulator直调/经C36触达C35"| C35disp
    t4 -.->|"--regulator flag只产格式化文本,零调用C35(none_found证实)"| C35disp
    orph -.->|"零regulator尝试痕迹,零触达"| C35disp
    emb -->|"import C1+走C36/C35真实二层,manifest注册分叉(C32已注册/C33C34未注册)"| C35disp

    classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
    classDef orphan fill:#e2e3e5,stroke:#6c757d,color:#41464b,stroke-dasharray:3 3;
    classDef drift fill:#ffe5d0,stroke:#fd7e14,stroke-width:2px,color:#7a3d00,stroke-dasharray:5 3;
    classDef mixed fill:#cfe2ff,stroke:#0d6efd,color:#084298;
    class t1,t2 landed
    class t3 mixed
    class t4,orph orphan
    class emb mixed
    class C35disp landed

flowchart TB
    subgraph TPL["①模板面"]
        C1["C1 base.py landed"]
    end

    subgraph REG["②注册面"]
        C2["C2 manifest.py landed"]
        C3["C3 gate_manifest.yaml landed"]
        C6["C6 check_manifest.py landed"]
        C7["C7 gate_status.py landed"]
        C8["C8 render_gate_index.py partial 缺C"]
    end

    subgraph PRED["③谓词/映射面"]
        C4["C4 predicates.py landed"]
        C5["C5 disposition.py landed"]
        C9["C9 regulator_prompt.py landed"]
        C10["C10 check_discipline_on_template landed"]
        C11["C11 r006_cell_gates.py landed"]
    end

    C3 -->|"pure-JSON SSOT,C2唯一读入口"| C2
    C6 -->|"imports"| C2
    C7 -->|"imports"| C2
    C8 -->|"imports"| C2
    C10 -->|"imports"| C2
    C11 -->|"imports"| C4
    C11 -->|"imports"| C5
    C1 -.->|"45+消费者跨域,含②③两面自身"| C2

    classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
    classDef partial fill:#fff3cd,stroke:#d39e00,color:#856404;
    class C1,C2,C3,C6,C7,C4,C5,C9,C10,C11 landed
    class C8 partial

flowchart TB
    subgraph JB1["⑤判定面·档1全接两层(11)"]
        C12["C12 landed"]
        C13["C13 landed"]
        C14["C14 landed"]
        C15["C15 landed"]
        C16["C16 landed"]
        C17["C17 landed"]
        C18["C18 landed"]
        C19["C19 landed"]
        C20["C20 landed"]
        C21["C21 landed"]
        C22["C22 landed"]
    end
    subgraph JB2["⑤判定面·档2只壳层(4)"]
        C23["C23 landed"]
        C24["C24 landed"]
        C25["C25 landed"]
        C26["C26 landed"]
    end
    subgraph JB3["⑤判定面·档3独立二层(2)"]
        C27["C27 filter_compress drift"]
        C28["C28 goal_fidelity partial 缺B"]
    end
    subgraph JB4["⑤判定面·档4+孤儿(3)"]
        C29["C29 cc_hook_provenance orphan"]
        C30["C30 decomposition orphan"]
        C31["C31 req_plan_bridge orphan"]
    end
    subgraph JB5["⑤判定面·内嵌检测器(3)"]
        C32["C32 check_report_completeness landed"]
        C33["C33 design_doc check partial"]
        C34["C34 tool_receipts check partial"]
    end
    subgraph DISP["④派发面(2)"]
        C35["C35 regulator_runner.py landed"]
        C36["C36 regulator_adapter.py landed"]
    end

    JB1 -->|"11个import C1+use_regulator真开/条件触达C35"| C35
    JB2 -.->|"4个import C1但use_regulator=False硬编码,不触达C35"| C35
    C27 -->|"独立于C1直调C35"| C35
    C28 -->|"独立于C1经C36薄包装"| C36
    C36 -->|"imports,薄包装收敛"| C35
    C29 -.->|"零dispatch边(none_found grep核实)"| C35
    C32 -->|"imports"| C36
    C33 -->|"直调,不经C36"| C35
    C34 -->|"imports"| C36
    C34 -->|"生产代码反向消费demo对照"| C10

    classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
    classDef partial fill:#fff3cd,stroke:#d39e00,color:#856404;
    classDef orphan fill:#e2e3e5,stroke:#6c757d,color:#41464b,stroke-dasharray:3 3;
    classDef drift fill:#ffe5d0,stroke:#fd7e14,stroke-width:2px,color:#7a3d00,stroke-dasharray:5 3;
    class C12,C13,C14,C15,C16,C17,C18,C19,C20,C21,C22,C23,C24,C25,C26,C32,C35,C36 landed
    class C28,C33,C34 partial
    class C29,C30,C31 orphan
    class C27 drift

flowchart LR
    prim["框架原语<br/>C1-C11共11构件"] -->|"提供base模板+manifest注册+谓词库供全部gate消费"| gates["被治理gate<br/>C12-C31共20构件"]
    prim -->|"import base走两层"| emb["内嵌检测器<br/>C32-C34共3构件"]
    base["派发底座<br/>C35,C36共2构件"] -->|"channel ladder真实dispatch,是唯一真两层实现"| gates
    base -->|"channel ladder真实dispatch"| emb
    gates -.->|"34个manifest登记条目中仅6个有receipt记录,28条零receipt"| ACT2["生产面活跃度<br/>登记≠消费证据"]

    classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
    classDef mixed fill:#cfe2ff,stroke:#0d6efd,color:#084298;
    class prim,base landed
    class gates,emb mixed
    class ACT2 landed

flowchart TB
    subgraph TG2Z["被治理gate领域内部(20构件)"]
        g1["档1全接两层11个<br/>landing/intake等"]
        g2["档2只壳层4个<br/>closure_review等,有意单层"]
        g3["档3独立二层2个<br/>filter_compress+goal_fidelity"]
        g4["档4标而未做1个<br/>cc_hook_provenance"]
        g5["孤儿单层2个<br/>decomposition+req_plan_bridge"]
    end

    g1 -->|"13/20真实触达派发底座(档1的11+档3的2)"| REAL15["与C35核实:一致触达"]
    g2 -.->|"4/20有意不触达,docstring自陈非漏做"| DESIGN4["与docstring核实:有意设计"]
    g3 -.->|"2/20中1个行为反例(drift),1个缺测试(partial)"| GAP2["与pytest核实:贴合度不一致"]
    g4 -.->|"1/20 CLI flag暗示两层,实测零dispatch"| DRIFT_G["与grep核实:命名误导"]
    g5 -.->|"2/20零regulator尝试痕迹,零消费者"| ORPHAN_G["与import枚举核实:纯孤儿"]

    classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
    classDef orphan fill:#e2e3e5,stroke:#6c757d,color:#41464b,stroke-dasharray:3 3;
    classDef drift fill:#ffe5d0,stroke:#fd7e14,stroke-width:2px,color:#7a3d00,stroke-dasharray:5 3;
    classDef mixed fill:#cfe2ff,stroke:#0d6efd,color:#084298;
    class g1,g2,REAL15,DESIGN4 landed
    class g3 mixed
    class g4,g5,DRIFT_G,ORPHAN_G orphan

flowchart TB
    subgraph D1["框架原语领域"]
        C1n["C1 base.py<br/>模板ABC"]
        C2n["C2 manifest.py<br/>只读注册API"]
        C3n["C3 gate_manifest.yaml<br/>34g/21c/3u"]
        C4n["C4 predicates.py<br/>谓词求值库"]
        C5n["C5 disposition.py<br/>verdict映射"]
        C6n["C6 check_manifest.py<br/>校验CLI"]
        C7n["C7 gate_status.py<br/>联表看板"]
        C8n["C8 render_gate_index.py<br/>渲染INDEX块 partial"]
        C9n["C9 regulator_prompt.py<br/>prompt模板"]
        C10n["C10 check_discipline_on_template<br/>回归对照demo"]
        C11n["C11 r006_cell_gates.py<br/>5gate_id单文件"]
    end

    C3n -->|"pure-JSON SSOT"| C2n
    C6n -->|"imports"| C2n
    C7n -->|"imports"| C2n
    C8n -->|"imports"| C2n
    C10n -->|"imports"| C2n
    C11n -->|"imports"| C4n
    C11n -->|"imports"| C5n
    C1n -.->|"45+消费者,承接跨域基础原语角色"| SCOPE["需求覆盖:扇出远超本域"]

    classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
    classDef partial fill:#fff3cd,stroke:#d39e00,color:#856404;
    class C1n,C2n,C3n,C4n,C5n,C6n,C7n,C9n,C10n,C11n,SCOPE landed
    class C8n partial

flowchart TB
    subgraph D2t1["被治理gate领域·档1全接两层(11)"]
        C12n["C12 landed"]
        C13n["C13 landed"]
        C14n["C14 landed"]
        C15n["C15 landed"]
        C16n["C16 landed"]
        C17n["C17 landed"]
        C18n["C18 landed"]
        C19n["C19 landed"]
        C20n["C20 landed"]
        C21n["C21 landed"]
        C22n["C22 landed"]
    end
    subgraph D2t2["被治理gate领域·档2只壳层(4)"]
        C23n["C23 landed"]
        C24n["C24 landed"]
        C25n["C25 landed"]
        C26n["C26 landed"]
    end
    subgraph D2t3["被治理gate领域·档3独立二层(2)"]
        C27n["C27 drift"]
        C28n["C28 partial"]
    end
    subgraph D2t4["被治理gate领域·档4+孤儿(3)"]
        C29n["C29 orphan"]
        C30n["C30 orphan"]
        C31n["C31 orphan"]
    end

    D2t1 -->|"import base(C1)+use_regulator真开/条件"| D1RELINK["回指领域①C1"]
    D2t2 -.->|"import base(C1)但use_regulator=False硬编码"| D1RELINK
    C27n -->|"不import C1,直调C35"| D4RELINK["回指领域④C35"]
    C28n -->|"不import C1,经C36"| D4RELINK
    C29n -.->|"CLI flag暗示但零dispatch(none_found核实)"| D4RELINK

    classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
    classDef orphan fill:#e2e3e5,stroke:#6c757d,color:#41464b,stroke-dasharray:3 3;
    classDef drift fill:#ffe5d0,stroke:#fd7e14,stroke-width:2px,color:#7a3d00,stroke-dasharray:5 3;
    classDef mixed fill:#cfe2ff,stroke:#0d6efd,color:#084298;
    class C12n,C13n,C14n,C15n,C16n,C17n,C18n,C19n,C20n,C21n,C22n,C23n,C24n,C25n,C26n landed
    class C28n partial
    class C29n,C30n,C31n orphan
    class C27n drift
    class D1RELINK,D4RELINK mixed

flowchart LR
    subgraph D3["内嵌检测器领域"]
        C32n["C32 check_report_completeness"]
        C33n["C33 design_doc check_completeness"]
        C34n["C34 tool_receipts check_discipline"]
    end

    C32n -->|"manifest正式注册gate_id"| REGD["manifest可见:已注册"]
    C33n -.->|"grep精确核实,manifest无对应gate_id条目"| UNREGD["manifest可见:未注册(结构性缺口)"]
    C34n -.->|"同C33,gate_manifest.yaml无对应条目"| UNREGD
    C34n -->|"生产代码反向消费demo对照文件"| C10ref["领域①C10"]

    classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
    classDef partial fill:#fff3cd,stroke:#d39e00,color:#856404;
    class C32n,REGD landed
    class C33n,C34n,UNREGD partial

flowchart LR
    subgraph D4["派发底座领域"]
        C35n["C35 regulator_runner.py<br/>唯一真实dispatch实现"]
        C36n["C36 regulator_adapter.py<br/>薄包装,零独立逻辑"]
    end

    C36n -->|"imports,最终仍调C35"| C35n
    C35n -->|"channel ladder codex:high→zai:high→kimi:medium+forbidden_read并集+receipt记账+fail-closed"| DISPATCH["真实dispatch特征"]

    classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
    class C35n,C36n,DISPATCH landed

flowchart TB
    QGF["quality_gate_framework顶层<br/>C1框架 + C35底座"] -->|"被36构件+跨域7+外部消费者装配"| LAYER1["gate层<br/>20个被治理gate+3内嵌检测器"]
    QGF -->|"注册投影"| EXT["跨域外部消费<br/>phase_runtime等7+域"]
    QGF -->|"生产面receipt记账"| EVID["运行证据<br/>receipts.jsonl 6/34活跃"]

    classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
    class QGF,LAYER1,EXT,EVID landed

flowchart TB
    subgraph ZOOM_GATE["gate层(parent=C1和/或C35)"]
        z1["档1 parent=C1+C35<br/>11构件全landed"]
        z2["档2 parent=C1(仅)<br/>4构件全landed"]
        z3["档3 parent=C35/C36(不经C1)<br/>2构件1drift1partial"]
        z4["档4 parent=无(孤立)<br/>1构件orphan"]
        z5["孤儿 parent=无(孤立)<br/>2构件全orphan"]
        z6["内嵌层 parent=C1+C35/C36<br/>3构件1landed2partial"]
    end

    z1 -->|"containment:import C1+触达C35"| C1anchor["顶层C1"]
    z2 -->|"containment:import C1(use_regulator=False不触达C35)"| C1anchor
    z3 -->|"containment:不经C1,直触达C35/C36"| C35anchor["顶层C35"]
    z4 -.->|"containment:无(不import C1,不触达C35)"| ISOLATED["孤立,无parent"]
    z5 -.->|"containment:无(同z4)"| ISOLATED
    z6 -->|"containment:import C1+走C35/C36,另一重parent=manifest注册(仅C32)"| C1anchor

    classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
    classDef orphan fill:#e2e3e5,stroke:#6c757d,color:#41464b,stroke-dasharray:3 3;
    classDef mixed fill:#cfe2ff,stroke:#0d6efd,color:#084298;
    class z1,z2,C1anchor,C35anchor landed
    class z3,z6 mixed
    class z4,z5,ISOLATED orphan

flowchart TB
    subgraph GL1["gate层四档(20构件全量)·档1(11)"]
        gC12["C12"]:::landed
        gC13["C13"]:::landed
        gC14["C14"]:::landed
        gC15["C15"]:::landed
        gC16["C16"]:::landed
        gC17["C17"]:::landed
        gC18["C18"]:::landed
        gC19["C19"]:::landed
        gC20["C20"]:::landed
        gC21["C21"]:::landed
        gC22["C22"]:::landed
    end
    subgraph GL2["gate层四档·档2(4)"]
        gC23["C23"]:::landed
        gC24["C24"]:::landed
        gC25["C25"]:::landed
        gC26["C26"]:::landed
    end
    subgraph GL3["gate层四档·档3(2)"]
        gC27["C27 filter_compress"]:::drift
        gC28["C28 goal_fidelity"]:::partial
    end
    subgraph GL4["gate层四档·档4+孤儿(3)"]
        gC29["C29 cc_hook_provenance"]:::orphan
        gC30["C30 decomposition"]:::orphan
        gC31["C31 req_plan_bridge"]:::orphan
    end

    GL1 -->|"11/11触达C35"| RATE1["档1触达率:100%"]
    GL2 -.->|"0/4触达C35(有意)"| RATE2["档2触达率:0%(设计如此)"]
    GL3 -->|"1/2真触达且行为一致(C28缺测试,C27触达但反例)"| RATE3["档3触达率:2/2触达,1/2行为一致"]
    GL4 -.->|"0/3触达C35"| RATE4["档4+孤儿触达率:0%"]

    classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
    classDef partial fill:#fff3cd,stroke:#d39e00,color:#856404;
    classDef orphan fill:#e2e3e5,stroke:#6c757d,color:#41464b,stroke-dasharray:3 3;
    classDef drift fill:#ffe5d0,stroke:#fd7e14,stroke-width:2px,color:#7a3d00,stroke-dasharray:5 3;
    class RATE1,RATE2 landed
    class RATE3 partial
    class RATE4 orphan

flowchart TB
    subgraph EMBL["内嵌层(3构件,parent=C1+C35/C36)"]
        eC32["C32 report_scaffold宿主<br/>RC4/RC5走adapter"]
        eC33["C33 design_doc宿主<br/>DC3-DC6直调runner"]
        eC34["C34 tool_receipts宿主<br/>D4走regulator_adapter"]
    end

    eC32 -->|"imports"| C36e["C36 regulator_adapter"]
    eC33 -->|"直调,不经C36"| C35e["C35 regulator_runner"]
    eC34 -->|"imports"| C36e
    eC32 -->|"manifest正式注册gate_id(34条中之一)"| MANI_YES["manifest登记:已注册"]
    eC33 -.->|"gate_manifest.yaml无对应gate_id/entrypoint条目(grep精确核实)"| MANI_NO["manifest登记:未注册"]
    eC34 -.->|"同C33"| MANI_NO

    classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
    classDef partial fill:#fff3cd,stroke:#d39e00,color:#856404;
    class eC32,C36e,C35e,MANI_YES landed
    class eC33,eC34,MANI_NO partial

flowchart LR
  subgraph 图例["图例(颜色=gap状态 / 线型=边关系 / 后缀=missing_class)"]
    direction LR
    lg1["landed_reference 正样本对照"]:::landed
    lg2["functional_not_landed 缺C(普适消费缺)"]:::partial
    lg3["partial_missing_behavior 缺B(行为证据缺)"]:::partial
    lg4["orphan 孤儿(灰虚+E)"]:::orphan
    lg5["drift 漂移(橙虚)"]:::drift
    lg6["dnb 设计有实现无(本域零命中)"]:::dnb
  end
  classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
  classDef partial fill:#fff3cd,stroke:#d39e00,color:#856404;
  classDef orphan fill:#e2e3e5,stroke:#6c757d,color:#41464b,stroke-dasharray:3 3;
  classDef drift fill:#ffe5d0,stroke:#fd7e14,stroke-width:2px,color:#7a3d00,stroke-dasharray:5 3;
  classDef dnb fill:#f8d7da,stroke:#c00,color:#721c24,stroke-dasharray:5 3;
  classDef mixed fill:#cfe2ff,stroke:#0d6efd,color:#084298;

flowchart TB
  %% 关注面差距概貌 · 万流归宗DU-HUB后差距沿两条支线分流(判定面drift/orphan + 注册面缺C)
  DU_HUB["DU-HUB<br/>两层判定契约(设计侧枢纽)"]:::landed
  C27["C27 filter_compress<br/>独立二层"]:::drift
  C29["C29 cc_hook_provenance<br/>标而未做"]:::drift
  C28["C28 goal_fidelity<br/>独立二层"]:::partial
  DU_REG["DU-REG<br/>注册子系统(设计侧枢纽)"]:::landed
  C33["C33 design_doc检测器"]:::partial
  C34["C34 tool_receipts检测器"]:::partial
  C8["C8 render_gate_index"]:::partial
  ORPHANS["C30+C31<br/>纯孤儿判定构件"]:::orphan
  DU_HUB -.->|"drift：语义判关注面下，独立二层构件C27行为反例、C29标而未做零dispatch，与DU-HUB'第二agent真判语义'的承诺不贴合"| C27
  DU_HUB -.->|"drift：同上，C29 CLI/docstring暗示两层但零调用regulator_runner"| C29
  DU_HUB -.->|"缺B：证据判关注面下，C28 regulator逻辑真实存在但零pytest，'可操作误差信号'承诺缺自动化证据"| C28
  DU_HUB -.->|"orphan：结构判关注面下，C30/C31零消费者零regulator痕迹，未落进DU-HUB的两层判定范围"| ORPHANS
  DU_REG -.->|"缺C：账治理关注面下，C33/C34功能完整两层但manifest catalog不可见，'注册即可仲裁'承诺缺登记"| C33
  DU_REG -.->|"缺C：同上，C34同画像，与已注册的C32待遇不一致"| C34
  DU_REG -.->|"缺C：账治理关注面下，C8真功能但仅测试/人工触发，'普适强制消费'承诺缺runtime消费者"| C8

flowchart TB
  %% 分·独立二层构件的三种不贴合形态
  C35["C35 regulator_runner<br/>第二层唯一真实派发(取自impl图)"]:::landed
  C27["C27 filter_compress_gate<br/>独立实现,直调C35"]:::drift
  C28["C28 goal_fidelity_gate<br/>独立实现,经C36触达C35"]:::partial
  C29["C29 cc_hook_provenance_gate<br/>CLI暗示两层"]:::drift
  C27 -->|"触达但drift：直调regulator_runner.run_regulator真实可用(T1086 K4生产receipt)，但B实测test_run_regulator_supporting_role_exemption_end_to_end期望PASS得FLAG——豁免逻辑设计承诺与实现存在具体反例"| C35
  C28 -->|"触达但缺B：走regulator_adapter.run_raw_json_regulator非格式化文本，是真实第二层，但全域22个被治理gate中唯一零pytest的一个，仅LANDING_TEST.md一份手工记录"| C35
  C29 -.->|"未触达/drift：check.py docstring与--regulator CLI flag命名暗示second-agent mode，但代码只产_regulator_context()格式化文本，零regulator_runner.run_regulator/dispatch_helper调用(grep三模式零匹配,exit 1确认)"| C35

flowchart TB
  subgraph SJ["语义判关注面"]
    direction TB
    C27["C27 filter_compress<br/>drift"]:::drift
    C29a["C29 cc_hook_provenance<br/>drift(标而未做)"]:::drift
  end
  subgraph EJ["证据判关注面"]
    direction TB
    C28["C28 goal_fidelity<br/>缺B"]:::partial
  end
  subgraph CJ["结构判关注面(孤儿)"]
    direction TB
    C29b["C29<br/>orphan(同上,双记)"]:::orphan
    C30["C30 decomposition<br/>orphan"]:::orphan
    C31["C31 req_plan_bridge<br/>orphan"]:::orphan
  end
  subgraph LJ["账治理关注面"]
    direction TB
    C33["C33 design_doc<br/>缺C"]:::partial
    C34["C34 tool_receipts<br/>缺C"]:::partial
    C8["C8 render_gate_index<br/>缺C"]:::partial
  end
  subgraph REF["landed_reference 正样本(6)"]
    direction LR
    C1["C1"]:::landed
    C2["C2"]:::landed
    C15["C15"]:::landed
    C24["C24"]:::landed
    C32["C32"]:::landed
    C35["C35"]:::landed
  end
  DU_HUB["DU-HUB<br/>两层判定契约"]:::landed
  DU_REG["DU-REG<br/>注册子系统"]:::landed
  C27 -.->|"drift：B实测豁免逻辑反例"| DU_HUB
  C29a -.->|"drift：CLI/docstring暗示两层，零dispatch"| DU_HUB
  C28 -.->|"缺B：真实二层但零pytest自动化证据"| DU_HUB
  C29b -.->|"orphan：零真实运行时消费者(receipts.jsonl 0 runs)"| DU_HUB
  C30 -.->|"orphan：零消费者+从未设计过第二层(无名实不符)"| DU_HUB
  C31 -.->|"orphan：零消费者+零regulator字符串痕迹,三孤儿中最干净"| DU_HUB
  C33 -.->|"缺C：功能完整两层(20 pytest全过)但manifest 34条gates数组无对应条目"| DU_REG
  C34 -.->|"缺C：功能完整两层(33 pytest全过)但manifest无对应条目,同C33画像"| DU_REG
  C8 -.->|"缺C：渲染功能完整且被测试覆盖,但零非测试运行时消费者,仅CI --check触发"| DU_REG
  REF -->|"对照：B+C双证俱全,C35是全部真两层判定的唯一收敛点"| DU_HUB

flowchart TB
  %% 语义领域差距密度 · 语义判定领域差距最密,确定性领域零差距
  DET["确定性领域<br/>机械可判(取自design图)"]:::landed
  SEM["语义判定领域<br/>需要第二agent(取自design图)"]:::landed
  GOV["注册治理领域<br/>manifest+跨域仲裁(取自design图)"]:::landed
  DU_HUB["DU-HUB 枢纽<br/>横跨确定性+语义判定"]:::landed
  JUDGE["被治理gate构件群<br/>C27-C31(5个差距点)"]:::drift
  EMBED["内嵌检测器群<br/>C33,C34(2个缺C)"]:::partial
  IDX["注册面构件<br/>C8(1个缺C)"]:::partial
  DET -.->|"零差距：档1/档2共15个landed构件全部贴合确定性承诺(本节不再下钻)"| DU_HUB
  SEM -.->|"5点差距：语义判定领域下的独立/孤儿判定构件贴合度参差"| JUDGE
  JUDGE -->|"归属"| DU_HUB
  GOV -.->|"2点缺C：内嵌检测器功能全但catalog不可见"| EMBED
  GOV -.->|"1点缺C：注册面渲染工具零runtime消费"| IDX
  EMBED -->|"归属"| GOV
  IDX -->|"归属"| GOV

flowchart TB
  %% 分·语义判定领域差距归因：母体条款landed vs 个别构件不贴合
  DU08["DU-08 forbidden_read隔离<br/>母体条款(landed)"]:::landed
  DU07["DU-07 可操作误差信号<br/>母体条款(landed)"]:::landed
  C27["C27 独立二层<br/>行为反例"]:::drift
  C28["C28 独立二层<br/>缺自动化证据"]:::partial
  C29["C29 标而未做<br/>零dispatch"]:::drift
  C30["C30 纯孤儿<br/>零regulator痕迹"]:::orphan
  C31["C31 纯孤儿<br/>最干净"]:::orphan
  DU08 -.->|"母体条款本身贴合(regulator forbidden_read机制在C35真实生效)，差距不在这条原则本身"| C27
  DU07 -.->|"母体条款本身贴合(GateIssue可操作定位机制在C35真实生效)，C27/C28贴合此原则(有具体反例定位/有独立测试记录)，C29/C30/C31不适用(未触达无法定位)"| C28
  C27 -->|"drift：真触达但豁免逻辑反例"| C29
  C29 -->|"drift+orphan双记：名义暗示但零调用"| C30
  C30 -->|"orphan：从未设计第二层"| C31

flowchart TB
  subgraph DETZ["确定性领域(零差距)"]
    direction LR
    NOTE_DET["档1+档2共15构件<br/>全部landed,本域不下钻"]:::landed
  end
  subgraph SEMZ["语义判定领域(5点差距,全部被治理gate)"]
    direction TB
    C27z["C27<br/>drift"]:::drift
    C28z["C28<br/>缺B"]:::partial
    C29z["C29<br/>drift+orphan双记"]:::drift
    C30z["C30<br/>orphan"]:::orphan
    C31z["C31<br/>orphan"]:::orphan
  end
  subgraph GOVZ["注册治理领域(3点缺C)"]
    direction TB
    C33z["C33<br/>缺C"]:::partial
    C34z["C34<br/>缺C"]:::partial
    C8z["C8<br/>缺C"]:::partial
  end
  DU_HUB["DU-HUB 枢纽<br/>横跨确定性+语义判定"]:::landed
  DU_REG["DU-REG<br/>注册子系统"]:::landed
  REFZ["landed_reference<br/>C1,C2,C15,C24,C32,C35"]:::landed
  NOTE_DET -->|"贴合：确定性半承诺全部兑现"| DU_HUB
  C27z -.->|"drift：语义半承诺,豁免逻辑B实测反例"| DU_HUB
  C28z -.->|"缺B：语义半承诺,真实二层但零pytest"| DU_HUB
  C29z -.->|"drift+orphan：语义半承诺,标而未做零dispatch"| DU_HUB
  C30z -.->|"orphan：未进入语义判定领域的实际作用范围"| DU_HUB
  C31z -.->|"orphan：同上,三孤儿中最干净"| DU_HUB
  C33z -.->|"缺C：功能两层齐但catalog不可见"| DU_REG
  C34z -.->|"缺C：同C33,与已注册的C32待遇不一致"| DU_REG
  C8z -.->|"缺C：渲染功能全但零runtime消费"| DU_REG
  REFZ -->|"对照：B+C俱全的正面基线"| DU_HUB

flowchart TB
  %% zoom第一总 · 顶层差距占比：9差距点(C29双记)/28landed/34manifest entrypoint全存在
  QGF["quality_gate_framework顶层<br/>36真实构件(C1-C36)"]:::landed
  GAPS["差距点<br/>drift2+orphan3+缺C3+缺B1=9条记录"]:::drift
  DNB0["designed_not_built=0<br/>34条entrypoint均存在"]:::landed
  REFPOS["28 landed构件<br/>(6个入选landed_reference对照)"]:::landed
  QGF -->|"36构件中28 landed(78%)"| REFPOS
  QGF -.->|"36构件中8个唯一构件涉差距(22%,C29双记为9条记录)"| GAPS
  QGF -->|"设计侧34条manifest条目逐一核实,无一条纯设计无实现"| DNB0

flowchart TB
  subgraph ZOOMG["gate层四档差距分布"]
    direction TB
    z1["档1 全接两层(11)<br/>零差距,parent=C1+C35"]:::landed
    z2["档2 只壳层(4)<br/>零差距,parent=C1(仅)"]:::landed
    z3["档3 独立二层(2)<br/>C27+C28,2/2有差距"]:::drift
    z4z5["档4+孤儿(3)<br/>C29+C30+C31,3/3有差距"]:::orphan
  end
  C35anchor["C35<br/>regulator_runner(顶层锚点)"]:::landed
  z1 -->|"贴合：11/11触达C35且行为一致,零差距"| C35anchor
  z2 -.->|"贴合(有意)：0/4触达C35但docstring自陈非漏做,零差距"| C35anchor
  z3 -->|"差距：2/2触达但1个反例(C27 drift)+1个缺证据(C28 缺B)"| C35anchor
  z4z5 -.->|"差距：0/3触达,C29标而未做(drift+orphan)+C30/C31纯孤儿(orphan)"| C35anchor

flowchart TB
  subgraph TOPZ["顶层(无parent)"]
    direction LR
    DU_HUBz["DU-HUB<br/>两层判定契约(设计侧)"]:::landed
    DU_REGz["DU-REG<br/>注册子系统(设计侧)"]:::landed
  end
  subgraph GATEZ["gate层四档(parent=C1和/或C35,取自分段)"]
    direction TB
    z1z["档1(11) 零差距"]:::landed
    z2z["档2(4) 零差距"]:::landed
    C27zz["C27 档3<br/>drift"]:::drift
    C28zz["C28 档3<br/>缺B"]:::partial
    C29zz["C29 档4<br/>drift+orphan"]:::drift
    C30zz["C30 孤儿<br/>orphan"]:::orphan
    C31zz["C31 孤儿<br/>orphan"]:::orphan
  end
  subgraph EMBEDZ["内嵌层(parent=C1+C35/C36)"]
    direction LR
    C32zz["C32<br/>已注册,landed"]:::landed
    C33zz["C33<br/>未注册,缺C"]:::partial
    C34zz["C34<br/>未注册,缺C"]:::partial
  end
  subgraph REGFACEZ["注册面(parent=DU-REG)"]
    direction LR
    C8zz["C8<br/>缺C"]:::partial
  end
  z1z -->|"containment贴合"| DU_HUBz
  z2z -.->|"containment贴合(有意单层)"| DU_HUBz
  C27zz -->|"containment：直调C35但drift"| DU_HUBz
  C28zz -->|"containment：经C36触达但缺B"| DU_HUBz
  C29zz -.->|"containment缺失：CLI暗示parent=C35实际零调用"| DU_HUBz
  C30zz -.->|"containment缺失：无真实parent,物理挂靠但逻辑孤立"| DU_HUBz
  C31zz -.->|"containment缺失：同C30,最干净孤儿"| DU_HUBz
  C32zz -->|"containment贴合：manifest登记+B+C俱全"| DU_REGz
  C33zz -.->|"containment缺失：功能两层全但manifest无对应条目"| DU_REGz
  C34zz -.->|"containment缺失：同C33"| DU_REGz
  C8zz -.->|"containment缺失：渲染功能全但零runtime consumer"| DU_REGz

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