FuzzPipe

run_symbols, the f64 CPU mirror and the backend adapter's queries

3/3 passed in 721ms

Test	What it does	Result
test_backend_fuzz	backend_info names a device, supports accepts only f32 and f64, cpu_words is pure and counter-indexed and matched bit for bit by gpu_words where an adapter answers, a zero-length dispatch is refused, and cpu_symbols stays finite over six runs.	✅ pass
test_symbols_exterior	run_symbols refuses a T or eta outside (0, 1], a negative modulation, xi, v_el or linewidth, a CFO at or past Nyquist, a non-positive symbol rate, a non-finite pilot setting, and a run of fewer than two DSP blocks.	✅ pass
test_symbols_fuzz	Over 24 runs every run_symbols statistic but v_err is finite, sigma2 >= 1 SNU, pilot_snr >= 0, v_wrap <= pi^2 and saturating at pi^2/3 = 3.2899, v_err > 2*v_wrap past v_wrap = 3.2, and three pinned runs read back their configuration.	✅ pass