48-实验协议卡 Template v1.0 | 第8章 质量门与停止准则

第8章 质量门与停止准则

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

• 定义从采集到导出的强制性质量门（Gates）与停止/回退准则（Stops/Fallbacks），确保计量闭合、时基一致、路径采样充分与引用合规。
• 适用：timing / imaging / spectral / mixed；涉及到达时/相位时，路径量显式 gamma(ell) 与测度 d ell，并记录 delta_form。

II. 质量门定义（Gates G1–G8，发布必过）

• G1｜Schema 完整：字段、类型、必填、索引一致；{time × channel × position} 维度对齐。
• G2｜引用合规：see[]/references[] 使用“卷名 + 版本 + 锚点（P/S/M/I）”，锚点直指率 ≥ 90%，无外链与别名。
• G3｜路径–测度完整：len(gamma_ell)=len(d_ell)=len(n_eff)≥2 且同步；Δell 满足采样约束。
• G4｜量纲闭合：p_dim = 1.0；到达时 T_arr = ( ∫ ( n_eff / c_ref ) d ell ) 单位 s；相位 Phi 单位 rad。
• G5｜校准新鲜度：|ts_start − calib.timestamp| ≤ τ_calib；记录 calib.version/timestamp。
• G6｜噪声与残差：稳健指标 Q_res 在许可带；稳健流程需上报二阶等价代理。
• G7｜守恒一致性（近轴）：ε_flux → 0 @ O(θ^2)；若违背须切换模型或分段。
• G8｜唯一性与完整性：record_id 唯一、checksum.sha256 不重复；audit.jsonl 完整。

III. 停止准则（Stops）

• S1：p_dim < 1 或 check_dim 失败 → 立刻停止当前批次。
• S2：clock_state != locked 且超限宽限，或 |δt_abs|/|Δτ_ch| 超阈 → 停止写入。
• S3：f_s < 2 f_max、Δell > Δell_max、len(path)<2 → 停止并拒收该批。
• S4：|θ| > θ_max 或 |∇ n_eff|·L_coh ≮≪ 1 → 停止近轴链路。
• S5：引用不合规（ver_presence<1 或锚点直指率 < 90%）→ 阻断发布。

IV. 回退与处置（Fallbacks & Actions）

• F1｜同步回退：GNSS→PTP→NTP；仍失效则进入 [Restricted] 并暂停写入。
• F2｜模型切换：近轴失败→启用全波/数值传播；结果与图表标注 [Restricted]。
• F3｜再标定/再计算：τ_calib 超期、u(θ_k) 超阈或 p_dim<1 → 触发 recalibrate/recompute 队列。
• F4｜分段与自适应：|∇ n_eff| 上升或泄漏风险增加→缩短 T_coh/L_coh、提高频率分辨或分段路径。
• F5｜稳健替代：Q_res 超带或重尾→切换 Huber/分位流程并上报二阶代理与功效影响。

V. 在线监测与告警（Online Monitoring & Alerts）

• 实时滚动：Q_res, p_dim, σ_y(τ), SNR, ε_flux, δt_abs, Δτ_ch。
• 告警级别：warn（接近阈值）、error（超阈触发 F1–F5）、fatal（满足 S1–S4 立即停止）。
• 心跳与审计：每 Δt_beat 记录 clock_state 与阈值判定至 audit.jsonl。

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

• 发布包必须包含：manifest.yaml / schema.json / observations.parquet / paths.parquet / check_dim_report.json / quality_report.json / audit.jsonl。
• 任何 G1–G8 未通过或 S1–S5 触发，直接阻断发布；仅可在 [Restricted] 下输出定性说明与诊断图。

VII. 机读规则（Machine-Readable，可直接落库）
A. gates.yaml

version: "1.0.0"

gates:

G1: { schema: true }

G2: { cite_anchor_min: 0.90, forbid_external_links: true }

G3: { path_min_len: 2, require_sync: true }

G4: { p_dim: 1.0, units: { T_arr: "s", Phi: "rad" } }

G5: { tau_calib_s_max: 86400 }

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

G7: { epsilon_flux_guard: "≈0@O(theta^2)" }

G8: { unique_record_id: true, unique_checksum: true }

stops:

- { code: "S1", when: "p_dim<1 or check_dim_fail" }

- { code: "S2", when: "sync_unlocked and over_grace or abs_t/skew_over" }

- { code: "S3", when: "fs<2*fmax or Delta_ell>Delta_ell_max or path_len<2" }

- { code: "S4", when: "theta>theta_max or grad_n_eff_Lcoh_not_small" }

- { code: "S5", when: "ver_presence<1 or anchor_coverage<0.90" }

fallbacks:

F1: "sync_fallback"

F2: "switch_fullwave"

F3: "recalibrate_recompute"

F4: "segment_adapt"

F5: "robust_substitute"

B. quality_report.json（字段示例）

{
  "run_id": "01JXYZABCD...",
  "gates": {
    "G1": true,
    "G2": 0.94,
    "G3": true,
    "G4": true,
    "G5": true,
    "G6": true,
    "G7": true,
    "G8": true
  },
  "stops_triggered": [  ],
  "fallbacks": [ "F1" ],
  "metrics": {
    "p_dim": 1.0,
    "Q_res": 0.12,
    "epsilon_flux": 0.006,
    "delta_t_abs_ns": 18,
    "allan_1s": 1.1e-11
  }
}

VIII. 结果与合规页面最小必填（与第5/7章对齐）

• 指标：ΔT_arr (s)、r_phi (1)、ε_flux (1)、p_dim (1)、Q_res (1) 与区间/阈值对照。
• 合规：check_dim_report.json 摘要、anchor_coverage、ver_presence、clock_state、τ_calib。
• 备注：若 [Restricted]，在全部图表标题后附标签并列出触发项。

IX. 执行勾选清单（Checklist）

• G1–G8 全部通过；anchor_coverage ≥ 90%；无外链/别名。
• 路径型表达显式 gamma(ell)、d ell；delta_form 已记录。
• p_dim = 1.0，clock_state=locked，|δt_abs|/|Δτ_ch|、σ_y(τ) 在阈值内；τ_calib 合规。
• 采样满足 f_s ≥ 2 f_max、Δell ≤ Δell_max；len(path) ≥ 2。
• 发布包（manifest/schema/data/reports/audit）齐备且校验通过；checksum 不重复。
• 任何触发 S1–S5 已按 F1–F5 处置，必要时标注 [Restricted] 并阻断对外定量发布。