37-EFT.WP.EDX.HighSpeed v1.0 | Chapter 15 — Data & Reproducibility (DataSpec / Methods.Repro)

Home ／ Docs-Technical WhitePaper ／ 37-EFT.WP.EDX.HighSpeed v1.0

Chapter 15 — Data & Reproducibility (DataSpec / Methods.Repro)

I. Chapter Objectives & Structure

1. Objective: Define this volume’s data contract, data/pipeline cards, and audit-trail exports; lock environments and equivalence tests so that S20-HF / S30-HF / S50-HF / I30-HF / I40-HF / M10-HF / M20-HF / Chapter 7 are reproducible, auditable, and releasable under a unified data dialect.
2. Structure: Data contract → Fields & templates → Pipeline card & env-lock → Repro workflow → Audit trail & release → Falsifiability → Compliance templates → Cross-chapter closure.
3. Shared time-of-arrival dialect (equivalent; explicit path/measure; record delta_form):
   • Constant-factored: T_arr = ( 1 / c_ref ) * ( ∫ n_eff d ell )
   • General: T_arr = ( ∫ ( n_eff / c_ref ) d ell )

II. Data Contract (HighSpeed increments)

• Artifacts: raw/cleaned/aligned S-parameters, Z_eft/argZ, Znorm(omega), (optional) T_mm/Z0_mm, arrival, binding_ref, deemb/sync, HF KPIs {T_group/E_phase/GDR/ΔW}, Z_c(omega), (if enabled) ΔZ_rad(omega), qa_gates, audit_manifest.
• Minimal consistency: SI units; key equalities check_dim = pass; Re{Z_eft} ≥ 0 and KK_consistency = pass; two-dialect T_arr agreement; if radiation enabled, Re{ΔZ_rad} ≥ 0.
• Versioning & checksums: semver + per-file sha256; record created_at, toolchain, and env_lock fingerprints.

III. Dataset Card (v1.0, HF fields)

Minimal template (copy-ready)

dataset_card:

dataset_id: "EDXHS-001"

version: "1.0.0"

source: "measurement"

instruments:

- {type:"VNA", model:"—", cal:"2025-08-01", range:"10 MHz–40 GHz"}

deemb: {method:"TRL", version:"1.2", artifact:"/artifacts/deemb.json", baseline_id:"BLSN-EDX-001"}

sync: {ref:"10MHz", scheme:"shared_ref+trigger", dt_sync_s: 2.0e-12}

binding_ref: "LAY2PATH-HF-0001"

arrival:

form: "n_over_c" # or "one_over_c_times_n"

gamma: "explicit"

measure: "d_ell"

c_ref: 299792458.0

Tarr_s: 1.234e-09

u_Tarr_s: 6.0e-12

delta_form: "n_over_c"

Znorm_ohm: [50.0, 50.0]

sparams: "/artifacts/S.s2p"

mixed_mode:

enabled: true

T_mm: "/cfg/T_mm.yaml"

Z0_mm_ohm: [100.0, 25.0]

Z_eft: {real:[...], imag:[...]}

argZ: [ ... ]

Zc_ohm: [ ... ]

HF_KPI:

T_group_s: [ ... ]

E_phase_rad: 0.043

GDR_s: 1.8e-10

ΔW: 0.17

dispersion:

alpha_per_m: [ ... ] # optional

beta_per_m: [ ... ] # optional

radiation:

enabled: true

deltaZ_rad: {Re_ohm:[...], Im_ohm:[...]} # Re ≥ 0

Re_Zrad_min: 0.0

qa_gates: {check_dim:"pass", passivity:"pass", KK:"pass"}

hashes:

files:

- {path:"/artifacts/S.s2p", sha256:"..."}

- {path:"/artifacts/deemb.json", sha256:"..."}

created_at: "2025-09-16T10:00:00Z"

toolchain: {simstack_hf:"1.0.0", kernels:"0.9.3"}

IV. Pipeline Card (v1.0) & Environment Lock (v1.0)

• Standard stages: ingest → align(I30-HF) → deembed/renorm → s2z(I40-HF) → sync_corr → path_correct → kpi_eval(Ω) → radiation_eval → export(cards).
• Env-lock: record OS/interpreter/dependencies/container digest & hardware; execute every stage in a unified unit system.

pipeline_card:

pipeline_id: "EDXHS-PIPE-001"

version: "1.0.0"

steps:

- {id:"ingest", cmd:"load_sparams --input /artifacts/S.s2p"}

- {id:"align", cmd:"map_ports --binding LAY2PATH-HF-0001"}

- {id:"deembed", cmd:"deembed --fixture /artifacts/deemb.json --baseline BLSN-EDX-001"}

- {id:"renorm", cmd:"renorm --znorm Znorm.yaml"}

- {id:"s2z", cmd:"map_S_to_Z --mode mixed --Tmm /cfg/T_mm.yaml"}

- {id:"sync_corr", cmd:"phase_corr --dt_sync_s 2.0e-12"}

- {id:"path_correct", cmd:"pathfix --binding LAY2PATH-HF-0001"}

- {id:"kpi_eval", cmd:"kpi --omega ω1,ω2 --kpi_gates gates.yaml"}

- {id:"rad_eval", cmd:"rad --enable --zref Z_base.npy"}

- {id:"export", cmd:"export_cards --out /release"}

env_lock:

os: {name:"Ubuntu", version:"22.04"}

interpreter: {name:"Python", version:"3.11.6"}

packages:

- {name:"numpy", version:"1.26.4", hash:"sha256:..."}

