38-EFT.WP.EDX.EMI v1.0 | Appendix B. Implementation Binding & Function Prototypes

Home ／ Docs-Technical WhitePaper ／ 38-EFT.WP.EDX.EMI v1.0

Appendix B. Implementation Binding & Function Prototypes

I. Goals & Coverage

1. Covered layers: I30-EMI (cable/connector/path binding & mixed-mode), I40-EMI (S↔Z / power→field mapping), Methods.SimStack.EMI (simulation stack), Mx-* (priors/likelihood/evidence/inference), M10-EMI (metrology & alignment).
2. Mandatory arrival dialect (two equivalent forms; path/measure explicit; record delta_form):
   • Constant-factored: T_arr = ( 1 / c_ref ) * ( ∫ n_eff d ell )
   • General: T_arr = ( ∫ ( n_eff / c_ref ) d ell )
3. Hard gates: check_dim = pass, passivity (Re{Z_eft} ≥ 0), KK_consistency = pass, Re{ΔZ_rad} ≥ 0, corr(P_rad,E/H) ≥ ρ_gate, two-dialect T_arr agreement (≤ u(T_arr)).

II. Namespaces & Versioning

1. Namespaces:
   • edx.emi.binding (I30-EMI)
   • edx.emi.mapping (I40-EMI)
   • edx.emi.simstack (Methods.SimStack.EMI)
   • edx.emi.inference (Mx-*)
   • edx.emi.metrology (M10-EMI)
2. Version policy: api_version: "1.0" (semver); all responses attach {api_version, impl_version, checksum}.

III. Common Data Structures (minimal)

types:

PathSegment:

fields: {layer:str, len_m:float, n_eff:float, neigh:str}

PathSpec:

fields: {id:str, segments:list[PathSegment], w_init_DM:float, w_init_CM:float}

ModeSpec:

fields: {name:str, Zc_ohm:list[float], alpha_per_m:list[float], beta_per_m:list[float]}

ArrivalRecord:

fields:

{form:enum["n_over_c","one_over_c_times_n"], gamma:"explicit", measure:"d_ell",

c_ref:float, Tarr_s:float, u_Tarr_s:float, delta_form:str}

QAGates:

fields: {check_dim:enum["pass","fail"], passivity:enum["pass","fail"], KK:enum["pass","fail"]}

Ports: {names:list[str], zref_ohm:list[float]}

Deemb: {method:str, version:str, artifact:str, baseline_id:str}

Sync: {ref:str, scheme:str, dt_sync_s:float}

MixedMode: {enabled:bool, T_mm:str, Z0_mm_ohm:list[float]}

BindingEMI: {id:str, paths:list[PathSpec], modes:list[ModeSpec]}

Weights: {w:map[(path_id,mode)->list[float]]} # w_{p,m}(ω)

Grid: {freq_grid_Hz:list[float]}

CalSite: {distance_m:float, AF_file:str, PF_file:str, coords:str}

IV. I30-EMI — Cable/Connector Binding & Mixed-Mode (prototypes)

edx.emi.binding:

- id: "I30-EMI.bind_cable"

proto: "bind_cable(layout:any, returns:any, harness:any, constraints:any) -> BindingEMI"

requires: ["explicit path segmentation with n_eff(seg)", "return/bridge annotations", "seam/stub locations"]

qa: ["check_dim"]

- id: "I30-EMI.mode_project"

proto: "mode_project(dataset:any, T_mm:any) -> x_mm"

notes: ["preserve power & reciprocity"]

- id: "I30-EMI.mode_merge"

proto: "mode_merge(x_mm:any, rules:any) -> dataset'"

qa: ["passivity","KK"]

- id: "I30-EMI.path_correct_emi"

proto: "path_correct_emi(dataset:any, binding:BindingEMI, arrival:ArrivalRecord) -> aligned"

post: ["write arrival", "two-dialect T_arr consistency check"]

V. I40-EMI — S↔Z & Power→Field Mapping (prototypes)

edx.emi.mapping:

- id: "I40-EMI.map_S_to_Z_eft"

