nx_isa_run_sov.nx

nx_isa_run_sov.nx -- CLOSE THE LOOP (hardware -> derive -> hardware). A search-derived RV64 program RUNS on the genesis sim rv64im_min_sim (god). The instruction sequence MUL x3,x1,x2 ; ADD x3,x3,x1 is exactly what nx_evo_isa derives for f(a,b)=a*b+a; here we ENCODE it to real RV64 machine code (the encoders -- rv_lui IS the search-derived enc_u), wrap it to load a,b + write the result byte to the NS16550A UART + halt via the SiFive finisher, LOAD it into the sim, RUN it, and VERIFY the captured UART byte == (a*b+a)&0xff. Mirrors rv64im_min_sim_smoke's device setup. license_tier: ORIGINAL