nx_superopt_general_test.nx

nx_superopt_general_test.nx -- (#1) the generator GENERALIZED beyond x*C-in-two- terms. It authors an N-term shift/add chain for ANY constant via the non-adjacent form (NAF), the canonical minimal signed-digit recoding (Reitwiesner, IRE Trans. 1960; Booth recoding). NAF gives the fewest +/- shifted terms, so the generator handles constants the 2-term strength-reducer could NOT (x*100, x*11, x*13, ...). Each authored chain is lowered through the SPEC ENCODER (nx_isa_spec) to RV64 AND AArch64 and PROVEN BY EXECUTION on the sovereign emulators. The team authors: I wrote the recoding + the lowering; the search/recoding writes the term sequence and the spec table writes the bytes. Known answer: every constant computes x*C on both arches -> exit 0.