28-EFT.WP.Propagation.PathRedshift v1.0 | 附录A 接口参考（I65 全集）

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

附录A 接口参考（I65 全集）

目标：枚举并规范本卷所有实现绑定 I65-* 的函数原型、输入/输出与不变量，确保两口径（解析/配置 vs 观测/实现）并行、量纲校核、RefCond 可追溯、清单可落盘与回放。

I. 总述与约定

• 编号与版本
  接口统一编号 I65-xx，语义化版本（semver）写入清单（见附录C）；破坏性变更需升主版，并提供 diff/迁移脚本。
• 两口径并行（强制）
  任何“评估/发布”接口需同时产出解析/配置口径与观测/实现口径结果，并返回差异 delta_form_*（含单位/维度）。
• 量纲与单位（强制）
  任一进入方程字段声明 unit(field) 与 dim(field) 并通过 check_dim( y - f(x) )；对数量↔线性换算在 meta.scale.note 标注。
• 测度与域显式
  路径/时间/频率/集合积分须显式：( ∫_{gamma(ell)} · d ell )、( ∫_{t∈W} · dt )、( ∫_{f∈B} · df )、( ∑_{k∈S} · )。
• 错误语义
  统一错误码 E65-xxx（见 XIII）；所有函数返回 status ∈ {ok,error} 与 err/evidence_uri。

II. 通用抽象类型

• RefCond = {hash, ephemeris.hash, gravity.hash, iono.hash, trop.hash, nfield.hash, osc.hash, frames, tz, Δt, Δx, coverage, valid_from, valid_to}
• RayPath = {gamma: [(ell_i, x_i)], L_gamma, Σ_interfaces: [{id, pos, n_jump}], solver:{mode, step, tol}}
• ZParts = {z_kin, z_grav, z_med, z_cos, z_inst, z_proc}
• TarrForms = {form1, form2, delta_form, unit:"s", dim:"[T]"}
• ObsSeries = {method∈{PLL,CFO,LINE,FUSED}, z_meas:[(t,z,u)], window, refs:{f_emit,f_nom}}
• Uncertainty = {method∈{GUM,MC}, u:dict, U:dict, k, nu_eff, ρ?}
• ContractReport = {rule_id, sev, metric, threshold, window, pass, msg, evidence_uri}
• Manifest = {kind, semver, core:{…}, signature}

III. 基线/分解与合成（第2章，I65-2）*

• I65-21 compose_z(parts:ZParts, mode∈{product,linear}) -> {z_path, meta, status}
• I65-22 doppler_kinematic(state_emit, state_obs, los, frame) -> {z_Doppler, meta, status}
• I65-23 sagnac_time(Omega, A|path) -> {Δt_Sag, z_Sagnac, meta, status}
• I65-24 grav_weakfield(potential_model, worldlines, order) -> {z_φ, meta, status}
• I65-25 medium_fizeau_plasma(n_field, v_med, f, path) -> {z_med_parts, meta, status}
• I65-26 cosmo_frw(H0, Ω_m, Ω_Λ, Ω_k, t_emit, t_obs|D) -> {z_cos, meta, status}
• I65-27 tarr_two_forms(n_eff, c_ref, path:RayPath) -> {TarrForms, status}
• I65-28 z_to_tarr_map(n_phi, n_g, f) -> {mapper, meta, status}
• I65-29 assert_baseline_contracts(records, rules) -> {report:ContractReport[], pass, status}
  不变量：two_forms_present=true；check_dim(z)=1, check_dim(T)='[T]'；来源 hash 可追溯。

IV. 运动学红移（第3章，I65-3）*

