code wiki / (root) / nx_tool_http_backend_gate.nx

nx_tool_http_backend_gate.nx

buildroot/runtime/nx_tool_http_backend_gate.nx

3983 B72 linesdepth 6pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic tool
docsdependenciesstructsconstsfunctions

about

nx_tool_http_backend_gate.nx -- proves the HTTP-backend execution mode: url-encode forecloses injection on the only caller input; the TAB registry parses; an unregistered tool -> THB_NOROUTE (falls back to fork-exec); a registered-but-unreachable backend -> THB_ERR (fail-closed). The successful loopback fetch is proven LIVE on the NAS against the real search service. license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_tool_http_backend.nx nx_gate.nx nx_tool_http_backend_gate.nx

imports: nx_tool_http_backend.nxnx_gate.nx

imported by: nobody (leaf or entry point)

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

main gw sys_write thb_urlenc thb_hex hg_expect gw ↻ hg_eq thb_slen thb_field thb_atoi hg_write thb_dispatch_from 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 ↻ thb_read_conf sys_openat_rd sys_mmap ↻ sys_read sys_close thb_field ↻ thb_atoi ↻ thb_urlenc ↻ thb_slen ↻ thb_cat thb_catb thb_fetch

structs

none

consts

none

functions

8func hg_eq(a: *u8, alen: i64, b: *u8) -> i64
called by 1: main
14func hg_write(path: *u8, content: *u8) -> i64
called by 1: main
21func hg_expect(cond: i64, pass: *i64, tot: *i64, label: *u8) -> i64
called by 1: main calls 1: gw
28func main() -> i64