nx_superopt_governed_test.nx

nx_superopt_governed_test.nx -- a SECOND GENERATOR in the governed cycle: the superoptimizer. Unlike the rewrite-rule author, this generator SEARCHES (e-graph saturation) for a strictly-cheaper EQUIVALENT program and the loop governs the result -- so the loop now authors OPTIMIZATIONS, not just identities. GENERATOR build seed (mul x 8), saturate, emit the cost-minimal DAG (shl x 3) VERIFIER the emitted candidate must EVALUATE equal to the seed over a battery (nx_superopt_eval_emit) -- proven equivalent, not assumed COUNCIL verifies = equivalent ; worth = strictly cheaper (cost decreased) ; 3->2->1 -> ABSORB the optimization, else escalate NEG-CTRL a WRONG candidate (shl x 2 = x*4 != x*8) is NOT equivalent -> refused Known answer: the real optimization is ABSORBED, the negative control REFUSED; exit 0 iff governed correctly.