• I65-31 compute_kinematic_z(state_emit, state_obs, los, frame) -> {z_Doppler, z_Sagnac?, z_acc?, meta, status}
• I65-32 sagnac_delay(Omega, A|path) -> {Δt_Sag, z_Sagnac, meta, status}
• I65-33 accel_to_chirp(a_los_series, window) -> {z_acc, meta, status}
• I65-34 compose_z_kin(z_Doppler, z_Sagnac, z_acc, mode) -> {z_kin, status}
• I65-35 map_kin_to_tarr(z_kin, path, timebase) -> {ΔT_kin, TarrForms, status}
• I65-36 assert_kin_contracts(ds, rules) -> {report[], pass, status}
• I65-37 emit_kin_manifest(results, policy) -> {uri, status}
  不变量：frame/ephemeris.hash 落盘；相/群口径标注。

V. 引力红移（第4章，I65-4）*

• I65-41 compute_grav_z(potential_model, worldlines, order) -> {z_φ, meta, status}
• I65-42 shapiro_delay(body_params, geometry) -> {Δt_Sh, z_Sh, meta, status}
• I65-43 isw_term(phi_time_series, path, window) -> {z_ISW, meta, status}
• I65-44 pn_corrections(state, phi, order) -> {z_PN, meta, status}
• I65-45 map_grav_to_tarr(z_grav, path) -> {ΔT_grav, TarrForms, status}
• I65-46 assert_grav_contracts(ds, rules) -> {report[], pass, status}
• I65-47 emit_grav_manifest(results, policy) -> {uri, status}
  不变量：势场/星历版本可追溯；是否启用 ISW/PN 标注。

VI. 介质与移动介质（第5章，I65-5）*

• I65-51 fizeau_drag(n_phi|n_g, v_med_los, f) -> {z_drag, meta, status}
• I65-52 plasma_redshift(TEC|N_e_field, f, path) -> {z_plasma, meta, status}
• I65-53 trop_iono_drift(phi_med_series, f, window) -> {z_trop_iono, meta, status}
• I65-54 map_med_to_tarr(n_field_delta, path) -> {ΔT_med, TarrForms, status}
• I65-55 compose_z_med(z_drag, z_plasma, z_trop_iono, mode) -> {z_med, status}
• I65-56 assert_med_contracts(ds, rules) -> {report[], pass, status}
• I65-57 emit_med_manifest(results, policy) -> {uri, status}
  不变量：源数据/插值策略 Δt/Δx 与 hash 落盘；相/群映射说明。

VII. 宇宙学（第6章，I65-6）*

• I65-61 frw_Hz(H0, Ω_m, Ω_Λ, Ω_k, z) -> {H_z, E_z, meta, status}
• I65-62 comoving_distance(H0, Ω_*, z) -> {χ, D_L, D_A, meta, status}
• I65-63 estimate_z_cos_from_meas(z_meas, z_kin_local) -> {z_cos, meta, status}
• I65-64 estimate_z_cos_from_D_or_t(D|t_emit,t_obs, H0, Ω_*) -> {z_cos, meta, status}
• I65-65 cosmology_to_Tarr_correction(z_cos, method) -> {ΔT_cos, TarrForms, status}
• I65-66 assert_cosmo_contracts(ds, rules) -> {report[], pass, status}
• I65-67 emit_cosmo_manifest(results, policy) -> {uri, status}
  不变量：参数来源与适用范围落盘；两口径配套。

VIII. 频散相/群口径（第7章，I65-7）*

• I65-71 fit_nphi_or_beta(samples) -> {n_phi(f)|beta(ω), band, meta, status}
• I65-72 derive_ng(n_phi|beta) -> {n_g(f), meta, status}
• I65-73 integrate_Tphi_Tg(n_phi, n_g, path) -> {T_phi, T_g, TarrForms, status}
• I65-74 map_z_phi_to_z_g(z_phi_series, n_phi, n_g, band) -> {z_g_series, ΔT_map, u(ΔT_map), status}
• I65-75 assert_dispersion_contracts(ds, rules) -> {report[], pass, status}
• I65-76 emit_disp_manifest(results, policy) -> {uri, status}
  不变量：band/RefCond/hash 可追溯；相↔群映射方法/误差落盘。

