Eval Harness

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

证据锚

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

未决项（3）

• 无常驻触发器（built 到 07-13）
• r012-R4 残差=case1_A DNF 未重试，扩样时补
• 波次2（eval_harness#26 + landing_gate 新根化）尚未开工

进出边（消费链登记）

（无登记边）

结构图（16 张 · 快照）

flowchart LR
  subgraph 图例["图例(色=结构角色 / 线型=关系)"]
    direction LR
    lg1["B1-B5 设计单元(新设计)"]:::added
    lg2["复用底座/推进锚(复用)"]:::existing
    lg3["设计产物(TestRun/verdict)"]:::output
    lg4["域外系统(external-system)"]:::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
  Lc["contract 层<br/>定义边界+绑定输入"]:::added
  Le["execution 层<br/>B1-B5 执行前后主轴"]:::added
  Lo["oracle 层<br/>成本相称选断言"]:::added
  Lp["policy 层<br/>红线+有界residual"]:::added
  Lf["foundation 层<br/>复用底座+后置+迁移"]:::existing
  Lc -->|绑定喂入| Le
  Lo -->|喂 oracle| Le
  Lp -->|约束| Le
  Lf -->|复用/投影| Le
  classDef added fill:#d4edda,stroke:#28a745,color:#155724;
  classDef existing fill:#e2e3e5,stroke:#6c757d,color:#41464b;

flowchart TB
  b1["du_b1_readiness<br/>B1 执行前资格"]:::added
  b2["du_b2_lane_policy<br/>B2 lane 选择"]:::added
  b3["du_b3_testrun_recorder<br/>B3 单一 TestRun"]:::added
  b4["du_b4_quick<br/>B4 quick 验证"]:::added
  b5["du_b5_module<br/>B5 module 验证"]:::added
  prog["du_progression<br/>推进规则"]:::existing
  core1["du_testrun_core1<br/>testrun-core-1 形状"]:::output
  b1 -->|gates| b2
  b2 -->|selects| b4
  b2 -->|selects| b5
  b4 -->|writes| b3
  b5 -->|writes| b3
  b5 -->|gates| prog
  b3 -->|produces| core1
  classDef added fill:#d4edda,stroke:#28a745,color:#155724;
  classDef existing fill:#e2e3e5,stroke:#6c757d,color:#41464b;
  classDef output fill:#cfe2ff,stroke:#0d6efd,color:#084298;

flowchart TB
  subgraph LAYc["contract 边界与绑定"]
    direction TB
    c_obs["du_boundary_observable<br/>可观察功能边界"]:::added
    c_split["du_responsibility_split<br/>职责分离"]:::added
    c_tt["du_testtarget<br/>TestTarget 最小输入"]:::added
    c_bc["du_boundary_contract<br/>B1 可机械绑定合同"]:::added
  end
  subgraph LAYe["execution B1-B5 主轴"]
    direction TB
    e_b1["du_b1_readiness<br/>B1 readiness"]:::added
    e_b2["du_b2_lane_policy<br/>B2 lane policy"]:::added
    e_b3["du_b3_testrun_recorder<br/>B3 TestRun"]:::added
    e_b4["du_b4_quick<br/>B4 quick"]:::added
    e_b5["du_b5_module<br/>B5 module"]:::added
    e_prog["du_progression<br/>推进规则"]:::added
  end
  subgraph LAYo["oracle 选择与深度"]
    direction TB
    o_sel["du_oracle_selection<br/>oracle 选择"]:::added
    o_int["du_integration_depth<br/>深度触发五条件"]:::added
  end
  subgraph LAYp["policy 红线与 residual"]
    direction TB
    p_red["du_redline<br/>不可延期红线"]:::added
    p_res["du_bounded_residual<br/>有界 residual"]:::added
  end
  subgraph LAYf["foundation 复用与后置"]
    direction TB
    f_reuse["du_reuse_baseline<br/>复用底座"]:::existing
    f_def["du_deferred_foundation<br/>后置基础"]:::existing
    f_mig["du_legacy_migration<br/>legacy 迁移"]:::existing
  end
  c_obs -->|defines| c_tt
  c_obs -->|separates| c_split
  c_tt -->|binds| c_bc
  c_tt -->|feeds| e_b1
  c_bc -->|parsed_by| e_b1
  c_split -->|constrains| e_b2
  e_b1 -->|gates| e_b2
  e_b1 -->|consumes| c_bc
  e_b2 -->|selects| e_b4
  e_b2 -->|selects| e_b5
  e_b2 -->|may_trigger| o_int
  o_sel -->|feeds| e_b4
  o_sel -->|feeds| e_b5
  e_b4 -->|writes| e_b3
  e_b5 -->|writes| e_b3
  e_b5 -->|gates| e_prog
  p_red -->|constrains| e_b5
  p_red -->|constrains| e_b3
  f_reuse -->|projects_to| e_b3
  f_mig -->|guards| f_reuse
  classDef added fill:#d4edda,stroke:#28a745,color:#155724;
  classDef existing fill:#e2e3e5,stroke:#6c757d,color:#41464b;

