28-EFT.WP.Propagation.PathRedshift v1.0 | Appendix B — Contract Library & Strategy Cards (C65 Suite)

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

Appendix B — Contract Library & Strategy Cards (C65 Suite)

One-sentence goal: Provide executable contracts C65-* and a library of strategy cards that govern the entire PathRedshift chain—from component modeling (kinematic / gravitational / media / cosmological) → dispersion mapping → ray integration → observation → fusion/sync → calibration → uncertainty → runtime—anchored by dual-form parallelism + dimensional compliance + RefCond traceability, and supporting manifest-grade publication and replayable audit.

I. Scope & Objects

• Objects: z_parts = { z_kin, z_grav, z_med, z_cos, z_inst, z_proc }, composite z_path; T_arr^{form1/form2}, T_arr*; RefCond with offset / skew / J; the manifest.redshift.* family.
• Inputs: analytic/config conventions (models / paths / rays / mappings) and observed/realized conventions (PLL / CFO / LINE), RefCond, uncertainties u/U, panel metrics, and evidence URIs.
• Outputs: contracts.rules, contracts.report, strategy.cards, and disposition records/signatures embedded in manifest.redshift.*.
• Constraints: every contract item declares metric, unit, dim, window, threshold|range and must pass check_dim( y − f(x) ).

II. Naming, Levels & Common Fields

• Naming: C65-<domain><index>; domains map to chapters: 2x baseline, 3x kinematics, 4x gravity, 5x media, 6x cosmology, 7x dispersion, 8x rays, 9x observation, 10x fusion/sync, 11x calibration, 12x contracts/metrics, 13x uncertainty, 14x runtime, 15x end-to-end.
• Severity: sev ∈ { blocker, high, medium, low }; action: { fail, warn, degrade, bypass }.
• Common record: { rule_id, sev, metric, unit, dim, threshold|range, window, samples, RefCond.hash, evidence_uri, pass, msg, ts }.
• Dual forms (mandatory): each domain records its delta_form_* and tolerance tol_*.

III. Domain Contract Table (by Chapter)

If scenario thresholds conflict, use the use-case/environmental thresholds recorded in contracts.thresholds. Unless stated, unit(z)=1, dim(z)=1, unit(T)=[T].

• 2x Baseline (decomposition / two forms)
  C65-201 dual-form gap: delta_form_p95 ≤ tol_Tarr.
  C65-202 composition consistency: | z_meas − z_path |_p95 ≤ tol_z.
  C65-205 dimensional compliance: all published fields pass check_dim.
• 3x Kinematics (Doppler / Sagnac / non-inertial)
  C65-301 loop geometry: | (Ω•A)_{meas} − (Ω•A)_{cfg} | ≤ τ_{ΩA}.
  C65-303 static-window quietness: | z_kin |_p95 ≤ z_quiet_max.
• 4x Gravity (weak-field / PN / ISW)
  C65-402 gravity/ephemeris freshness: age(grav/ephemeris) ≤ Δt_max, coverage ≥ cov_min.
  C65-404 Shapiro/ISW annotation: whether included in ΔT_grav must be persisted.
• 5x Media & Moving Media (Fizeau / plasma / turbulence)
  C65-501 source freshness: age(TEC/met) ≤ Δt_max, spatial coverage ≥ cov_min.
  C65-503 phase/group consistency: | z_meas − (z_kin+z_grav+z_med) |_p95 ≤ tol_z.
• 6x Cosmology (FRW / low-z)
  C65-603 local-motion removal: z_cos must reference z_kin_local; otherwise do not publish.
  C65-604 method labeling: method ∈ { low-z, FRW } with applicability range persisted.
• 7x Dispersion Mapping (n_phi / n_g)
  C65-702 mapping error: ΔT_map_p95 ≤ tol_map; persist u(ΔT_map).
  C65-703 band & source: band ⊂ band_spec; hashes and applicable bands for n_phi / n_g / beta are recorded.
