28-EFT.WP.Propagation.PathRedshift v1.0 | Appendix C — Manifest Templates & Examples (redshift manifest)

Home ／ Docs-Technical WhitePaper ／ 28-EFT.WP.Propagation.PathRedshift v1.0

Appendix C — Manifest Templates & Examples (redshift manifest)

“EFT.WP.Propagation.PathRedshift v1.0”
Appendix C — Manifest Templates & Examples (redshift manifest)

One-sentence goal: Provide publication templates and examples for z_parts / z_path and T_arr^{form1/form2} / T_arr*, enforcing dual-form parallelism + dimensional compliance + RefCond traceability together with signing / replay procedures, to support end-to-end auditing and rollback.

I. Scope & Objects

• Objects: per-domain manifests manifest.redshift.{ ray, disp, obs, refcond, grav, kin, med, cos, cal, u, contracts, rt } and the end-to-end aggregate manifest.redshift.
• Inputs: outputs from M65-* across Chs. 2–15, contracts.*, uncertainty.*, panel snapshots, and evidence URIs.
• Outputs: signed, replayable JSON/CBOR documents; the end-to-end manifest contains references and hashes to all sub-manifests.

II. Naming & Versioning

• manifest.kind = "EFT.PathRedshift.Manifest"; semver = "1.0.0";
  schema_uri = "urn:eft:redshift:schema:1.0.0".
• Domain names: kin / grav / med / cos / disp / ray / obs / refcond / cal / u / contracts / rt map to Chapters 3–15.
• Signature chain: compute a digest over the canonical content (see VIII) and sign it; any field change creates a new version and signature.

III. Minimal Key Set & Dimensional Constraints (Core Domains)

1. Top-level required: TraceID, ts, RefCond.hash, sources.hashes[], contracts, uncertainty, artifacts, signature.
2. Unified dual-form fields (reused across domains):
   • TarrForms = { form1, form2, delta_form, tol, unit:"s", dim:"[T]" } (two-form from Chapter 2).
   • two_form(metric) = { pred|config.value, meas.value, delta_form, tol } (for z, latency, etc.).
   • Every numeric field must carry unit(field) and dim(field); log↔linear conversions recorded in scale.note.
3. Minimal keys by domain:
   • ray (Ch. 8): { gamma.hash, segments:[{ Σ, n_jump, snell_resid }], solver, T_arr_forms, ΔT_map?, u/U }
   • disp (Ch. 7): { n_phi.hash|beta.hash, band, T_phi, T_g, ΔT_map, u(ΔT_map), map.method }
   • obs (Ch. 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 (Ch. 10): { sync:{ offset,skew,J_model,u/U }, coverage, ages:{ ephemeris,gravity,iono,trop,nfield }, hashes:{ … } }
   • kin / grav / med / cos (Chs. 3–6): { z_parts:{ … }, z_component, ΔT_component?, T_arr_forms }
   • cal (Ch. 11): { params:{ z_bias,z_scale,ΔT_bias }, invariants:{ R_freq,Δ_line,τ_loop,Δτ_asym }, results:{ z_cal,T_arr_cal } }
   • u (Ch. 13): { targets:{ z_path,T_arr*,delta_form,ΔT_map,ΔT_obs }, u:{ u_c, U, nu_eff, method, ρ }, V_ξ.meta }
   • contracts (Ch. 12): { rules[], thresholds, window, metrics:{ Q, Int, Sec } }
   • rt (Ch. 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. Dual Forms & Phase/Group Mapping (mandatory)

• Two forms: any published arrival time must include TarrForms; any online window metric must include two_form(metric).
• Phase/group mapping (Ch. 7): if observations are phase-convention while publication uses group, record
  mapping = { φ→g, ΔT_map, u(ΔT_map), method, band }; unlabeled → reject.

V. Build → Verify → Sign (aligned with Ch. 15)

• Aggregate: collect sub-manifest URIs & hashes; merge into end-to-end manifest.redshift.
• Verify: execute C65-* contracts; check delta_form / ΔT_map / ΔT_obs, residual gates, dimensions, and RefCond freshness/coverage.
• Synthesize: write uncertainty (GUM/MC), dual-form/mapping/online-gap quantiles, and unit/dimension mappings.
• Sign: canonicalize → digest → sign; fill signature.
• Publish: register in the catalog; bind panel cards and rollback_to; persist replay scripts and evidence URIs.

VI. Field Validation & Rejection

• Missing keys: lacking any of TraceID / RefCond.hash / sources.hashes / contracts / signature → reject.
• Dimensions: any check_dim failure → reject.
• Two forms: delta_form > tol_Tarr or missing TarrForms → offline fail; runtime degrade and record strategy card.
• Mapping: missing phase/group mapping or ΔT_map > tol_map → reject / degrade.
• Signature: verification failure → reject; age(source) > Δt_max or coverage < cov_min → degrade / reject.

VII. Template (Drop-in 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. Canonicalization & Signing

• Remove the signature field.
• Serialize with a stable field order (UTF-8, no extraneous whitespace).
• Normalize floats as decimal strings (scientific notation allowed).
• Compute digest = SHA256(bytes).
• Sign with ed25519/ecdsa-p256.
• Replay verification with the identical canonicalization procedure.

IX. Cross-References

• Interfaces: Appendix A I65-*.
• Contracts: Appendix B C65-*.
• Metrics: Appendix D.
• Uncertainty: Appendix E.
• Chapters 2–14: each product field maps one-to-one to the manifest keys defined here.

Summary

• This appendix specifies the minimal key set, dual-form / phase–group rules, canonicalization and signing, and a complete drop-in example for manifest.redshift.
• Combined with per-chapter M65-* workflows and the interfaces/contracts in Appendices A/B, teams can manifest the evidence → thresholds → results chain of PathRedshift end-to-end—enabling publication, audit, and replay.