flowchart TB
  SELF["tsm 本域<br/>B1-B5 能力纵切"]:::added
  RAG["requirement_analysis_gate<br/>首个 dogfood 边界实体"]:::external
  EH["eval_harness<br/>replay/capture 原语"]:::external
  TH["test_health<br/>legacy 投影"]:::external
  TODO["todo_system<br/>residual 去处"]:::external
  DDP["DDP/design_doc<br/>边界定义承载"]:::external
  DDP -.->|承载边界定义 external-system| SELF
  RAG -.->|被测 boundary external-system| SELF
  SELF -.->|reuse 原语 external-system| EH
  SELF -.->|legacy 投影 external-system| TH
  SELF -.->|residual 指向 external-system| TODO
  classDef added fill:#d4edda,stroke:#28a745,color:#155724;
  classDef external fill:#ffffff,stroke:#adb5bd,color:#495057,stroke-dasharray:4 3;

flowchart TB
  obs["du_boundary_observable<br/>可观察功能边界"]:::added
  split["du_responsibility_split<br/>开发vs测试职责分离"]:::added
  tt["du_testtarget<br/>impl_ref+锚+scope"]:::added
  bc["du_boundary_contract<br/>fail-closed 解析+身份"]:::added
  RAG["requirement_analysis_gate<br/>SPEC+fixtures"]:::external
  obs -->|defines| tt
  obs -->|separates| split
  tt -->|binds| bc
  split -->|constrains lane| tt
  bc -.->|freezes dogfood 边界 external| RAG
  classDef added fill:#d4edda,stroke:#28a745,color:#155724;
  classDef external fill:#ffffff,stroke:#adb5bd,color:#495057,stroke-dasharray:4 3;