IX. 世界线/射线与路径积分（第8章，I65-8）*

• I65-81 estimate_geometry(anchors, dem, constraints) -> {gamma0:RayPath, meta, status}
• I65-82 solve_ray(n_field, gamma0, bc) -> {gamma:RayPath, meta, status}
• I65-83 integrate_path(n_eff, gamma, c_ref) -> {TarrForms, status}
• I65-84 check_interfaces(gamma, Σ) -> {snell_resid[], tags, status}
• I65-85 jacobian_T(n_field, gamma) -> {J_T, u_T, meta, status}
• I65-86 assert_ray_contracts(ds, rules) -> {report[], pass, status}
• I65-87 emit_ray_manifest(results, policy) -> {uri, status}
  不变量：two_forms_present=true；non_decreasing(ell)；接口容差达标。

X. 观测口径（第9章，I65-9）*

• I65-91 pll_track(iq, f_nom, cfg) -> {f_inst(t), z_phi(t), u, meta, status}
• I65-92 cfo_estimate(iq, T_obs, method) -> {Δf̂, z_phi, u, meta, status}
• I65-93 fit_spectral_line(S_y, model, init) -> {f̂_line, z_line, cov, meta, status}
• I65-94 build_z_series(z_list, weights) -> {z_meas, u, meta, status}
• I65-95 map_phase_to_group(z_phi, n_phi, n_g, band) -> {z_g, ΔT_map, u(ΔT_map), status}
• I65-96 compare_pred_meas(z_pred, z_meas) -> {resid_z, pass, status}
• I65-97 assert_obs_contracts(ds, rules) -> {report[], pass, status}
• I65-98 emit_obs_manifest(results, policy) -> {uri, status}
  不变量：方法与口径标注（PLL/CFO/LINE/FUSED、相/群）；CRLB/SNR 护栏落盘。

XI. 融合与同步（第10章，I65-10）*

• I65-101 fuse_refcond(sources, cfg) -> {RefCond, coverage, hashes, status}
• I65-102 solve_sync(rx_ts, tx_ts, priors) -> {offset, skew, J_model, u/U, status}
• I65-103 interp_sources(sources, Δt, Δx, policy) -> {streams_interp, ε_interp, status}
• I65-104 compose_z_pred(state, RefCond, gamma) -> {z_pred, meta, status}
• I65-105 compose_Tarr_forms(n_eff, gamma, c_ref) -> {TarrForms, status}
• I65-106 assert_fusion_contracts(ds, rules) -> {report[], pass, status}
• I65-107 emit_refcond_manifest(results, policy) -> {uri, status}
  不变量：单一时间轴 tau_mono；新鲜度/覆盖达标。

XII. 校准与不确定度（第11–13章，I65-11, I65-13）**

