code wiki / _hdl_build / nx_search_ship_gate.nx

nx_search_ship_gate.nx

buildroot/runtime/_hdl_build/nx_search_ship_gate.nx

10782 B113 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic search
docsdependenciesstructsconstsfunctions

about

nx_search_ship_gate.nx -- THE PARSERS OF THE SEARCH SHIP LOOP, DRIVEN ON PLANTED FIXTURES (2026-09-14). The loop reads every decision out of a receipt or a probe body; a parser that reads the wrong field turns a REFUSED build into a shipped one or a 12 s probe into a pass. Each tooth plants the exact shape the live organs emit (a /api/build receipt, a nx_qrels_bench arm, a nx_https_get first line plus a phase_us block, a uat_journeys row, a probes conf) and every positive tooth has a neg-control that must NOT parse. No fork, no file, no socket. license_tier: ORIGINAL expect_exit: 0

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_search_ship_lib.nx nx_search_ship_gate.nx

imports: nx_syscalls.nxnx_gate_verdict.nxnx_search_ship_lib.nx

imported by: nobody (leaf or entry point)

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

main gv_puts sys_write gv_ctr sys_mmap nxa_die sys_write ↻ sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gv_check gv_puts ↻ sx_int_after sx_find sx_slen sx_slen ↻ sx_slen ↻ sys_mmap ↻ sx_json_str sx_find ↻ sx_slen ↻ sx_streq sx_lines_with sx_starts sx_bytes_eq sx_first_diff_line sx_phase sx_int_after ↻ sx_find ↻ sx_journey_field sx_slen ↻

structs

none

consts

11const SG_CAP: i64 = 4096
12const SG_BAR_DFLT: i64 = 4242

functions

14func main() -> i64