nx_eoe_while.nx

nx_eoe_while.nx -- EMITTER-OF-EMITTERS, GENERALITY RUNG 4: DATA-DRIVEN ITERATION. The ladder: nx_eoe (006e) = control-flow DEPTH (N nested loops, FIXED bound); nx_eoe_oplist (006g) = linear COMPUTATION; nx_eoe_branch (006h) = a 2-way BRANCH (predicate from spec). nx_eoe's loops run a FIXED number of times (bound is a spec constant). This rung synthesizes a CONDITIONAL while-loop: it runs UNTIL a data PREDICATE flips, so the ITERATION COUNT is COMPUTED from the running data, not specified -- the same spec on different effective dynamics loops a different number of times. That data-dependent iteration is exactly what a fixed-bound loop nest and a linear op-list provably cannot express. nx_eoe_while <basename> <start> <whilepred> <body-op> whilepred = g<t> | l<t> | e<t> (loop runs WHILE acc > t | acc < t | acc == t) body-op = a<n> | m<n> | s<n> (applied once per iteration) -> writes runtime/_hdl_build/<basename>.nx whose main() runs the loop and prints "RESULT=<acc>\n". nx_cc compiles the loop (the team owns the loop codegen). A safety GUARD (break after 100000 iters) prevents a runaway emitted organ from hanging -- it never fires for a well-formed terminating spec. no-false-green plan (X-AUT-006d): DIFFERENT body ops -> DIFFERENT iteration counts -> DIFFERENT correct results (e.g. <100 by *2 = 7 iters -> 128; <100 by +1 = 99 iters -> 100), proving the COUNT is data-driven not templated; tamper threshold -> different result. Sovereign, no gcc/.sh. HONEST SCOPE: one predicate-driven while over a single body op -- NOT yet op-list bodies or nested loops. ONE rung. license_tier: ORIGINAL