28-EFT.WP.Propagation.PathRedshift v1.0 | 附录B 契约库与策略卡（C65 全集）

目录 ／ 文档-技术白皮书 ／ 28-EFT.WP.Propagation.PathRedshift v1.0

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

一句话目标：给出 PathRedshift 从分项建模（动/引/介/宇）→ 频散映射 → 射线积分 → 观测 → 融合/同步 → 校准 → 不确定度 → 运行的可执行契约 C65-* 与“策略卡”处置流程，统一两口径并行 + 量纲合规 + RefCond 可追溯，支撑清单化发布与回放审计。

I. 范围与对象

• 对象：z_parts={z_kin,z_grav,z_med,z_cos,z_inst,z_proc}，合成 z_path；T_arr^{form1/form2}, T_arr*；RefCond 与 offset/skew/J；manifest.redshift.* 全族。
• 输入：解析/配置口径（模型/路径/射线/映射）与观测/实现口径（PLL/CFO/谱线），RefCond、不确定度 u/U、面板与证据 URI。
• 输出：contracts.rules、contracts.report、strategy.cards 与 manifest.redshift.* 的处置记录与签名。
• 约束：所有契约项声明 metric, unit, dim, window, threshold|range，并通过 check_dim( y - f(x) )。

II. 命名、级别与通用字段

• 命名：C65-<域><序号>；域号映射：2x 基线、3x 运动、4x 引力、5x 介质、6x 宇宙学、7x 频散、8x 射线、9x 观测、10x 融合同步、11x 校准、12x 契约指标、13x 不确定度、14x 运行、15x 端到端。
• 严重级别：sev ∈ {blocker, high, medium, low}；动作：action ∈ {fail, warn, degrade, bypass}。
• 通用记录：{rule_id, sev, metric, unit, dim, threshold|range, window, samples, RefCond.hash, evidence_uri, pass, msg, ts}。
• 两口径（强制）：各域均需记录 delta_form_* 与容差 tol_*。

III. 域级契约总表（按章汇编）

若与场景化阈值冲突，以用例/环境化阈值为准（写入 contracts.thresholds）。单位/量纲省略处默认 unit(z)=1、dim(z)=1、unit(T)=[T]。

1. 2x 基线（红移分解/两口径）
   • C65-201 两口径差：delta_form_p95 ≤ tol_Tarr。
   • C65-202 分解一致：|z_meas - z_path|_p95 ≤ tol_z。
   • C65-205 量纲合规：所有发布字段 check_dim 通过。
2. 3x 运动学（Doppler/Sagnac/非惯性）
   • C65-301 环路几何：|(Ω·A)_{meas}-(Ω·A)_{cfg}| ≤ τ_{ΩA}。
   • C65-303 静止窗口：|z_kin|_p95 ≤ z_quiet_max。
3. 4x 引力（弱场/PN/ISW）
   • C65-402 势场/星历新鲜度：age(grav/ephemeris) ≤ Δt_max；覆盖 ≥ cov_min。
   • C65-404 Shapiro/ISW 标注：是否计入 ΔT_grav 必落盘。
4. 5x 介质与移动介质（Fizeau/等离子体/湍流）
   • C65-501 源新鲜度：age(TEC/met) ≤ Δt_max；空间覆盖 ≥ cov_min。
   • C65-503 相/群一致门：|z_meas − (z_kin+z_grav+z_med)|_p95 ≤ tol_z。
5. 6x 宇宙学（FRW/低红移）
   • C65-603 去本地运动：z_cos 必引用 z_kin_local；未处理不得发布。
   • C65-604 方法标注：method ∈ {low-z, FRW} 与适用范围落盘。
6. 7x 频散映射（n_phi/n_g）
   • C65-702 映射误差：ΔT_map_p95 ≤ tol_map；并落盘 u(ΔT_map)。
   • C65-703 频段与来源：band ⊂ band_spec 且 n_phi/n_g/beta 的 hash 与适用频段落盘。
