code wiki / (root) / nx_tool_http_backend_gate.nx

nx_tool_http_backend_gate.nx

buildroot/runtime/nx_tool_http_backend_gate.nx

3975 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 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 sys_mmap ↻ thb_parse_ip sys_socket thb_sockaddr nx_connect_bounded nx_fcntl sys_connect sys_mmap ↻ sys_poll sys_close ↻ sys_write ↻ sys_read ↻ gn sys_write ↻

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