nx_superopt_machinecode_test.nx

nx_superopt_machinecode_test.nx -- the team builds MACHINE CODE UP, MULTI-ARCH, by itself. The algebra (x*C -> (x<<a) +/- (x<<b)) is authored ONCE by search; the per-target ENCODERS lower it to real RV64 AND AArch64 machine-code words, and each is PROVEN by EXECUTION on its own sovereign emulator (no qemu, no JIT, no hand-written stream). This is emit-to-TARGET, not bake-one-binary -- the same invention lands on whatever silicon the spore/seed reaches. I wrote the search + the two encoders; the team produced the bytes and the emulators ran them. Both emulators return the exit register (a0/x0) as an 8-bit status, so each plan is checked exhaustively over the inputs where x*C < 256 -- enough to convict a wrong instruction stream. Encodings per the RISC-V + ARMv8-A manuals. Known answer: every authored program, on BOTH arches, computes x*C -> exit 0.