proto: "map_S_to_Z_eft(S:any, Znorm:list[float], mode:enum['single','mixed'], T_mm?:any, Z0_mm?:any) -> {Z_eft:any, argZ:list[float], Zc_ohm:list[float], qa:QAGates}"

- id: "I40-EMI.estimate_deltaZ_rad"

proto: "estimate_deltaZ_rad(Z_eft:any, Z_ref:any, ΔZ_T:any) -> deltaZ_rad:any"

gates: ["Re{ΔZ_rad}≥0", "KK_consistency(Z_eft)=pass"]

- id: "I40-EMI.prad2field"

proto: "prad2field(deltaZ_rad:any, I_port:list[float], site:CalSite) -> {P_rad:list[float], E_env:list[float], H_env:list[float]}"

notes: ["AF/PF & distance R required", "outputs feed corr(P_rad,E/H)"]

VI. Methods.SimStack.EMI — Simulation Stack (prototypes)

edx.emi.simstack:

- id: "SimStackEMI.build"

proto: "build(netlist:any, layout:any, binding:BindingEMI, options:any) -> sim_handle"

- id: "SimStackEMI.forward"

proto: "forward(sim_handle:any, theta:map, grid:Grid) -> {Z_eft:any, deltaZ_rad:any, P_rad:list[float], E_env:list[float], H_env:list[float], I_CM:list[float], w:Weights}"

- id: "SimStackEMI.invert"

proto: "invert(sim_handle:any, data:any, priors:any, sampler:str='NUTS') -> {posterior:any, logZ:float, summary:any}"

- id: "SimStackEMI.ppc"

proto: "ppc(sim_handle:any, posterior:any, grid:Grid) -> {residual_spectrum:list[float], gates:QAGates}"

- id: "SimStackEMI.export"

proto: "export(sim_handle:any, format:'cards|json') -> artifact_paths:list[str]"

VII. Mx- — Priors/Likelihood/Evidence (EMI constraints)*

edx.emi.inference:

priors:

n_eff_seg: {type:"normal", mu:"n_eff_hat", sigma:"0.05*mu"}

sigma_eff: {type:"lognormal", mu:-12.0, s:0.8, unit:"S/m"}

w_dirichlet: {type:"dirichlet", alpha:[0.3,0.3,0.3]} # Σ≤1

dt_sync: {type:"normal", mu:0.0, sigma:2.0e-12, unit:"s"}

deltaZrad_Re: {type:"halfnormal", sigma:1.0, constraint:"Re≥0"}

likelihoods:

complex_Z: "joint_gaussian([Re,Im]; W_ω)" # ε_Z = Z_meas−Z_model

power_field: "penalty(P_rad − 0.5*Re(ΔZ_rad)*|I_port|^2) + penalty(corr(P_rad,E/H) − ρ_gate)"

cm_chain: "penalty(I_CM − H_cm(ω)*u_inj(ω))"

kpi_terms: "penalty(E_phase,GDR,ΔW)"

evidence:

compute: ["laplace","nested_sampling"]

gates: ["passivity","KK","check_dim"]

VIII. M10-EMI — Metrology & Alignment (prototypes)

edx.emi.metrology:

- id: "M10-EMI.align"

proto: "align(raw:any, deemb:Deemb, sync:Sync, binding:BindingEMI, arrival:ArrivalRecord, Znorm:list[float], mixed?:MixedMode) -> aligned"

post: ["outputs Z_eft/argZ/ΔZ_rad/P_rad", "writes QAGates & required KPIs"]

- id: "M10-EMI.arrival_consistency"

proto: "arrival_consistency(arrival:ArrivalRecord, binding:BindingEMI) -> {diff_s:float, pass:bool}"

rule: "|T_arr(n_over_c) − T_arr(one_over_c_times_n)| ≤ u_Tarr"

IX. QA Gates & Check Functions

qa:

- id: "check_dim"

proto: "check_dim(obj:any) -> enum['pass','fail']"

- id: "check_passivity"

proto: "check_passivity(Z:any) -> {min_Re:float, pass:bool}"

- id: "check_KK"

proto: "check_KK(Z:any, grid:Grid) -> enum['pass','fail']"