• I65-111 calibrate_ratio(R_meas_series, R_ref, weights) -> {z_bias, z_scale, u, status}
• I65-112 calibrate_lines(lines_meas, lines_ref) -> {Δ_line_series, z_biasΔ, u, status}
• I65-113 calibrate_loop(loop_meas, Tarr_star, inst_proc) -> {ΔT_bias, Δτ_asym, u, status}
• I65-114 fuse_calibration(parts, cfg) -> {z_bias,z_scale,ΔT_bias,u, status}
• I65-115 apply_calibration(z_meas, T_arr_star, params) -> {z_cal, T_arr_cal, status}
• I65-116 assert_cal_contracts(ds, rules) -> {report[], pass, status}
• I65-117 emit_cal_manifest(results, policy) -> {uri, status}
• I65-131 build_sensitivity(models, gamma, RefCond) -> {J_z, J_T, meta, status}
• I65-132 propagate_gum(J, V_ξ, constraints) -> {u_c, nu_eff, U, status}
• I65-133 propagate_mc(sampler, N, α, η, constraints) -> {stats, U, ρ, status}
• I65-134 compose_twoform_uncert(T_form1, T_form2, cov) -> {u(delta_form), status}
• I65-135 map_uncert_phase_group(n_phi, n_g, band, z_φ_series) -> {u(ΔT_map), method, status}
• I65-136 design_guardband(metrics_u, drift_score, policy) -> {gb, gb', actions, status}
• I65-137 assert_uncert_contracts(u_report, rules) -> {report[], pass, status}
• I65-138 emit_uncert_manifest(results, policy) -> {uri, status}
  不变量：GUM/MC 一致性 ρ 落盘；约束投影后再发布 U/gb。

XIII. 运行与端到端（第14–15章，I65-14, I65-15）**

• I65-141 plan_stream_windows(W, H, lateness, watermark) -> {schedule, status}
• I65-142 query_or_compute(cache, K_cache, fn) -> {value, hit, stale, status}
• I65-143 enforce_rate(token_bucket:{r,B}, now) -> {permit, state, status}
• I65-144 measure_runtime(stream) -> {latency, drop_rate, ρ, cpu_pct, mem_pct, gpu_util, watermark_lag, status}
• I65-145 compare_dual_runtime(cfg_metrics, meas_metrics) -> {delta_form_rt, resid_z_p95, status}
• I65-146 apply_fallback(mode, ctx) -> {actions[], status}
• I65-147 snapshot_panel(metrics, resources, U) -> {panel_uri, snapshot_hash, status}
• I65-148 emit_runtime_manifest(results, policy) -> {uri, status}
• I65-151 build_usecase(profile) -> {graph, sources.hashes, RefCond, thresholds, status}
• I65-152 run_pipeline(profile, inputs) -> {manifests[], panels[], kpis, status}
• I65-153 validate_end2end(manifests, kpis, rules) -> {report, pass, status}
• I65-154 publish_end2end(manifests, report) -> {uri, signature, status}
• I65-155 rollback_end2end(manifest_uri, reason) -> {status}
  不变量：two_forms_present=true；清单签名链可验；回退可回放。

XIV. 错误码与语义（E65-xxx）

• E65-001 InvalidDim：量纲/单位不匹配（check_dim 失败）。
• E65-002 TwoFormMismatch：两口径差超阈（delta_form_* > tol_*）。
• E65-003 OutOfCoverage/StaleSource：来源过期或覆盖不足。
• E65-004 ManifestIncomplete/InvalidSignature：清单缺键或签名无效。
• E65-005 ContractViolation：任一 C65-* 未通过。
• E65-006 CRLB/SNR Guard Breach：观测不满足分辨率或 SNR 下界。
• E65-007 RaySolveFail/InterfaceInconsistent：射线求解或接口检查失败。
• E65-008 GUMvsMCMismatch：ρ 超出容忍区间。
• E65-009 SerializationError/DeserializationError。
• E65-010 NotTraceable：缺失 hash/id/RefCond 追溯信息。

XV. 版本与兼容

• 次版本升级不得改变已有参数名/默认值；新增字段必须可选并记录于 manifest.changelog。
• 规范化（canonicalize）用于签名/对比，跨版本提供 diff/迁移脚本。

XVI. 交叉引用

• 各章 P/S/M/C 为本附录接口语义基础；
• 清单模板：附录C；指标/漂移：附录D；不确定度：附录E；
• 配套卷：《EFT.WP.Metrology.PathCorrection v1.0》《EFT.WP.Methods.Cleaning v1.0》《EFT.WP.Metrology.Instrument v1.0》。

小结

• 本附录给出 I65-* 全集的原型/约束/错误语义：两口径并行、量纲合规、RefCond 可追溯、清单与回放是所有实现的刚性要求；
• 结合各章 M65-* 流程与附录C 清单，工程团队可据此实现从分项建模到运行发布的端到端、可复现、可审计、可回退的 PathRedshift 管线。