code wiki / _hdl_build / nx_ncf_route_gate.nx
nx_ncf_route_gate.nx
buildroot/runtime/_hdl_build/nx_ncf_route_gate.nx
about
nx_ncf_route_gate.nx -- THE WIRING RUNG: close the L3 autonomy loop. When nx_pattern_classify marks a spec
NOVEL (classify->0) the pipeline today escalates to the tutor (Claude). This gate routes that NOVEL case to
the NCF SYNTHESIZER instead: a spec given as input->output examples that the classifier has NO pattern for is
handed to ncf_synth -> materialize -> GOD-BUILD -> a WORKING organ, ZERO Claude in the loop. The honesty rail:
a spec OUTSIDE the synthesis grammar stays NOVEL->tutor (no fake-green). The boundary is Fibonacci -- it needs
TWO-STATE memory, so it is OUTSIDE every single-accumulator construct and remains the honest boundary as the
grammar widens (rungs 1-4 added conditional/loop/affine-index/quadratic-index). The construct gates prove the
widening; this gate proves the WIRING + a STABLE honesty boundary.
T1 classify marks an I/O-example spec NOVEL (=0) -> today this escalates to the tutor.
T2 ROUTE: ncf_synth handles it (kind>0) -> the loop closes for what the grammar covers.
T3 MATERIALIZE+GOD-BUILD the routed spec -> HELD-OUT correct = NOVEL spec -> working organ, NO Claude.
T4 STABLE NO-FAKE: x^3 auto-routes (kind=4, the current grammar) BUT Fibonacci stays UNHANDLED (two-state).
T5 the full chain (classify-NOVEL -> route -> synth -> god-build) ran with zero Claude decisions inside.
expect_exit: 0 license_tier: ORIGINAL
dependencies 3 imports · 0 importers
imports: nx_ncf_synth.nxnx_pattern_classify.nxnx_syscalls.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 19 | func main() -> i64 |