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

目录 ／ 文档-技术白皮书 ／ 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. 范围与对象

II. 命名与版本

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. 两口径与相/群映射（强制）

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

VI. 字段校验与拒绝准则

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

JSON 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": 0.00021 } ],
    "solver": { "mode": "Fermat", "step": 10.0, "tol": 0.001 },
    "T_arr_forms": {
      "form1": 0.002315,
      "form2": 0.002316,
      "delta_form": 1e-06,
      "tol": 2e-06,
      "unit": "s",
      "dim": "[T]"
    }
  },
  "disp": {
    "n_phi.hash": "sha256:nphi-tab...",
    "band": [ 193000000000000.0, 193100000000000.0 ],
    "T_phi": 0.0023160004,
    "T_g": 0.0023160008,
    "ΔT_map": 4e-10,
    "u(ΔT_map)": 1e-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-09
  },
  "grav": {
    "z_parts": { "z_φ": -5.3e-11, "z_Sh": 3e-13 },
    "z_component": -5.27e-11,
    "Δt_Sh": 2.6e-09,
    "ΔT_grav": 2.6e-09
  },
  "med": {
    "z_parts": { "z_drag": 0.0, "z_plasma": 1.8e-12, "z_trop_iono": -2e-12 },
    "z_component": -2e-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": 3e-12,
      "unit(value)": "1",
      "dim(value)": "1"
    }
  },
  "obs": {
    "method": "PLL",
    "window": { "T_obs": 60.0, "win": "hann" },
    "refs": { "f_emit": 32000000000.0, "f_nom": 32000000000.0, "osc.hash": "sha256:osc123..." },
    "z_meas": -2.905e-10,
    "u(z_meas)": 8e-13,
    "Tarr": {
      "form1": 0.002315999,
      "form2": 0.002316,
      "delta_form": 1e-06,
      "ΔT_obs": 3e-09,
      "unit": "s",
      "dim": "[T]"
    }
  },
  "refcond": {
    "sync": {
      "offset": 2.4e-09,
      "skew": 1.5e-12,
      "J_model": "AR(1)+WPM",
      "u": { "offset": 5e-10, "skew": 2e-13 },
      "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": 2e-13, "ΔT_bias": 1e-09 },
    "invariants": {
      "R_freq": 1.000000000123,
      "ε_R": 1.23e-12,
      "Δ_line": 0.0,
      "τ_loop": 0.004632001,
      "Δτ_asym": 2e-09
    },
    "results": { "z_cal": -2.904e-10, "T_arr_cal": 0.002315999 }
  },
  "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": 6e-10, "U": 1.2e-09 },
      "delta_form": { "u": 2e-07 },
      "ΔT_map": { "u": 1e-10 },
      "ΔT_obs": { "u": 5e-10 }
    }
  },
  "contracts": {
    "rules": [
      {
        "rule_id": "C65-201",
        "metric": "delta_form_p95",
        "threshold": 2e-06,
        "unit": "s",
        "pass": true,
        "evidence_uri": "s3://.../twoform.parq"
      },
      {
        "rule_id": "C65-1203",
        "metric": "resid_z_p95",
        "threshold": 3e-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": 1e-12,
      "delta_form_rt_T": 9e-07,
      "ΔT_obs_p50": 2.4e-09,
      "ΔT_obs_p95": 3.1e-09,
      "resid_z_p95": 2.7e-12,
      "latency_p95": 0.18,
      "drop_rate": 2e-05
    },
    "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）

步骤：

IX. 交叉引用

X. 小结

版权与许可（CC BY 4.0）

版权声明：除另有说明外，《能量丝理论》（含文本、图表、插图、符号与公式）的著作权由作者（“屠广林”先生）享有。
许可方式：本作品采用 Creative Commons 署名 4.0 国际许可协议（CC BY 4.0）进行许可；在注明作者与来源的前提下，允许为商业或非商业目的进行复制、转载、节选、改编与再分发。
署名格式（建议）：作者：“屠广林”；作品：《能量丝理论》；来源：energyfilament.org；许可证：CC BY 4.0。

首次发布： 2025-11-11｜当前版本：v5.1
协议链接：https://creativecommons.org/licenses/by/4.0/