flowchart TB
  subgraph TERc["contract 边界定义+输入绑定"]
    direction TB
    t_obs["du_boundary_observable<br/>可观察边界"]:::added
    t_split["du_responsibility_split<br/>职责分离"]:::added
    t_tt["du_testtarget<br/>最小输入"]:::added
    t_bc["du_boundary_contract<br/>可机械绑定合同"]:::added
  end
  subgraph TERe["execution 资格+lane+执行+记录"]
    direction TB
    t_b1["du_b1_readiness<br/>执行前资格"]:::added
    t_b2["du_b2_lane_policy<br/>lane 选择"]:::added
    t_b3["du_b3_testrun_recorder<br/>记录"]:::added
    t_b4["du_b4_quick<br/>quick 验证"]:::added
    t_b5["du_b5_module<br/>module 验证"]:::added
    t_prog["du_progression<br/>推进"]:::added
  end
  subgraph TERo["oracle 选择+深度"]
    direction TB
    t_osel["du_oracle_selection<br/>oracle 选择"]:::added
    t_oint["du_integration_depth<br/>深度触发"]:::added
  end
  subgraph TERp["policy 红线+residual"]
    direction TB
    t_red["du_redline<br/>红线"]:::added
    t_res["du_bounded_residual<br/>有界 residual"]:::added
  end
  subgraph TERf["foundation 复用+后置+迁移"]
    direction TB
    t_reuse["du_reuse_baseline<br/>复用底座"]:::existing
    t_def["du_deferred_foundation<br/>后置基础"]:::existing
    t_mig["du_legacy_migration<br/>legacy 迁移"]:::existing
  end
  t_obs -->|defines| t_tt
  t_obs -->|separates| t_split
  t_tt -->|binds| t_bc
  t_tt -->|feeds| t_b1
  t_bc -->|parsed_by| t_b1
  t_split -->|constrains| t_b2
  t_b1 -->|gates| t_b2
  t_b1 -->|consumes| t_bc
  t_b2 -->|selects| t_b4
  t_b2 -->|selects| t_b5
  t_b2 -->|may_trigger| t_oint
  t_osel -->|feeds| t_b4
  t_osel -->|feeds| t_b5
  t_b4 -->|writes| t_b3
  t_b5 -->|writes| t_b3
  t_b5 -->|gates| t_prog
  t_red -->|constrains| t_b5
  t_red -->|constrains| t_b3
  t_reuse -->|projects_to| t_b3
  t_mig -->|guards| t_reuse
  RAGx["requirement_analysis_gate"]:::external
  TODOx["todo_system"]:::external
  EHx["eval_harness 原语"]:::external
  THx["test_health legacy"]:::external
  t_bc -.->|freezes external| RAGx
  t_res -.->|points_to external| TODOx
  t_reuse -.->|reuses external| EHx
  t_reuse -.->|projects_to external| THx
  classDef added fill:#d4edda,stroke:#28a745,color:#155724;
  classDef existing fill:#e2e3e5,stroke:#6c757d,color:#41464b;
  classDef external fill:#ffffff,stroke:#adb5bd,color:#495057,stroke-dasharray:4 3;

flowchart LR
  FM["flow_main<br/>绑定→资格→lane→执行→记录"]:::added
  FP["flow_progression<br/>module_pass 才推进"]:::added
  FR["flow_redline<br/>横切静默失败+假 PASS"]:::added
  FRes["flow_residual<br/>有界 residual 指向 TODO"]:::added
  FM -->|module 分支进| FP
  FM -->|被红线横切| FR
  FM -->|残差写| FRes
  classDef added fill:#d4edda,stroke:#28a745,color:#155724;

flowchart LR
  tt["du_testtarget<br/>impl_ref+锚+scope"]:::added
  bc["du_boundary_contract<br/>bind 合同"]:::added
  b1["du_b1_readiness<br/>readiness"]:::added
  b2["du_b2_lane_policy<br/>choose lane+depth"]:::added
  osel["du_oracle_selection<br/>proportional oracle"]:::added
  b4["du_b4_quick<br/>quick 执行"]:::added
  b5["du_b5_module<br/>module 执行"]:::added
  b3["du_b3_testrun_recorder<br/>原子写一个 TestRun"]:::added
  out["outcome<br/>scoped verdict+residual"]:::output
  tt -->|binds| bc
  bc -->|parsed_by| b1
  b1 -->|gates| b2
  b2 -->|feeds oracle| osel
  osel -->|selects quick| b4
  osel -->|selects module| b5
  b4 -->|writes| b3
  b5 -->|writes| b3
  b3 -->|finish 产出| out
  classDef added fill:#d4edda,stroke:#28a745,color:#155724;
  classDef output fill:#cfe2ff,stroke:#0d6efd,color:#084298;