7. 8x 射线与路径积分
   • C65-801 单调与端点：non_decreasing(ell) 且端点误差 ≤ tol_geo。
   • C65-802 接口一致：Snell 残差 ≤ tol_snell，非法反射需标注。
8. 9x 观测口径（PLL/CFO/谱线）
   • C65-901 解析 vs 观测：|resid_z|_p95 ≤ tol_z。
   • C65-903 SNR/分辨率：SNR ≥ SNR_min 且 T_obs ≥ T_min（CRLB 满足）。
   • C65-904 口径标注：相/群/方法标注与映射 ΔT_map 必落盘。
9. 10x 融合/同步（RefCond/钟）
   • C65-1001 两口径与对齐：delta_form_p95 ≤ tol_Tarr；ΔT_obs_p95 ≤ tol_align。
   • C65-1002 新鲜度/覆盖：age(source) ≤ Δt_max，coverage ≥ cov_min。
   • C65-1003 钟稳定性：|skew| ≤ skew_max，|J|_p95 ≤ J_max。
10. 11x 校准（频比/谱线/回环）
    • C65-1102 频比一致：ε_R_p95 ≤ τ_R。
    • C65-1103 谱线锚定：|Δ_line|_p95 ≤ τ_line。
    • C65-1104 回环对称：|Δτ_asym|_p95 ≤ τ_asym。
11. 12x 契约与指标
    C65-1201–C65-1207 见第12章（两口径、残差、偏置/漂移、覆盖/新鲜度、谱/时间异常）。
12. 13x 不确定度/guardband
    • C65-1301 GUM/MC 一致：0.8 ≤ ρ ≤ 1.25，否则以 MC 为准并标注。
    • C65-1303 上线门：metric + k·u(metric) ≤ threshold。
13. 14x 运行时与流式
    • C65-1401 在线两口径差：p95(delta_form_rt_{z,T}) ≤ {tol_z_rt,tol_Tarr}；p95(ΔT_obs) ≤ tol_align。
    • C65-1403 缓存有效：hit ≥ hit_min，stale_ratio ≤ tol_stale。
14. 15x 端到端
    C65-1501 端到端门：delta_form_p95 ≤ tol_Tarr，resid_z_p95 ≤ tol_z，覆盖 ≥95%，回滚链可验。

IV. 策略卡模板（YAML，可执行处置）

card_id: <string>

triggers: [C65-xxxx, ...] # 触发契约

sev: blocker|high|medium|low

decide:

if: "<metric> comparator <threshold>" # 或布尔表达式

act:

- api: I65-xx

params: {...}

- api: I65-yy

params: {...}

verify:

metric: <name>

window: "W=5min,p95"

rollback:

plan: "<bypass|lower_order|rollback_version>"

notes: "<why/impact/evidence_uri>"

V. 典型策略卡集合

1. card.baseline_twoform（两口径差超限）

• triggers：C65-201, C65-1201, C65-1401
• act：I65-83 integrate_path 复算、I65-132/133 重估 u(delta_form)；必要时统一到 form2 并在清单标注。
• verify：delta_form_p95 ≤ tol_Tarr。

2. card.kin_sagnac_geometry（Sagnac/几何不一致）

• triggers：C65-301/302
• act：更新 Ω/A 或改用线积分 I65-32；重算 z_kin 与 Δt_Sag。
• verify：|(Ω·A)_{meas}-(Ω·A)_{cfg}| ≤ τ_{ΩA}。

3. card.grav_freshness（势场/星历过期）

• triggers：C65-402
• act：回退到上版本模型；必要时提高阶次并缩窗；增大 guardband I65-136。
• verify：age(grav/ephemeris) ≤ Δt_max。

4. card.med_sources_adapt（TEC/met 稀疏或突变）

• triggers：C65-501/503
• act：切换数据源/插值策略 I65-103，或降级到静介质近似；重估 z_med、ΔT_med。
• verify：age(source) ≤ Δt_max，resid_z_p95 ≤ tol_z。

