code wiki / _hdl_build / nx_ncf_route_gate.nx

nx_ncf_route_gate.nx

buildroot/runtime/_hdl_build/nx_ncf_route_gate.nx

6351 B76 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic ncf
docsdependenciesstructsconstsfunctions

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

nx_ncf_synth.nx nx_pattern_classify.nx nx_syscalls.nx nx_ncf_route_gate.nx

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

main ncf_w sys_write sys_mmap sys_openat_wr sys_write ↻ sys_close plc_new_features sys_mmap ↻ plc_classify plc_table sys_mmap ↻ plc_table_rows ncf_n sys_write ↻ sys_mmap ↻ ncf_synth ncf_search_branch ncf_pred_eval ncf_op_eval ncf_search_loop ncf_loop_eval ncf_search_loop2 ncf_loop_eval2 ncf_search_loop3 ncf_loop_eval3 ncf_search_loop4 ncf_loop_eval4 ncf_search_recur ncf_pow3 ncf_recur_eval sys_mmap ↻ ncf_emit ncf_emit_branch sys_mmap ↻ ncf_cat ncf_cat_pred ncf_cat ↻ ncf_catn sys_mmap ↻

structs

none

consts

none

functions

19func main() -> i64