23-EFT.WP.Metrology.PathCorrection v1.0 | 附录B 契约库与策略卡（C80 全集）

目录 ／ 文档-技术白皮书 ／ 23-EFT.WP.Metrology.PathCorrection v1.0

附录B 契约库与策略卡（C80 全集）

一句话目标：给出本卷统一的 C80-* 契约断言与“策略卡”模板，使路径修正在建模、计算与发布的各阶段可验证、可降级、可审计。

I. 说明与范围

• 覆盖对象：几何/积分两口径/对流层/电离层/光纤/多径/射线/环境融合/仪器链/不确定度/运行时/用例级的全部契约族。
• 产出：契约条目 C80-*（表达式、阈值、动作）、策略卡模板与实例、日志与面板字段映射。
• 执行位置：assert_path_contracts、assert_uncertainty_contracts、运行时面板门（见第10、13、14、15章）。

II. 统一字段与严重级别

• 判断结果：pass ∈ {true,false}；动作 action ∈ {allow, degrade, fallback, block}。
• 严重级别：sev ∈ {S1(审计), S2(降级), S3(回退), S4(封锁)}。
• 时间/量纲：所有表达式经 check_dim(...)；时间统一 unit="s"；频率 unit="Hz"；长度 unit="m"。
• 新鲜度与覆盖：age(src) = ts_now - ts_src；cov(gamma) = |{ell: data_valid}| / |{ell: all}|。

III. 契约库（C80-* 清单与建议阈值）

1. 几何与坐标（第3章） C80-31x
   • C80-311 路径单调：non_decreasing(ell) → allow/S4。
   • C80-312 路径长度：0 < L_gamma ≤ L_max（工程设定）→ 超界 block/S4。
   • C80-313 坐标一致：frame ∈ {"ECEF","ENU"} 且转换闭环误差 < eps_geom → 否则 degrade/S2。
2. 两口径与积分（第10章） C80-101x
   • C80-1011 两口径差：delta_form ≤ tol_Tarr（建议 tol_Tarr = 1e-12 … 1e-11 s 按链路分级）→ 超限 fallback/S3。
   • C80-1012 数值楼板：u_num ≥ u_floor 与步长自适应收敛标志为真 → 否则加密网格或 fallback/S3。
   • C80-1013 量纲校核：check_dim(T_arr) = "[T]" → 否则 block/S4。
3. 对流层（第5章） C80-51x
   • C80-511 传感器新鲜度：age(met) ≤ Delta_t_met（典型 10–30 min）→ 否则 fallback/S3。
   • C80-512 仰角映射一致：mapping.ver 与天顶延迟模型版本一致 → 否则 degrade/S2。
   • C80-513 覆盖：cov(gamma_met) ≥ cov_min_met（建议 ≥ 0.9）→ 否则 fallback/S3。
4. 电离层（第6章） C80-61x
   • C80-611 TEC 新鲜度：age(TEC) ≤ Delta_t_TEC（典型 ≤ 30 min）→ 否则 fallback/S3。
   • C80-612 频散形状：在工作带内验证 T_iono ∝ 1/f^2 的残差 < eps_fdisp → 否则 degrade/S2。
   • C80-613 射线/映射一致：所用映射函数与几何一致 → 否则 degrade/S2。
5. 多径（第7章） C80-71x
   • C80-711 镜面簇数：specular_k ≤ K_max（建议 ≤ 3）→ 超限 degrade/S2。
   • C80-712 残差门：抑制后 residual_p95 ≤ thr_res（按业务设）→ 超限 fallback/S3。
   • C80-713 方法收敛：estimate_multipath.converged = true → 否则 fallback/S3。
6. 光纤/电缆（第8章） C80-81x
   • C80-811 温度系数：实测 ∂T_env/∂T 与规格偏差 < eps_kT → 否则 degrade/S2。
   • C80-812 不对称上界：|Δasym| ≤ asym_max → 超界 fallback/S3。
   • C80-813 回环可追溯：T_fixed 更新版本与有效期内 → 否则 degrade/S2。
7. 射线追迹（第9章） C80-91x
   • C80-911 收敛：solve_ray.status = "converged" 且能量守恒误差 < eps_energy → 否则 fallback/S3。
   • C80-912 边界条件：入射/出射角满足 bc 容差 → 否则 degrade/S2。
8. 环境融合（第11章） C80-111x
   • C80-1111 数据新鲜度门：max(age(src)) ≤ Delta_t → 超限 fallback/S3。
   • C80-1112 覆盖：cov(gamma) ≥ cov_min → 否则 degrade/S2。
   • C80-1113 修正可逆域声明齐全 → 否则 block/S4。
9. 仪器与处理链（第12章） C80-121x
   • C80-1211 模型一致：训练/发布口径一致校核通过 → 否则 degrade/S2。
   • C80-1212 互连/回环偏差在控：|bias_loop| ≤ thr_loop → 超界 fallback/S3。
10. 不确定度与 guardband（第13章） C80-13xx
    • C80-1301 合成口径：u_c = sqrt(J V_x J^T + u_num^2) 或 MC 报告分位齐全 → 否则 block/S4。
    • C80-1302 覆盖因子：U = k * u_c 与所宣称置信一致（GUM 或 MC）→ 否则 degrade/S2。
    • C80-1303 数值不确定度入账：u_form、u_q 等字段非空 → 否则 degrade/S2。