• 8x Rays & Path Integrals
  C65-801 monotonicity & endpoint: non_decreasing(ell) and endpoint error ≤ tol_geo.
  C65-802 interface consistency: Snell residual ≤ tol_snell; illegal reflections must be tagged.
• 9x Observation (PLL / CFO / LINE)
  C65-901 analytic vs observation: |resid_z|_p95 ≤ tol_z.
  C65-903 SNR/resolution: SNR ≥ SNR_min and T_obs ≥ T_min (meets CRLB).
  C65-904 convention labeling: phase/group/method and ΔT_map must be persisted.
• 10x Fusion / Sync (RefCond / clocks)
  C65-1001 two forms & alignment: delta_form_p95 ≤ tol_Tarr, ΔT_obs_p95 ≤ tol_align.
  C65-1002 freshness/coverage: age(source) ≤ Δt_max, coverage ≥ cov_min.
  C65-1003 clock stability: |skew| ≤ skew_max, |J|_p95 ≤ J_max.
• 11x Calibration (ratios / lines / loop-back)
  C65-1102 ratio-chain consistency: ε_R_p95 ≤ τ_R.
  C65-1103 line anchoring: |Δ_line|_p95 ≤ τ_line.
  C65-1104 loop symmetry: |Δτ_asym|_p95 ≤ τ_asym.
• 12x Contracts & Metrics
  C65-1201…C65-1207 per Chapter 12 (two forms, residuals, bias/drift, freshness/coverage, spectral/temporal anomalies).
• 13x Uncertainty / Guardband
  C65-1301 GUM/MC consistency: 0.8 ≤ ρ ≤ 1.25 else prefer MC with annotation.
  C65-1303 on-boarding gate: metric + k•u(metric) ≤ threshold.
• 14x Runtime / Streaming
  C65-1401 online dual-form gaps: p95(delta_form_rt_{z,T}) ≤ { tol_z_rt, tol_Tarr }; p95(ΔT_obs) ≤ tol_align.
  C65-1403 cache efficacy: hit ≥ hit_min, stale_ratio ≤ tol_stale.
• 15x End-to-End
  C65-1501 end-to-end gate: delta_form_p95 ≤ tol_Tarr, resid_z_p95 ≤ tol_z, coverage ≥ 95%, rollback chain verifiable.

IV. Strategy Card Template (YAML, Executable)

card_id: <string>

triggers: [C65-xxxx, ...] # contracts that trigger this card

sev: blocker|high|medium|low

decide:

if: "<metric> comparator <threshold>" # or boolean expression

act:

- api: I65-xx

params: {...}

- api: I65-yy

params: {...}

verify:

metric: <name>

window: "W=5min,p95"

rollback:

plan: "<bypass|lower_order|rollback_version>"

notes: "<why/impact/evidence_uri>"

V. Canonical Strategy Cards

• card.baseline_twoform (two-form gap breach)
  Triggers: C65-201, C65-1201, C65-1401
  Act: I65-83 integrate_path recompute; I65-132/133 re-estimate u(delta_form); standardize to form2 if needed and annotate.
  Verify: delta_form_p95 ≤ tol_Tarr.
• card.kin_sagnac_geometry (Sagnac/geometry mismatch)
  Triggers: C65-301/302
  Act: update Ω/A or switch to line integral I65-32; recompute z_kin and Δt_Sag.
  Verify: | (Ω•A)_{meas} − (Ω•A)_{cfg} | ≤ τ_{ΩA}.
• card.grav_freshness (stale gravity/ephemerides)
  Triggers: C65-402
  Act: rollback to previous models; if needed, raise degree and shorten windows; enlarge guardband via I65-136.
  Verify: age(grav/ephemeris) ≤ Δt_max.
• card.med_sources_adapt (sparse or shifting TEC/met)
  Triggers: C65-501/503
  Act: switch source/interpolation via I65-103, or degrade to static-media approximation; recompute z_med, ΔT_med.
  Verify: age(source) ≤ Δt_max, resid_z_p95 ≤ tol_z.
