nx_alu_divider_exhaustive_test.nx

nx_alu_divider_exhaustive_test.nx -- the divider EXCEED on the VERIFICATION dimension: prove the synthesized divider correct over the ENTIRE 8-bit input space (all dividends 0..255 x all divisors 1..255 = 65280 pairs), quotient AND remainder, 1:1 vs behavioral. MEET (floor) = a correct divider on a few vectors. EXCEED (this) = correctness PROVEN-BY-CONSTRUCTION at 100% input-space coverage -- the guarantee incumbent synthesis flows (Yosys/ABC) do NOT give (structural-only; can silently miscompile -- the SynFuzz finding). Named incumbent: an unverified emitted divider. Measurable dimension: verified-coverage = 100% (65280/65280). (This is the VERIFICATION exceed; the PERFORMANCE exceed = radix-4 SRT fewer stages, scoped next by the exceed-calibration. Honest: don't conflate them.) Known answer (FAIL LOUD): "65280 65280 " (ok, total). exit 0 iff ok == total.