- id: "check_radiation_positive"

proto: "check_radiation_positive(deltaZ_rad:any) -> {min_Re:float, pass:bool}"

- id: "check_power_field_corr"

proto: "check_power_field_corr(P_rad:list[float], E_env:list[float], H_env:list[float]) -> {rho_E:float, rho_H:float, pass:bool}"

- id: "check_weights"

proto: "check_weights(w:Weights) -> {sum_max:float, pass:bool}" # Σ_{p,m} w_{p,m} ≤ 1

X. Error Codes (Unified)

errors:

E_BAD_UNITS: "Unit or dimensional mismatch"

E_KK_FAIL: "K–K consistency failed"

E_PASSIVITY: "Passivity failed (Re{Z}<0)"

E_BINDING_MISSING: "Missing binding_ref or path segments"

E_DELTA_FORM_MISS: "Arrival delta_form not recorded"

E_TARR_MISMATCH: "Two-dialect T_arr mismatch"

E_RADIATION_NEG: "ΔZ_rad not positive-real"

E_LOW_CORR_PR_EH: "P_rad vs E/H correlation below gate"

E_PORT_NORM: "Port normalization / mixed-mode basis inconsistent"

E_QA_FAIL: "QA gate failed"

E_PRIOR_INVALID: "Invalid prior or bounds"

XI. Request/Response Pattern (minimal example)

request:

api_version: "1.0"

op: "emi_map_and_field"

payload:

S_path: "/artifacts/S.s2p"

Znorm_ohm: [50.0, 50.0]

mixed_mode: {enabled:true, T_mm:"/cfg/T_mm.yaml", Z0_mm_ohm:[100.0,25.0]}

site: {distance_m:3.0, AF_file:"/cal/AF_3m.yaml", PF_file:"/cal/PF.yaml"}

grid: {freq_grid_Hz: [1e9, 1.01e9, ...]}

response:

api_version: "1.0"

result:

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

argZ: [...]

deltaZ_rad: {Re_ohm:[...], Im_ohm:[...]}

P_rad_W: [...]

E_env: [...]

H_env: [...]

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

checksum: "sha256:..."

XII. Compliance Templates (Arrival/Binding/Mapping)

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"

binding_emi:

id: "LAY2PATH-EMI-0001"

paths:

- id: "γ_main"

segments:

- {layer:"L3", len_m:0.0100, n_eff:2.12, neigh:"GND_L2"}

w_init_DM: 0.85

w_init_CM: 0.15

- id: "γ_side"

segments:

- {layer:"L3", len_m:0.0035, n_eff:2.40, neigh:"slot_L2"}

w_init_DM: 0.05

w_init_CM: 0.95

mapping_i40:

Znorm_ohm: [50.0, 50.0]

mixed_mode: {enabled:true, T_mm:"/cfg/T_mm.yaml", Z0_mm_ohm:[100.0,25.0]}

XIII. End-to-End Call Sequence (pseudocode)

# 1) Binding & alignment

binding = bind_cable(layout, returns, harness, constraints)

aligned = edx.emi.metrology.align(raw, deemb, sync, binding, arrival, Znorm, mixed_mode)

# 2) S↔Z & ΔZ_rad, power→field

Zpack = edx.emi.mapping.map_S_to_Z_eft(S_aligned, Znorm, mode="mixed", T_mm=Tmm, Z0_mm=Z0mm)

ΔZrad = edx.emi.mapping.estimate_deltaZ_rad(Zpack.Z_eft, Z_ref, ΔZ_T)

PFE = edx.emi.mapping.prad2field(ΔZrad, I_port, site)

# 3) Simulation stack

sim = edx.emi.simstack.build(netlist, layout, binding, options)

out = edx.emi.simstack.forward(sim, theta0, grid)

# 4) Inversion & PPC

post = edx.emi.simstack.invert(sim, aligned, priors, sampler="NUTS")

pp = edx.emi.simstack.ppc(sim, post.posterior, grid)

# 5) Export

edx.emi.simstack.export(sim, format="cards")

XIV. Constraints & Release Gates (EMI hard gates)