- {name:"scipy", version:"1.13.1", hash:"sha256:..."}

- {name:"pandas", version:"2.2.2", hash:"sha256:..."}

container: {image:"registry/edxhs:1.0.0", digest:"sha256:..."}

hardware: {cpu:"x86_64", gpu:"none", ram_GB:32}

seeds: {global: 20250916}

V. Reproducibility Workflow (Methods.Repro, execution dialect)

• Fetch & verify: pull dataset_card/pipeline_card/env_lock; verify sha256.
• Rebuild environment: start container/venv per env_lock.
• Alignment & corrections: run align → deembed/renorm → s2z → sync_corr → path_correct; ensure passivity/KK and complete arrival.
• Arrival consistency: compute T_arr with both dialects; verify agreement within u(T_arr).
• Recompute KPIs: on window Ω, recompute T_group/E_phase/GDR and ΔW; (if available) verify T_group ≈ L·dβ/dω.
• Radiation consistency: if ΔZ_rad enabled, verify Re{ΔZ_rad} ≥ 0 and pre/post sealing monotonicity; compute P_rad ≈ ½Re{ΔZ_rad}|I_port|^2 vs field trends.
• Equivalence test: compare reproduced vs published with thresholds ε_Z/ε_φ/ε_Tg/ε_W/(ε_Zc); issue qa_gates.

VI. Audit Trail & Release

audit_manifest:

run_id: "RUN-2025-09-16-001"

toolchain: {simstack_hf:"1.0.0", kernels:"0.9.3"}

diffs: {params_changed:["Ks_tau"], reason:"tuning within prior"}

seeds: {global: 20250916}

qa:

check_dim: "pass"

passivity: "pass"

KK: "pass"

logs: "/logs/run_001.txt"

release_manifest:

normative_refs: ["EFT.WP.Core.DataSpec v1.0","Methods.Repro v1.0"]

artifacts:

- "/release/dataset_card.yaml"

- "/release/pipeline_card.yaml"

- "/release/env_lock.yaml"

- ["/release/audit_manifest.yaml", "/release/qa_report.json"]

hashes:

dataset_card: "sha256:..."

pipeline_card: "sha256:..."

env_lock: "sha256:..."

audit: "sha256:..."

VII. Falsifiability (Repro-specific)

1. R-HF-1 (Two-dialect agreement): for the same gamma(ell)/n_eff, T_arr(n_over_c) vs T_arr(one_over_c_times_n) differ beyond u(T_arr).
2. R-HF-2 (Positive-real/causality failure): reproduced Re{Z_eft} < 0 or KK_consistency fails.
3. R-HF-3 (Equivalence failure):
   • ε_Z = max_ω |Z_eft^{rep} − Z_eft^{pub}| / |Z_eft^{pub}| > ε_Z_gate
   • ε_φ = max_ω |arg Z^{rep} − arg Z^{pub}| > ε_φ_gate
   • ε_Tg = max_ω |T_group^{rep} − T_group^{pub}| > ε_Tg_gate
   • ε_W = max_ω Σ_{p,m} |w_{p,m}^{rep} − w_{p,m}^{pub}| > ε_W_gate
   • (optional) ε_Zc = max_ω |Z_c^{rep} − Z_c^{pub}| > ε_Zc_gate
4. R-HF-4 (Env not reproducible): env_lock cannot be rebuilt or fingerprints mismatch.
5. R-HF-5 (Audit trail missing): missing hashes or incomplete logs.

VIII. Compliance Bundle (copy-ready)

# 1) Two-dialect T_arr

T1 = (1/c_ref) * sum(n_eff[i]*Δell[i]) # n_over_c

T2 = sum((n_eff[i]/c_ref) * Δell[i]) # one_over_c_times_n

assert abs(T1 - T2) <= u_Tarr

# 2) KPIs & propagation consistency

phi = unwrap(argZ - ω*Δt_sync)

T_group = grad(phi, ω)

assert max_abs(T_group - L*grad(beta, ω)) <= u_Tg # if beta available

# 3) Positive-real & K–K quick gates

assert min(Re(Z_eft)) >= 0.0 and KK_consistency(Z_eft)

# 4) Equivalence thresholds

eps_Z = max_abs(Z_eft_rep - Z_eft_pub) / max_abs(Z_eft_pub)

eps_phi= max_abs(phi_rep - phi_pub)

eps_Tg = max_abs(Tg_rep - Tg_pub)

eps_W = max_over_ω(sum_abs(w_rep - w_pub))

eps_Zc = max_abs(Zc_rep - Zc_pub)

assert eps_Z<=ε_Z_gate and eps_phi<=ε_φ_gate and eps_Tg<=ε_Tg_gate and eps_W<=ε_W_gate and eps_Zc<=ε_Zc_gate

Suggested gates (to be specialized in dataset cards)

equivalence_gates:

eps_Z_gate: 0.03

eps_phi_gate: 0.05 # rad

eps_Tg_gate: 0.10e-9 # s

eps_W_gate: 0.10

eps_Zc_gate: 2.0 # ohm

IX. Cross-Chapter Links & Closure

• Dependencies: Chapter 7 (Coherence KPIs), Chapter 8 (S↔Z mapping), Chapter 9 (Metrology chain), Chapter 10 (Falsification), Chapter 11 (Co-simulation), Chapter 12 (Design Rules), Chapter 14 (SimStack).
• Downstream: Chapter 16 (Design Protocol & Checklist — integrate repro gates & equivalence thresholds), and the unified specifications EFT.WP.Core.DataSpec / Methods.Repro.