28-EFT.WP.Propagation.PathRedshift v1.0 | 附录C 清单模板与样例（redshift manifest）

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

附录C 清单模板与样例（redshift manifest）

《EFT.WP.Propagation.PathRedshift v1.0》
附录C 清单模板与样例（redshift manifest）

附录C 清单模板与样例（redshift manifest）

一句话目标：提供 z_parts/z_path 与 T_arr^{form1/form2}/T_arr* 的清单化发布模板与样例，统一两口径并行 + 量纲合规 + RefCond 可追溯与签名/回放流程，支撑端到端审计与回退。

I. 范围与对象

• 对象：分域清单 manifest.redshift.{ray,disp,obs,refcond,grav,kin,med,cos,cal,u,contracts,rt} 与端到端聚合 manifest.redshift。
• 输入：第2–15章 M65-* 产物、contracts.*、uncertainty.*、面板与证据 URI。
• 输出：可签名、可回放的 JSON/CBOR 文档；端到端清单包含各分清单的引用与哈希。

II. 命名与版本

• manifest.kind = "EFT.PathRedshift.Manifest"；semver = "1.0.0"；schema_uri = "urn:eft:redshift:schema:1.0.0"。
• 分域命名：kin/grav/med/cos/disp/ray/obs/refcond/cal/u/contracts/rt 对应第3–15章。
• 签名链：对规范化内容（见 VIII）计算 digest 并签名；任何字段变化均生成新版本与新签名。

III. 最小键集与量纲约束（核心域）

1. 顶层必备：TraceID, ts, RefCond.hash, sources.hashes[], contracts, uncertainty, artifacts, signature。
2. 两口径统一字段（跨域复用）
   • TarrForms = {form1, form2, delta_form, tol, unit:"s", dim:"[T]"}（第2章两口径）
   • two_form(metric) = {pred|config.value, meas.value, delta_form, tol}（如 z、latency 等）
   • 任何数值字段必须具备 unit(field) 与 dim(field)；对数量↔线性换算写入 scale.note。
3. 关键域最小键
   • ray（第8章）：{gamma.hash, segments:[{Σ, n_jump, snell_resid}], solver, T_arr_forms, ΔT_map?, u/U}
   • disp（第7章）：{n_phi.hash|beta.hash, band, T_phi, T_g, ΔT_map, u(ΔT_map), map.method}
   • obs（第9章）：{method∈{PLL,CFO,LINE,FUSED}, window, refs:{f_emit,f_nom,osc.hash}, z_meas, u(z_meas), two_form(z), Tarr:{form1,form2,delta_form,ΔT_obs}}
   • refcond（第10章）：{sync:{offset,skew,J_model,u/U}, coverage, ages:{ephemeris,gravity,iono,trop,nfield}, hashes:{…}}
   • kin/grav/med/cos（第3–6章）：{z_parts:{...}, z_component, ΔT_component?, T_arr_forms}
   • cal（第11章）：{params:{z_bias,z_scale,ΔT_bias}, invariants:{R_freq,Δ_line,τ_loop,Δτ_asym}, results:{z_cal,T_arr_cal}}
   • u（第13章）：{targets:{z_path,T_arr*,delta_form,ΔT_map,ΔT_obs}, u:{u_c, U, nu_eff, method, ρ}, V_ξ.meta}
   • contracts（第12章）：{rules[], thresholds, window, metrics:{Q,Int,Sec}}
   • rt（第14章）：{W,H,lateness,watermark, cache:{ttl,size,policy,hit,stale_ratio}, metrics:{delta_form_rt_z,delta_form_rt_T,ΔT_obs_p{50,95,99},resid_z_p95,latency_p{50,95,99}}, resources}

IV. 两口径与相/群映射（强制）

• 两口径字段：任何发布到达时必须包含 TarrForms；任何在线窗口指标包含 two_form(metric)。
• 相/群映射（第7章）：若观测为相口径而发布群口径，必须记录 mapping = {φ→g, ΔT_map, u(ΔT_map), method, band}；未标注拒发。

V. 生成→校核→签名流程（与第15章一致）

