code wiki / (root) / nx_portcheck_staged_cli_gate.nx

nx_portcheck_staged_cli_gate.nx

buildroot/runtime/nx_portcheck_staged_cli_gate.nx

9644 B140 linesdepth 5pulls 9 transitivereach 0 importersview sourcekind gate/proof

docs dependencies structs consts functions

about

Executes the caller-pinned staged CLI; only this gate owns the two listeners. Captures are exclusive retained files. No production signals or deployment writes; the shared runner bounds its own children.

dependencies 4 imports · 0 importers

imports: nx_os_introspect.nxnx_http_server.nxnx_tool_run.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

structs

none

consts

7	const PG_ARG_SLOTS: i64 = 6
8	const PG_SOCKADDR_BYTES: i64 = 16
9	const PG_EXPECTED_ROWS: i64 = 2
10	const PG_PRIVATE_DIR_MODE: i64 = 448
11	const PG_PRIVATE_FILE_MODE: i64 = 384

functions

13	func pg_contains(b: u8, n: i64, wanted: u8) -> i64 called by 2: pg_row main calls 1: pon_strlen
21	func pg_append(b: u8, at: i64, s: u8) -> i64 called by 3: pg_inode pg_save pg_row
25	func pg_path_ok(s: *u8, directory: i64) -> i64 called by 1: main calls 1: pon_strlen
42	func pg_inode(fd: i64) -> i64 called by 1: main calls 3: pg_append pon_obs_number pon_obs_socket_inode
51	func pg_save(dir: u8, name: u8, b: *u8, n: i64) -> i64 called by 1: pg_run calls 3: pg_append gv_puts gv_num
68	func pg_run(subject: u8, av: i64, dir: u8, name: u8, b: u8, cap: i64, timeout: i64, expected_exit: i64, ctr: i64) -> i64 called by 1: main calls 5: gv_check tr_run_capture_to gv_puts gv_num pg_save
82	func pg_row(b: u8, n: i64, port: i64, inode: i64, address: u8, expected: *u8) -> i64 called by 1: main calls 3: pg_append pon_obs_number pg_contains
89	func main(argc: i64, argv: *i64) -> i64 calls 16: gv_puts pon_obs_uint pon_strlen pg_path_ok gv_ctr gv_head+10