Deterministic Diophantine harmonic mixing lattice |m*f_RF +- n*f_LO| intersection with [f_IF - BW/2, f_IF + BW/2] for m,n in 0..9 + double-balanced diode/FET mixer Henderson spur-level table engine (.json, .csv) built for Mini-Circuits (ADE/TUF), Marki Microwave, Analog Devices (HMC), Qorvo — zero-upload ephemeral Wasm RAM execution.
Running ephemeral Wasm verification…