flowchart LR
  subgraph MAIN["flow_main 主路"]
    direction LR
    f_tt["du_testtarget"]:::added
    f_bc["du_boundary_contract"]:::added
    f_b1["du_b1_readiness"]:::added
    f_b2["du_b2_lane_policy"]:::added
    f_osel["du_oracle_selection"]:::added
    f_exec["du_b4_quick / du_b5_module"]:::added
    f_b3["du_b3_testrun_recorder"]:::added
  end
  f_tt -->|binds| f_bc
  f_bc -->|parsed_by| f_b1
  f_b1 -->|gates| f_b2
  f_b2 -->|feeds| f_osel
  f_osel -->|selects execute| f_exec
  f_exec -->|writes| f_b3
  f_prog["du_progression<br/>下一 Fundamental 单元"]:::existing
  f_block["progression=false<br/>module_fail/fault 阻断"]:::output
  f_red["du_redline<br/>静默失败=红线"]:::added
  f_todo["external_todo<br/>既有 TODO 真源"]:::external
  f_exec -->|module_pass gates| f_prog
  f_exec -->|mismatch/fault-injected| f_block
  f_red -->|constrains| f_b3
  f_red -->|constrains| f_exec
  f_b3 -.->|residual points_to external| f_todo
  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 Zc["contract 层"]
    direction TB
    z_obs["du_boundary_observable<br/>可观察边界"]:::added
    z_split["du_responsibility_split<br/>职责分离"]:::added
    z_tt["du_testtarget<br/>最小输入"]:::added
    z_bc["du_boundary_contract<br/>可机械绑定合同"]:::added
  end
  subgraph Ze["execution 层 B1-B5"]
    direction TB
    z_b1["du_b1_readiness<br/>B1 资格"]:::added
    z_b2["du_b2_lane_policy<br/>B2 lane"]:::added
    z_b3["du_b3_testrun_recorder<br/>B3 记录"]:::added
    z_b4["du_b4_quick<br/>B4 quick"]:::added
    z_b5["du_b5_module<br/>B5 module"]:::added
    z_prog["du_progression<br/>推进"]:::added
    z_core1["du_testrun_core1<br/>core-1 形状"]:::output
  end
  subgraph Zo["oracle 层"]
    direction TB
    z_osel["du_oracle_selection<br/>oracle 选择"]:::added
    z_oint["du_integration_depth<br/>深度触发"]:::added
  end
  subgraph Zp["policy 层"]
    direction TB
    z_red["du_redline<br/>红线"]:::added
    z_res["du_bounded_residual<br/>有界 residual"]:::added
  end
  subgraph Zf["foundation 层"]
    direction TB
    z_reuse["du_reuse_baseline<br/>复用底座"]:::existing
    z_def["du_deferred_foundation<br/>后置基础"]:::existing
    z_mig["du_legacy_migration<br/>legacy 迁移"]:::existing
  end
  z_ext_rag["requirement_analysis_gate"]:::external
  z_ext_eh["eval_harness 原语"]:::external
  z_ext_th["test_health legacy"]:::external
  z_ext_todo["external_todo"]:::external
  z_obs -->|defines| z_tt
  z_obs -->|separates| z_split
  z_split -->|constrains| z_b2
  z_tt -->|feeds| z_b1
  z_tt -->|binds| z_bc
  z_bc -->|parsed_by| z_b1
  z_bc -->|freezes| z_ext_rag
  z_b1 -->|gates| z_b2
  z_b1 -->|consumes| z_bc
  z_b2 -->|selects| z_b4
  z_b2 -->|selects| z_b5
  z_b2 -->|may_trigger| z_oint
  z_b3 -->|records| z_b4
  z_b3 -->|records| z_b5
  z_b3 -->|produces| z_core1
  z_b4 -->|consumes| z_osel
  z_b4 -->|writes| z_b3
  z_b5 -->|consumes| z_osel
  z_b5 -->|writes| z_b3
  z_b5 -->|gates| z_prog
  z_osel -->|feeds| z_b4
  z_osel -->|feeds| z_b5
  z_red -->|constrains| z_b5
  z_red -->|constrains| z_b3
  z_res -.->|points_to| z_ext_todo
  z_reuse -.->|reuses| z_ext_eh
  z_reuse -.->|projects_to| z_ext_th
  z_mig -.->|guards| z_ext_th
  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 LR
  subgraph 图例["图例(色=状态 / 线型=关系)"]
    direction LR
    lg1["landed 已落地(bounded)"]:::landed
    lg2["partial 部分/未达线"]:::partial
    lg3["orphan 孤儿/legacy(灰虚)"]:::orphan
    lg4["drift 漂移(橙虚)"]:::drift
    lg6["deferred 明示后置·非 gap(中性)"]:::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 TB
  subgraph B15["(a) B1-B5 主轴 core · bounded"]
    direction TB
    b1["du_b1_readiness×E1<br/>B1 bounded"]:::landed
    b2["du_b2_lane_policy×E2<br/>B2 bounded"]:::landed
    b3["du_b3_testrun_recorder×E3<br/>B3 bounded"]:::landed
    b4["du_b4_quick×E4<br/>B4 bounded"]:::landed
    b5["du_b5_module×E5<br/>B5 bounded"]:::landed
    core1["du_testrun_core1<br/>core-1 形状 bounded"]:::landed
  end

  subgraph RES["(b) 真残差 · 伤 M 核心=0"]
    direction TB
    resB["du_bounded_residual×E3<br/>缺B(schema 无实例)"]:::partial
    fnl["du_integration_depth×E2<br/>F(executor 后置)"]:::partial
  end

  subgraph DR["(c) drift · peripheral"]
    direction TB
    d1["du_b3_testrun_recorder<br/>DRIFT-01 raw"]:::drift
    d2["du_boundary_contract<br/>DRIFT-02 import"]:::drift
  end

  subgraph LEG["(d) legacy 投影残差 · 非 verdict 真源"]
    direction TB
    L1["L1 diff_table<br/>legacy scoreboard"]:::orphan
    L2["L2 clause_status<br/>48-clause(superseded)"]:::orphan
    L3["L3 closure_review<br/>legacy 投影"]:::orphan
    L4["L4 scoreboard_cron<br/>legacy live(*/30)"]:::orphan
    orph["ORPHAN-01 provisional TestRun<br/>historical"]:::orphan
  end

  DEF["du_deferred_foundation<br/>明示后置·非 gap"]:::mixed

  %% --- B1-B5 主轴门控/写入（实线；复用 impl 主图边义） ---
  b1 -->|gates| b2
  b2 -->|selects| b4
  b2 -->|selects| b5
  b4 -->|writes| b3
  b5 -->|writes| b3
  b3 -->|produces| core1

  %% --- 真残差挂各自母件（实线：残差归属；标签写清缺什么） ---
  b3 -->|residual 缺B: schema 就位无实例| resB
  b2 -->|F: 选择器 landed·执行器后置| fnl

  %% --- drift 挂母件（橙虚：设计-实现 bounded 收窄，DD §10.3 自陈） ---
  b3 -.->|per-case raw 未独立落盘| d1
  b1 -.->|support-import 不在 digest| d2

  %% --- drift-02 锚 boundary_contract：以 E8 SPEC 身份为锚 ---
  d2 -.->|content_sha256 仅覆盖 canonical 四路径| L4

  %% --- legacy 投影链（灰虚：cron 重渲，不被 core 消费） ---
  L1 -.->|legacy 投影·cron 每30分重渲(不被 core 消费)| L4
  L2 -.->|superseded 分母·legacy| L3
  orph -.->|historical evidence·非当前 verdict 真源| L3

  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 TB
  subgraph CORE["core 入下钻·最高优先"]
    direction TB
    b5["du_b5_module×E5<br/>M4 防假 PASS 红线核心"]:::landed
    b1["du_b1_readiness×E1<br/>M2 fail-closed"]:::landed
    red["du_redline×E5/E3<br/>M4 红线元层(policy)"]:::landed
    pres["preserved_now_core<br/>MEANING 核心句"]:::landed
  end

  subgraph PERI["peripheral 入下钻·次优先"]
    direction TB
    resB["du_bounded_residual×E3<br/>M3 residual·缺B"]:::partial
    oint["du_integration_depth×E2<br/>M3 深度·F"]:::partial
    drift["drift_bounded<br/>DRIFT-01/02 bounded 收窄"]:::drift
  end

  %% core 内红线横切（policy_bounded 复用 join_table du_redline×E5 / du_redline×E3） ---
  red -->|constrains(证据冲突不给正向 verdict)| b5
  red -->|constrains(静默失败)| b3res["du_b3_testrun_recorder×E3<br/>B3 bounded"]:::landed
  b1 -->|gates(fail-closed 身份错配 not_ready)| b5

  %% peripheral 挂各自母件 ---
  b3res -->|residual 缺B: schema 就位无实例| resB
  oint -.->|F: integration executor 后置(设计明示 deferred)| oint2["du_deferred_foundation<br/>DD §10.1 明示后置"]:::mixed
  b3res -.->|per-case raw 未独立落盘(DD §10.3 自陈)| drift

  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;
  classDef mixed fill:#cfe2ff,stroke:#0d6efd,color:#084298;