• 汇聚：收集分域清单 URI 与 hash；合并至端到端 manifest.redshift。
• 校核：执行 C65-* 契约；检查 delta_form/ΔT_map/ΔT_obs 与残差门、量纲与 RefCond 新鲜度/覆盖。
• 合成：写入 uncertainty（GUM/MC）、两口径/映射/在线差分位与单位/量纲映射。
• 签名：规范化→digest→签名；写入 signature。
• 发布：注册中心入库，绑定面板卡与 rollback_to；回放脚本与证据 URI 落盘。

VI. 字段校验与拒绝准则

• 缺键：缺 TraceID/RefCond.hash/sources.hashes/contracts/signature → 拒绝。
• 量纲：任一 check_dim 失败 → 拒绝。
• 两口径：delta_form > tol_Tarr 或未提供 TarrForms → 离线 fail，运行时 degrade 并记录策略卡。
• 映射：相/群映射缺失或超界 ΔT_map > tol_map → 拒绝/降级。
• 签名：验签失败 → 拒绝；age(source)>Δt_max 或 coverage<cov_min → 降级/拒发。

VII. 模板（可直接落盘为 JSON）

{

"manifest": { "kind": "EFT.PathRedshift.Manifest", "semver": "1.0.0",

"schema_uri": "urn:eft:redshift:schema:1.0.0" },

"TraceID": "2f9c0b13-4b6e-4f7e-9a1a-6f4a1b2c9e55",

"ts": "2025-09-02T10:21:33Z",

​

"RefCond": {

"hash": "sha256:refcond...",

"frames": "ECI→ECEF@ITRF2020",

"tz": "UTC",

"Δt": 10.0,

"Δx": 1000.0,

"coverage": 0.97,

"sources": {

"ephemeris.hash": "sha256:jpl-de...",

"gravity.hash": "sha256:egm2008...",

"iono.hash": "sha256:iri-2020...",

"trop.hash": "sha256:era5...",

"nfield.hash": "sha256:nphi-tab...",

"osc.hash": "sha256:osc123..."

}

},

​

"ray": {

"gamma.hash": "sha256:gamma...",

"segments": [{ "Σ": "air-fiber", "n_jump": 0.457, "snell_resid": 2.1e-4 }],

"solver": { "mode": "Fermat", "step": 10.0, "tol": 1e-3 },

"T_arr_forms": { "form1": 2.315e-3, "form2": 2.316e-3, "delta_form": 1.0e-6,

"tol": 2.0e-6, "unit": "s", "dim": "[T]" }

},

​

"disp": {

"n_phi.hash": "sha256:nphi-tab...",

"band": [1.93e14, 1.931e14],

"T_phi": 2.3160004e-3, "T_g": 2.3160008e-3,

"ΔT_map": 4.0e-10, "u(ΔT_map)": 1.0e-10, "map.method": "nphi→ng (Sellmeier)",

"unit(T_*)": "s", "dim(T_*)": "[T]"

},

​

"kin": { "z_parts": { "z_Doppler": -2.4e-10, "z_Sagnac": 1.1e-12, "z_acc": 0.0 },

"z_component": -2.389e-10, "ΔT_kin": 1.3e-9 },

​

"grav": { "z_parts": { "z_φ": -5.3e-11, "z_Sh": 3.0e-13 },

"z_component": -5.27e-11, "Δt_Sh": 2.6e-9, "ΔT_grav": 2.6e-9 },

​

"med": { "z_parts": { "z_drag": 0.0, "z_plasma": 1.8e-12, "z_trop_iono": -2.0e-12 },

"z_component": -2.0e-13, "ΔT_med": 7.5e-10 },

​

"cos": { "params": { "H0": 2.19e-18, "Ω_m": 0.315, "Ω_Λ": 0.685, "Ω_k": 0.0 },

"z_component": 0.0, "method": "low-z", "ΔT_cos": 0.0 },

​

"z_path": {

"compose": "product",

"value": -2.916e-10,

"two_form": {

"pred": { "value": -2.916e-10 }, "meas": { "value": -2.905e-10 },

"delta_form": 1.1e-12, "tol": 3.0e-12, "unit(value)": "1", "dim(value)": "1"

}

},

​

"obs": {

"method": "PLL",

"window": { "T_obs": 60.0, "win": "hann" },

"refs": { "f_emit": 32.000e9, "f_nom": 32.000e9, "osc.hash": "sha256:osc123..." },

"z_meas": -2.905e-10, "u(z_meas)": 8.0e-13,

"Tarr": { "form1": 2.315999e-3, "form2": 2.316000e-3, "delta_form": 1.0e-6, "ΔT_obs": 3.0e-9,

"unit": "s", "dim": "[T]" }

},

​

"refcond": {

"sync": { "offset": 2.4e-9, "skew": 1.5e-12, "J_model": "AR(1)+WPM",

"u": { "offset": 0.5e-9, "skew": 0.2e-12 }, "unit(offset)": "s" },

"coverage": 0.96, "ages": { "ephemeris": 120.0, "gravity": 86400.0, "iono": 300.0 }

},

​

"cal": {

"params": { "z_bias": -1.2e-12, "z_scale": 2.0e-13, "ΔT_bias": 1.0e-9 },

"invariants": { "R_freq": 1.000000000123, "ε_R": 1.23e-12,

"Δ_line": 0.0, "τ_loop": 4.632001e-3, "Δτ_asym": 2.0e-9 },

"results": { "z_cal": -2.904e-10, "T_arr_cal": 2.315999e-3 }

},

​

"u": {

"method": "GUM+MC", "coverage": 0.95, "k": 2.0, "nu_eff": 128, "ρ": 0.96,

"targets": { "z_path": { "u_c": 8.5e-13, "U": 1.7e-12 },

"T_arr*": { "u_c": 6.0e-10, "U": 1.2e-9 },

"delta_form": { "u": 2.0e-7 },

"ΔT_map": { "u": 1.0e-10 },

"ΔT_obs": { "u": 5.0e-10 } }

},

​

"contracts": {

"rules": [

{ "rule_id": "C65-201", "metric": "delta_form_p95", "threshold": 2.0e-6,

"unit": "s", "pass": true, "evidence_uri": "s3://.../twoform.parq" },

{ "rule_id": "C65-1203", "metric": "resid_z_p95", "threshold": 3.0e-12,

"unit": "1", "pass": true, "evidence_uri": "s3://.../resid_z.parq" }

],

"thresholds_uri": "s3://.../thresholds.toml"

},

​

"rt": {

"W": 60.0, "H": 30.0, "lateness": 5.0, "watermark": { "policy": "event-time", "lag": 2.0 },

"cache": { "ttl": 600, "size": 1024, "policy": "lru", "hit": 0.86, "stale_ratio": 0.01 },

"metrics": { "delta_form_rt_z": 1.0e-12, "delta_form_rt_T": 9.0e-7,

"ΔT_obs_p50": 2.4e-9, "ΔT_obs_p95": 3.1e-9, "resid_z_p95": 2.7e-12,

"latency_p95": 0.18, "drop_rate": 2.0e-5 },

"resources": { "cpu_pct": 0.61, "mem_pct": 0.47, "gpu_util": 0.12 }

},

​

"artifacts": {

"ray": "uri://ray/sha256:...",

"obs": "uri://obs/sha256:...",

"u": "uri://uncert/sha256:...",

"panels": ["uri://panel/z", "uri://panel/Tarr"]

},

​

"audit": {

"parents": ["sha256:prev-manifest..."],

"rollback_to": "sha256:stable-manifest...",

"change_log": "updated TEC source; refined Sagnac geometry; recalibrated loop bias"

},

​

"signature": {

"algo": "ed25519",

"key_id": "k-redshift-2025-07",

"digest": "sha256:manifest-core-digest...",

"sig": "base64:MEQCIK..."

}

}

VIII. 规范化与签名（canonicalize）

步骤：

• 删除 signature 域；2) 以稳定字段顺序串行化（UTF-8，无多余空白）；
• 浮点统一十进制字符串（科学计数法可）；4) 计算 digest=SHA256(bytes)；
• 用 ed25519/ecdsa-p256 签名；6) 回放按同流程验签。

IX. 交叉引用

• 接口：附录A I65-*；契约：附录B C65-*；指标：附录D；不确定度：附录E。
• 章内：第2–14章产物字段与本清单键一一对应。

X. 小结

• 本附录提供 manifest.redshift 的最小键集、两口径/相群映射规则、规范化与签名，并给出可直接落盘的完整样例；
• 结合各章 M65-*、附录A/B 的接口与契约，工程团队可把路径红移的证据—阈值—结果端到端清单化，支撑发布、审计与回放闭环。