code wiki / _hdl_build / nx_galx_sortserve_gate.nx

nx_galx_sortserve_gate.nx

buildroot/runtime/_hdl_build/nx_galx_sortserve_gate.nx

8341 B122 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic galx

docs dependencies structs consts functions

about

nx_galx_sortserve_gate.nx -- SOVEREIGN gate for the gallery's sort-by-key serve handlers (ss_emit_size / ss_emit_runtime in nx_galx_sortindex.nx). Calls the ACTUAL handlers the daemon calls and asserts the response BYTES -- no socket, no bash, no curl. Isolates into /tmp/ssg (chdir) so it NEVER touches the real repo's knowledge/status data. Proves: size desc/asc order, discovery-offset (pct=) composition, runtime desc/asc order, and the "building" fallback before the duration batch exists. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

imports: nx_syscalls.nxnx_galx_sortindex.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

none

functions

9	func g_p(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 } called by 2: g_assert main calls 1: sys_write
10	func g_n(v: i64) -> i64 called by 1: main calls 2: sys_mmap sys_write
16	func g_strlen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 2: g_writestr g_contains
17	func g_writefile_n(path: *u8, n: i64) -> i64 called by 1: main calls 4: sys_openat_wr sys_mmap sys_write sys_close
22	func g_writestr(path: u8, s: u8) -> i64 called by 1: main calls 4: sys_openat_wr sys_write g_strlen sys_close
26	func g_contains(hay: u8, hlen: i64, needle: u8) -> i64 called by 1: g_assert calls 1: g_strlen
38	func g_assert(label: u8, hay: u8, hlen: i64, needle: u8, pass: i64, fail: *i64) -> i64 called by 1: main calls 3: g_contains g_p sys_write
44	func main(argc: i64, argv: *i64) -> i64 calls 15: sys_mmap sys_clock_gettime_mono si_cat si_u sys_mkdir sys_chdir+9