flowchart TB
  %% ===== du 节点（ID 用中性 p_ 前缀；可见标签=design 图 du_ 词汇原样） =====
  p_bc["du_boundary_contract"]:::landed
  p_b1["du_b1_readiness"]:::landed
  p_b2["du_b2_lane_policy"]:::landed
  p_b3["du_b3_testrun_recorder"]:::landed
  p_b4["du_b4_quick"]:::landed
  p_b5["du_b5_module"]:::landed
  p_prog["du_progression"]:::landed
  p_osel["du_oracle_selection"]:::landed
  p_obs["du_boundary_observable"]:::landed
  p_tt["du_testtarget"]:::landed
  p_split["du_responsibility_split"]:::landed
  p_red["du_redline"]:::landed
  p_res["du_bounded_residual"]:::partial
  p_int["du_integration_depth"]:::partial
  p_reuse["du_reuse_baseline"]:::orphan
  p_mig["du_legacy_migration"]:::orphan
  p_def["du_deferred_foundation"]:::mixed

  %% ===== comp 节点（ID+标签=impl 图 E/L 词汇原样） =====
  E1["E1 functional_boundary"]:::landed
  E2["E2 lane_policy"]:::landed
  E3["E3 testrun"]:::landed
  E4["E4 quick_executor"]:::landed
  E5["E5 module_executor"]:::landed
  E6["E6 test_run.json"]:::landed
  E7["E7 gate/check.py (E)"]:::orphan
  E8["E8 gate/SPEC.md (E)"]:::orphan
  L1["L1 diff_table"]:::orphan
  L2["L2 clause_status"]:::orphan
  L3["L3 closure_review"]:::orphan
  L4["L4 scoreboard_cron"]:::orphan

  %% ===== landed_bounded 13 行（绿实线 · bounded） =====
  p_bc -->|landed_bounded| E1
  p_b1 -->|landed_bounded 36t| E1
  p_b2 -->|landed_bounded 28t| E2
  p_b3 -->|landed_bounded SHA+131agg| E3
  p_b3 -->|landed_bounded canonical rec| E6
  p_b4 -->|landed_bounded SHA+17t| E4
  p_b5 -->|landed_bounded SHA+19t| E5
  p_prog -->|landed_bounded| E5
  p_osel -->|landed_bounded quick oracle| E4
  p_osel -->|landed_bounded module oracle| E5
  p_obs -->|landed_bounded dogfood 边界| E7
  p_tt -->|landed_bounded TestTarget 绑定| E7
  p_bc -->|landed_bounded boundary SPEC| E8

  %% ===== policy_bounded 3 行（绿实线 · 横切策略 bounded） =====
  p_split -->|policy_bounded 职责分离| E1
  p_red -->|policy_bounded 红线横切| E5
  p_red -->|policy_bounded 静默失败| E3

  %% ===== partial_missing_behavior 1 行（黄 · 缺B） =====
  p_res -->|partial 缺B: schema 就位无填充实例| E3

  %% ===== functional_not_landed 1 行（黄 · F） =====
  p_int -->|F: 选择器 landed·integration executor 后置| E2

  %% ===== legacy_projection 4 行（灰虚 · legacy 投影非 verdict 真源） =====
  p_reuse -.->|legacy_projection: test_health 投影| L1
  p_mig -.->|legacy_projection: 48 条 superseded| L2
  p_mig -.->|legacy_projection| L3
  p_reuse -.->|legacy_projection: cron 只重渲 legacy| L4

  %% ===== deferred_foundation 1 行（中性 · comp=null 明示后置非缺陷） =====
  p_def -->|deferred_foundation: Scale Up/isolation/regulator/MC4 明示后置| DEFNULL["(comp=null)<br/>明示后置·非 dnb"]:::mixed

  %% ===== legacy_live_no_core_consumer 1 行（灰虚 · du=null 历史孤儿 legacy） =====
  ORPHNULL["(du=null)<br/>historical orphan"]:::orphan -.->|legacy_live_no_core_consumer: cron 活但不被 core 消费| L4

  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 mixed fill:#cfe2ff,stroke:#0d6efd,color:#084298;

