28-EFT.WP.Propagation.PathRedshift v1.0 | 前言

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

前言

一句话定位：本卷定义路径红移（Path Redshift）在工程链路中的统一口径——把运动学/引力/介质/宇宙学/仪器/处理对频率与到达时的影响合成到同一可计算、可审计、可发布的框架中。

I. 目的与定位

• 目的：将观测频率漂移 z 与到达时 T_arr 的来源拆解为可测、可配、可回放的部件：
  1 + z_path = (1+z_kin)(1+z_grav)(1+z_med)(1+z_cos)(1+z_inst)(1+z_proc)（小量近似为线性和）。
• 场景：深空测控/地月行星链路、地基-卫星下行、跨介质光链路（光纤+自由空间）与高稳定频率传递。
• 交付：z_path, T_arr*, 证据与阈值的清单 manifest.redshift.*，以及跨域契约 C65-* 与策略卡。

II. 范围与对象

• 对象：世界线/路径 gamma(ell)，介质与频散 n_eff(f,x), n_phi(f), n_g(f)，势场 phi_grav，宇宙学尺度因子 a(t)，本地钟 offset/skew/J。
• 输入：发射/接收状态向量（速度/姿态/旋转 Omega）、星历/势场/介质剖面、观测数据流（PLL/CFO/谱线拟合）、RefCond。
• 输出：z_parts = {z_kin, z_grav, z_med, z_cos, z_inst, z_proc}，合成 z_path 与一致化到达时 T_arr*；两口径差 delta_form；u/U 与面板字段。
• 边界：强场/非线性/量子修正不在默认工程口径内；需要时以扩展条目落盘来源与假设。

III. 编号与口径（强制）

1. 统一编号：公设 P65-*，最小方程 S65-*，计量流程 M65-*，实现绑定 I65-*，契约 C65-*。
2. 到达时两口径（跨卷复用）：
   • 常量外提：T_arr = ( 1 / c_ref ) * ( ∫_{gamma(ell)} n_eff d ell )；
   • 一般口径：T_arr = ( ∫_{gamma(ell)} ( n_eff / c_ref ) d ell )；
   • 发布记录两口径差：delta_form = | ( 1 / c_ref ) * ( ∫ n_eff d ell ) - ( ∫ ( n_eff / c_ref ) d ell ) |，并断言 delta_form ≤ tol_Tarr。
3. 红移定义：1 + z = f_emit / f_obs = lambda_obs / lambda_emit，check_dim(z) = "1"。

IV. 方法论与总流程 M65-1

• 就绪：建立 RefCond（星历/势场/介质/气象/时区/时基）、统一坐标与时间线 tau_mono/ts；加载路径与器件清单（含 hash/有效期）。
• 建模/估计：计算 z_kin（Doppler/Sagnac/非惯性）、z_grav（弱场/PN 路径项）、z_med（Fizeau/等离子/对流层/电离层）、z_cos（FRW/低红移近似），并估计观测 z_meas。
• 一致化：合成 z_path 与 T_arr* = T_form2 + ΔT_geom + ΔT_med + ΔT_inst + ΔT_proc + ΔT_sync，其中所有修正项以 corr_env(x; RefCond) 记账。
• 校核：两口径差 delta_form、单位/量纲 check_dim、基准/回环校准（频率比链/共振线）；计算不确定度 u/U（GUM/MC）。
• 发布：生成与签名 manifest.redshift，落盘 z_parts/z_path/T_arr*、契约结果与策略卡，面板字段与回放指针。

V. 读者路径与角色映射

• 工程实现：第2→3→4→5→8→9→10→11→12→13→14章。
• 算法建模：第2→3→4→5→7→8→9→10→13章。
• 运维与合规：第10→12→13→14→附录 B/C/D/E。

VI. 数据、计量与合规

• 数据规范：世界线/星历/势场/介质剖面、观测时频数据、仪器与路径清单都需具 unit/dim/hash 与生效区间；任何对数↔线性换算在清单内给出 scale.note。
• 计量口径：PLL/CFO/谱线拟合的窗口/分辨率、Sagnac 与非惯性的几何约定、介质频散 n_phi/n_g 区分；跨设备校准与 RefCond 一致性。
• 合规模块：两口径差、世界线与路径单调、势场/星历/介质数据新鲜度、面板新鲜度与覆盖度（C65-*）。

VII. 交叉引用（强依赖）

• 时基与同步：见《能量丝》时基/同步卷（tau_mono/ts/offset/skew/J）。
• 路径积分与介质：见《EFT.WP.Metrology.PathCorrection v1.0》（两口径/频散/到达时）。
• 仪器与回环：见《EFT.WP.Metrology.Instrument v1.0》（基准/回环/不确定度）。
• 清洗与发布：见《EFT.WP.Methods.Cleaning v1.0》（两口径/契约落盘）。

VIII. 产出物与验收

• 工件：I65-* 接口实现（运动/引力/介质/宇宙学/观测/融合/发布）、C65-* 契约策略卡、manifest.redshift 样例与面板字段。
• SLO/SLI：delta_form_p99, z_bias, z_drift, panel_freshness, RefCond_coverage。
• 审计：版本/依赖/随机种与数据来源哈希；双环境复算的两口径差 ≤ ε_dual；签名链可验与回放脚本齐备。

IX. 风险与回退

• 星历/势场/介质数据漂移或缺测 → 启用保守模型+增大 guardband并降低发布频率；
• 非惯性/几何误配 → 回退到简化帧并修正 Omega/A；
• 观测 z_meas 失配 → 提升 SNR 或更换谱线/窗口；
• 契约失败 → Fail-Closed：停更或旁路到上一个签名版本，记录策略卡与证据。

X. 结构导览

• 第1章：定义与范围；
• 第2–6章：红移分解的基线模型（运动/引力/介质/宇宙学）；
• 第7–9章：频散与世界线、观测口径；
• 第10–11章：融合与校准；
• 第12–13章：契约与不确定度；
• 第14–15章：运行与用例；
• 附录：接口/契约/清单/指标/不确定度与数据模型。

以上前言为本卷的执行与合规锚点；后续章节严格沿用本节的编号、两口径并行与量纲校核规则，所有发布以 manifest.redshift.* 为准。