code wiki / (root) / nx_forge_engine_gate.nx

nx_forge_engine_gate.nx

buildroot/runtime/nx_forge_engine_gate.nx

8479 B181 linesdepth 9pulls 15 transitivereach 0 importersview sourcekind gate/prooftopic forge
docsdependenciesstructsconstsfunctions

about

nx_forge_engine_gate.nx -- gate for the assembled autonomous-coding engine. Deterministic, NO model: the raceless bind-pre-fork stub maker serves scripted /gen responses + captures request bodies. Proves the two-stage engine: T1 GREEN at loop stage (good candidate -> rc=1; sampling never engaged) T2 GREEN at sample stage: loop exhausts (broken, maxc=1) -> sample1 broken -> sample2 good -> rc=102 (100+k). The free-verifier best-of-N lever, mechanized. T2b sample requests carry "temp" + DETERMINISTIC per-sample seeds (11001, 11002) T2c loop-stage request has NO "temp" key (greedy preserved) AND sample requests carry NO repair header (independence between samples) T3 NEG: everything broken -> rc=-40 (exhausted, never a fake GREEN) Fixture JSONs built at gate time from the SAME flp_* fixture programs (never drift). license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_forge_engine.nx nx_gate_verdict.nx nx_forge_engine_gate.nx

imports: nx_forge_engine.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main std_putln std_puts std_slen sys_write feg_mkjson fc_json_esc_bytes sys_openat_wr fc_wb sys_write ↻ feg_case feg_bind sys_socket sys_bind sys_listen sys_fork feg_serve sys_accept sys_read sys_openat_wr ↻ fc_wb ↻ std_itoa sys_mmap fe_run std_putln ↻ flp_run std_slen ↻ fg_mkpath sys_openat_wr ↻ std_puts ↻ std_pdec sys_mmap ↻ std_itoa ↻ sys_write ↻ flp_cycle fm_compose_prompt sys_read ↻ flp_build_gen_body fm_build_gen_body std_itoa ↻

structs

none

consts

none

functions

16func feg_bind(port: i64) -> i64
called by 1: feg_case calls 3: sys_socketsys_bindsys_listen
34func feg_serve(lfd: i64, n: i64, resps: *i64, caps: *i64) -> i64
called by 1: feg_case calls 5: sys_acceptsys_readsys_openat_wrfc_wbstd_itoa
70func feg_mkjson(progpath: *u8, outpath: *u8) -> i64
called by 1: main calls 3: fc_json_esc_bytessys_openat_wrfc_wb
92func feg_case(organ: *u8, n: i64, resps: *i64, caps: *i64, port: i64, maxc: i64, nsamples: i64, temp_pm: i64) -> i64
called by 1: main calls 5: feg_bindsys_forkfeg_servefe_runsys_wait4
110func feg_cap_has(cappath: *u8, needle: *u8) -> i64
called by 1: main calls 1: std_slen
119func main(argc: i64, argv: *i64) -> i64
calls 8: std_putlnfeg_mkjsonfeg_casestd_putsstd_pdecfeg_cap_has+2