49-误差预算卡 Template v1.0 | 第9章 质量门对齐与阈值映射

目录 ／ 文档-技术白皮书 ／ 49-误差预算卡 Template v1.0

第9章 质量门对齐与阈值映射

I. 目的与范围（Purpose & Scope）

• 将不确定度评估结果与**质量门（G1–G8）及停止准则（S1–S5）**建立一一对应的阈值映射与判定规则，形成可执行、可审计的发布口径。
• 涉及路径量（到达时/相位）时，正文显式 gamma(ell) 与测度 d ell，并在数据/元数据记录 delta_form ∈ {general, factored}；发布要求 p_dim = 1.0。

II. 前置条件与输入（Prerequisites & Inputs）

• 传播结果：按第6章得到 u(x_i)、u_c、U = k·u_c 或分位带、Σ=Cov(x) 与目标量 y=f(x)。
• 相关结构：第5章核/参数（σ^2, L_c, …）与设计效应（DEFF/ν_eff）已就绪。
• 区间类型：置信/可信/分位带（第8章）在文内明确，并给出覆盖水平 k/α/分位。
• 数据与合规：check_dim_report.json 通过；see[]/references[] 采用“卷名 + 版本 + 锚点（P/S/M/I）”，锚点直指率 ≥ 90%。

III. 质量门映射（Gate Mapping）

• G4｜量纲闭合 → S1
  判据：p_dim = 1.0（必通过）；任一目标量单位/量纲不闭合 → 触发 S1 停止。
• G5｜校准新鲜度
  判据：|ts_start − calib.timestamp| ≤ τ_calib 且 clock_state=locked；超过阈值 → 再标定或限制模式。
• G6｜噪声与残差（Q_res）
  判据：Q_res ∈ [Q_min, Q_max]（由基准与稳健代理确定）；越界则切换稳健流程并上报二阶代理。
• G7｜守恒一致性（ε_flux）
  判据：P95(ε_flux) ≤ ε_flux_guard；超带 → 模型切换或分段缩短 T_coh/L_coh。
• G3｜路径–测度完整
  判据：len(gamma_ell)=len(d_ell)=len(n_eff)≥2 且同步；不满足 → 拒收与回退。
• G2｜引用合规 → S5
  判据：锚点直指率 ≥ 90%、无外链/别名；未达标 → S5 阻断发布。
• G1/G8｜Schema 与唯一性
  判据：字段/索引完整、record_id 唯一、checksum 不重复；失败即修复或拒收。

IV. 阈值映射规则（Threshold Mapping Rules）

• 到达时残差 ΔT_arr
  判定口径：|ΔT_arr| + U(T_arr) ≤ τ_T 判阳性；否则阴性/限制模式。
• 相位一致性 r_phi
  判定口径：LB(r_phi) ≥ r_phi_min（Fisher–z 或自举下界）；对齐参考窗后评估。
• 守恒误差 ε_flux
  判定口径：P95(ε_flux) ≤ ε_flux_guard；并出具近轴守恒诊断图。
• 维度闭合率 p_dim
  判定口径：p_dim = 1.0（硬门）；否则 S1。
• 稳健残差 Q_res
  判定口径：Q_res ∈ 带内；若采用 Huber/分位损失，则使用稳健二阶代理的带内判定。
• 通过率/比例
  判定口径：Wilson/Clopper–Pearson 区间与任务阈值对照；或 Beta–Binomial 后验区间对照。

V. 决策逻辑（阳性/阴性/限制模式）

• 阳性（Pass）：所有核心门（G4/G5/G6/G7/G3/G2）通过，且关键指标满足 IV 节阈值映射。
• 阴性（Fail）：任一核心门失败或关键阈值不满足。
• 限制模式（[Restricted]）：核心假设（近轴/相干窗/计量闭合）部分失效或新鲜度过期但需呈现趋势时，仅发布定性区间与诊断图，图表标题统一追加 [Restricted]。

VI. 报告与发布（Reporting & Release）

• 合规模块：在结果页列示：check_dim_report 摘要、anchor_coverage / ver_presence、clock_state / τ_calib、Q_res 带内判定、P95(ε_flux) 对照。
• 图表要求：核心指标给出 ±U(k) 或分位带；图注标明区间类型、覆盖水平、delta_form（若为路径量）、see[]/version。
• 审计记录：在 audit.jsonl 记录阈值、核参数、B/seed、设计效应与最终判定。

VII. 机读模板（Machine-Readable）

A. gate_map.yaml

version: "1.0.0"

gates:

G4: { p_dim: 1.0 }

G5: { tau_calib_s_max: 86400, clock_state: "locked" }

G6: { Q_res_band: [0.0, 0.2], robust_surrogate: true }

G7: { epsilon_flux_guard_p95: 0.02 }

G3: { path_min_len: 2, sync: true }

G2: { anchor_coverage_min: 0.90, forbid_external_links: true }

thresholds:

tau_T_s: "3*u(T_arr)"

r_phi_min: 0.60

decision:

DeltaT_arr: "abs(DeltaT_arr)+U_T <= tau_T_s"

r_phi: "LB_r >= r_phi_min"

epsilon_flux: "P95_epsilon <= epsilon_flux_guard_p95"

labels:

restricted: "[Restricted]"

see:

- "EFT.WP.Core.Metrology v1.0:check_dim"

- "EFT.WP.Core.Equations v1.1:S20-1"

B. compliance_table.csv（发布表格）

metric,point,interval_or_band,gate,threshold,decision,notes

DeltaT_arr,1.2e-9,"±U(k=2)",G4/G5,"<= tau_T_s",pass,"dim OK; fresh OK"

r_phi,0.72,"[0.61,0.80]",G6,">= r_phi_min",pass,"Fisher-z back-transform"

epsilon_flux,0.006,"P95=0.011",G7,"<= 0.02",pass,"paraxial guard satisfied"

Q_res,0.13,"band in [0,0.2]",G6,"in-band",pass,"robust surrogate used"

p_dim,1.0,"—",G4,"= 1.0",pass,"check_dim_report attached"

VIII. 与其它章节衔接（Cross-Refs）

• 传播结果与区间：见第6章、第8章；
• 相关结构与设计效应：见第5章、第7章；
• 结果页呈现与评分：见第11章；
• 附录的机读配置与清单：见第12章。

IX. 执行勾选清单（Checklist）

• 各核心指标已与对应质量门阈值建立判定公式并计算完毕。
• check_dim_report.json 通过；clock_state=locked、τ_calib 合规。
• 路径量显式 gamma(ell)、d ell，并记录 delta_form；阈值与区间类型透明。
• 结果页包含合规模块、图表（含单位与覆盖水平）、审计要素；锚点直指率 ≥ 90%。
• 对不满足项已按规则进入 [Restricted] 或触发 S1–S5（停止/回退/再标定）。