11. 运行时（第14章） C80-141x
    • C80-1411 端到端延迟：L_rt ≤ SLO_latency 且 p99(L_rt) ≤ SLO_latency_p99 → 超限 degrade/S2。
    • C80-1412 缓存命中：hit_total ≥ hit_min（建议 ≥ 0.95）→ 否则预热或 degrade/S2。
    • C80-1413 两口径在线：delta_form 连续 N_w 窗口不超门 → 否则 fallback/S3。
    • C80-1414 可追溯最小集：manifest.path.rt 必含 {wm,lateness,cache,fallback} → 否则 block/S4。
12. 用例级（第15章） C80-150x
    • C80-1501 GNSS：age(TEC) ≤ Δt_TEC，age(met) ≤ Δt_met，p95(|map_residual|) ≤ thr_map。
    • C80-1502 WR/光纤：p95(|T_one_error|) ≤ thr_wr，tau_ripple_p2p ≤ thr_tau。
    • C80-1503 NLOS：specular_k ≤ K_max，residual_p95 ≤ thr_res。

IV. 策略卡模板（Policy Card）

• 目的：以可配置卡片驱动门限、动作与告警，无需改代码即可变更策略。
• 字段：scope、rules[]、thresholds、actions、severity、alarm、fallback_matrix、audit.

policy_card:

scope: "free-space|fiber|nlos|global"

thresholds:

tol_Tarr: 1.0e-12

Delta_t_met: 1800

Delta_t_TEC: 1800

cov_min: 0.9

hit_min: 0.95

rules:

- id: C80-1011

expr: "delta_form <= tol_Tarr"

on_fail: {action: "fallback", sev: "S3", alarm: "alarm.form"}

- id: C80-1111

expr: "max_age <= Delta_t"

on_fail: {action: "fallback", sev: "S3", alarm: "alarm.freshness"}

fallback_matrix:

- from: "live" to: "model" alpha_r: 0.2

- from: "model" to: "climatology" alpha_r: 0.5

- from: "climatology" to: "RefCond0" alpha_r: 1.0

audit:

emit_fields: ["trace_id","ts","scope","rules_failed","alpha_r","action"]

V. 策略卡实例（摘录）

1. GNSS/自由空间（scope="free-space"）
   • tol_Tarr = 5e-12；Delta_t_met = 1800 s；Delta_t_TEC = 1800 s；cov_min = 0.9；hit_min = 0.95。
   • 失败动作：C80-611/511 触发 fallback→model，alpha_r=0.3，告警 alarm.freshness。
2. White Rabbit/光纤（scope="fiber"）
   • asym_max = 5e-10 s；u_floor = 5e-13 s；eps_kT = 20%；tol_Tarr = 1e-12。
   • 失败动作：C80-812 触发 fallback→last_good_cal，alpha_r=0.5，打标 tags.degraded.asym。
3. 城域 NLOS 微波（scope="nlos"）
   • K_max = 3；thr_res = 2e-9 s；tol_Tarr = 1e-11 s。
   • 失败动作：C80-712 触发 degrade（降权与扩窗），连续 3 窗口失败升级 fallback。

VI. 断言执行与记录

1. 执行顺序：几何 → 环境新鲜度/覆盖 → 射线/积分两口径 → 分项合成 → 不确定度 → 运行时门。
2. 结果落盘：
   • contracts.pass, contracts.failed = [C80-...]；
   • contracts.actions = [{id,action,sev,ts}]；
   • contracts.thresholds.ver 与策略卡 hash。
3. 面板映射：delta_form_p99、age_max、cov、hit_total、p99(L_rt)、U 与规则状态同步。

VII. 变更与上下界治理

• 变更控制：策略卡版本 policy.ver 与灰度字段（pct_traffic）。
• 上下界学习：离线回放估计 thr_* 与 tol_Tarr 的 p95/p99 建议区间；上线采用 guardrail 双门（软门 S2、硬门 S3/S4）。
• 回滚：任一 S4 异常频发（> N_w 窗口）自动回滚至上一版策略卡。

VIII. 交叉引用

• 两口径与数值积分：见第10章。
• 不确定度与 guardband：见第13章。
• 运行时与流式门控：见第14章。
• 时基/同步与时间戳：见《EFT.WP.Metrology.TimeBase v1.0》《…Sync v1.0》。
• 清洗与标注：见《EFT.WP.Methods.Cleaning v1.0》。

IX. 审计与回放

• 审计键：trace_id, rules_failed, fallback_level, alpha_r, policy.hash, inputs.hash, wm/lateness。
• 回放能力：基于 trace_id 与策略卡版本重跑，比较 contracts.diff 与产出差分（见第14章）。

小结

• 本附录提供了 C80-* 契约全集与可部署的策略卡模板/实例，贯穿建模—计算—发布—运行时全链路。
• 发布最小清单键（与附录C一致）：
  contracts = { pass, failed[], actions[], thresholds, policy:{ver,hash,scope}, audit.* }。
• 结合第10/13/14章，可形成闭环：在线监控→契约判定→降级/回退→审计追溯。