5. card.cosmo_method_gate（低红移与 FRW 切换）

• triggers：C65-603/604
• act：在 z<z_max_low 使用 low-z；超界切换 FRW I65-61..65。
• verify：方法标注与适用范围已落盘。

6. card.dispersion_dualpublish（频散映射误差）

• triggers：C65-702/705
• act：改为相/群双口径并列发布；扩大 guardband；落盘 ΔT_map 与 u(ΔT_map)。
• verify：ΔT_map_p95 ≤ tol_map。

7. card.obs_crlb_guard（观测分辨率/SNR不足）

• triggers：C65-903
• act：延长 T_obs、换窗、提升 SNR 或切换口径（PLL→LINE）；不足则降级/拒发。
• verify：CRLB 满足。

8. card.sync_clock_stabilize（钟噪/同步异常）

• triggers：C65-1003
• act：更换参考/增对时带宽/更新模型 I65-102；校正 ΔT_sync。
• verify：|skew| ≤ skew_max、|J|_p95 ≤ J_max。

9. card.calibration_anchor（比链/谱线/回环失配）

• triggers：C65-1102..1104
• act：执行 I65-111..115 重标定；更新 z_bias/z_scale/ΔT_bias。
• verify：不变量门通过、|z_cal - z_pred|_p95 ≤ tol_z。

10. card.runtime_fallback（运行态 SLO/契约违约）

• triggers：C65-1401..1405
• act：I65-146 逐级 scale_down → damping → lower_order → bypass → rollback_version。
• verify：delta_form_rt/latency/drop_rate 恢复到门内。

VI. 阈值建议与标定

• 两口径/映射：tol_Tarr ≈ 1e-3·T_arr；tol_map ≈ 0.1·tol_Tarr；tol_align ≈ 0.02·T_sym 或 1e-3·T_f。
• 红移残差：tol_z 由 SNR/窗口与场景确定（典型 1e-12–1e-10 深空/光纤；1e-10–1e-8 地基-卫星）。
• 源新鲜度与覆盖：Δt_max（星历/势场/TEC/met）依源刷新率设定；cov_min ≥ 0.9。
• 钟稳定：skew_max（ppm 量级）与 J_max 由设备级规范给定。
• CRLB/SNR：由观测方法（PLL/CFO/LINE）与 T_obs 计算的解析下界作为门限。
• 方法：离线标定 + 线上回放校准阈值；任何阈值调整写入 contracts.thresholds 与 change_log。

VII. 落盘与审计（清单字段）

• contracts.rules[]：每条 C65-* 的状态、窗口与 evidence_uri。
• contracts.thresholds：阈值表与来源 hash；环境化覆盖。
• contracts.strategy.cards[]：武装策略卡与触发条件/动作/验证结果。
• contracts.audit：{who,when,tool,signature} 与回放指针。
• 最小可见：不落盘原始敏感数据，仅存快照哈希/统计摘要。

VIII. 接口映射（执行）

• 契约计算 → 各章 M65-*；
• 处置执行 → 本卷 I65-*（策略卡 act.api 直接调用）；
• 清单写入 → emit_*_manifest 族接口（ray/obs/refcond/cal/u/contracts/rt 等）。

IX. 交叉引用

• 章节：第2–15章 P/S/M/I；
• 清单：附录C（manifest.redshift.*）；
• 指标与漂移：附录D；
• 不确定度与 guardband：附录E；
• 配套卷：PathCorrection/TimeBase/Instrument/Methods.Cleaning。

小结

• 本附录提供 C65-* 全集与“策略卡”库，将两口径差/量纲合规/阈值门标准化为可执行的检测→处置→验证→回滚闭环；
• 结合 I65-* 与 manifest.redshift.*，可在动→引→介→宇→映射→射线→观测→融合→校准→不确定度→运行全链路落地可计量、可审计、可回退的 PathRedshift。