flowchart TB
  subgraph 图例["图例(色=状态/线型=关系)"]
    direction LR
    lg1["landed 已落地(绿)"]:::landed
    lg3["orphan legacy/孤儿(灰虚)"]:::orphan
    lgA["E=exists 外部被测实体(灰虚)"]:::orphan
  end

  subgraph core["(a) B1-B5 core+record landed"]
    direction TB
    E1["E1 functional_boundary<br>B1 readiness"]:::landed
    E2["E2 lane_policy<br>B2 lane"]:::landed
    E3["E3 testrun<br>B3 recorder"]:::landed
    E4["E4 quick_executor<br>B4 quick"]:::landed
    E5["E5 module_executor<br>B5 module"]:::landed
    E6["E6 test_run.json<br>as-built(module_pass)"]:::landed
  end

  subgraph subject["dogfood boundary(subject)"]
    direction TB
    E7["E7 gate/check.py (E)<br>被测实体(MC1-MC3)"]:::orphan
    E8["E8 gate/SPEC.md (E)<br>boundary SPEC"]:::orphan
  end

  subgraph legacy["(b) test_health legacy 投影"]
    direction TB
    L1["L1 diff_table<br>legacy scoreboard"]:::orphan
    L2["L2 clause_status<br>48-clause(superseded)"]:::orphan
    L3["L3 closure_review<br>legacy 投影"]:::orphan
    L4["L4 scoreboard_cron<br>legacy live(*/30)"]:::orphan
  end

  %% --- actual import chain(10 边, 实线; 锚 grep receipt b1b5_internal_import_edges) ---
  E2 -->|"import Readiness"| E1
  E3 -->|"import ImplementationRef/TestTarget"| E1
  E3 -->|"import LaneDecision"| E2
  E4 -->|"import Readiness/TestTarget"| E1
  E4 -->|"import LaneDecision"| E2
  E4 -->|"import TestRunRecorder"| E3
  E5 -->|"import Readiness/TestTarget"| E1
  E5 -->|"import LaneDecision"| E2
  E5 -->|"import quick helpers(复用 B4)"| E4
  E5 -->|"import TestRunRecorder"| E3

  %% --- dogfood 边(实线) ---
  E4 -->|"bind subject(entrypoint argv, 非 import)"| E7
  E5 -->|"bind subject(canonical+fault_injected)"| E7
  E1 -->|"parse boundary_anchor + digest 成员"| E8
  E5 -->|"produce TestRun(原子终态)"| E6

  %% --- legacy 投影边(虚线, 不与 core 实线混; 标 legacy 不被 core 消费) ---
  L1 -.->|"legacy 投影 · cron 每30分重渲(不被 core 消费)"| L4

  classDef landed fill:#d4edda,stroke:#28a745,color:#155724;
  classDef orphan fill:#e2e3e5,stroke:#6c757d,color:#41464b,stroke-dasharray:3 3;

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