• card.cosmo_method_gate (low-z vs FRW switch)
  Triggers: C65-603/604
  Act: use low-z for z < z_max_low; otherwise switch to FRW (I65-61..65).
  Verify: method label and applicability are persisted.
• card.dispersion_dualpublish (mapping error)
  Triggers: C65-702/705
  Act: dual publish phase & group; widen guardband; persist ΔT_map and u(ΔT_map).
  Verify: ΔT_map_p95 ≤ tol_map.
• card.obs_crlb_guard (insufficient resolution/SNR)
  Triggers: C65-903
  Act: extend T_obs, change window, raise SNR, or switch convention (PLL→LINE); otherwise degrade/reject.
  Verify: CRLB satisfied.
• card.sync_clock_stabilize (clock/sync anomaly)
  Triggers: C65-1003
  Act: swap reference / widen sync bandwidth / update model via I65-102; correct ΔT_sync.
  Verify: |skew| ≤ skew_max, |J|_p95 ≤ J_max.
• card.calibration_anchor (ratio/line/loop mismatch)
  Triggers: C65-1102..1104
  Act: run I65-111..115 to recalibrate; update z_bias / z_scale / ΔT_bias.
  Verify: invariants pass, | z_cal − z_pred |_p95 ≤ tol_z.
• card.runtime_fallback (runtime SLO/contract breach)
  Triggers: C65-1401..1405
  Act: I65-146 to step through scale_down → damping → lower_order → bypass → rollback_version.
  Verify: delta_form_rt / latency / drop_rate return within gates.

VI. Threshold Suggestions & Calibration

• Two forms / mapping: tol_Tarr ≈ 1e−3 • T_arr; tol_map ≈ 0.1 • tol_Tarr; tol_align ≈ 0.02 • T_sym or 1e−3 • T_f.
• Redshift residuals: tol_z depends on SNR/window & scenario (typ. 1e−12–1e−10 deep space/fiber; 1e−10–1e−8 ground–satellite).
• Source freshness & coverage: Δt_max per source update rate; cov_min ≥ 0.9.
• Clock stability: skew_max (ppm) and J_max per device spec.
• CRLB/SNR: use analytic lower bounds dictated by PLL/CFO/LINE and T_obs as hard gates.
• Method: offline calibration + online replay to refine thresholds; all changes recorded in contracts.thresholds and change_log.

VII. Persistence & Audit (Manifest Fields)

• contracts.rules[]: status per C65-* with window and evidence_uri.
• contracts.thresholds: threshold tables with source hashes; environment-specific overlays.
• contracts.strategy.cards[]: armed strategy cards with triggers/actions/verification results.
• contracts.audit: { who, when, tool, signature } and replay pointers.
• Minimum visibility: no raw sensitive data; persist snapshot hashes / statistical digests only.

VIII. Interface Mapping (Execution)

• Contract computation → per-chapter M65-*.
• Disposition execution → this volume’s I65-* (strategy act.api calls are direct).
• Manifest write-out → emit_*_manifest families (ray / obs / refcond / cal / u / contracts / rt, etc.).

IX. Cross-References

• Chapters 2–15 for P/S/M/I semantics.
• Manifests: Appendix C (manifest.redshift.*).
• Metrics & Drift: Appendix D.
• Uncertainty & Guardbands: Appendix E.
• Companion volumes: PathCorrection / TimeBase / Instrument / Methods.Cleaning.

Summary

• This appendix delivers the C65-* contract set and the strategy-card library, turning two-form gaps / dimensional compliance / threshold gates into an executable detect → act → verify → rollback loop.
• Together with I65-* and manifest.redshift.*, it enables a measurable, auditable, rollbackable PathRedshift across the full chain—kinematic → gravitational → media → cosmology → mapping → rays → observation → fusion → calibration → uncertainty → runtime.