nx_synth.nx

nx_synth.nx -- a PROGRAM SYNTHESIZER: the team WRITES a program from a spec, by search. Given only input/output examples (NOT the formula), it enumerates small straight-line programs over {ADD,SUB,MUL,SHL} and returns the shortest one that reproduces every example -- then the caller checks it on held-out inputs so it is a real program, not an overfit. This is "writing code on its own": the search discovers the program; I only wrote the searcher + the DSL. Enumerative program synthesis (Massalin superoptimizer, AFIPS 1987; modern: CEGIS -- Solar-Lezama, ASPLOS 2006). Slots: 0=x (input), 1=1 (a constant), 2.. computed. Bounded to length <= 2 over a few ops -- small, but genuinely authored from a goal.