code wiki / (root) / nx_lib_std_gate.nx

nx_lib_std_gate.nx

buildroot/runtime/nx_lib_std_gate.nx

4064 B138 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic lib

docs dependencies structs consts functions

about

nx_lib_std_gate.nx -- gate for the sovereign stdlib seed. KATs per function + NEGATIVE CONTROLS (streq must reject differing strings incl. prefix case; atoi must return 0 on garbage; itoa/atoi must round-trip negatives). Exits nonzero unless every tooth passes. license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

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

8	func g_report(name: *u8, ok: i64) -> i64 called by 1: main calls 2: std_puts std_putln
15	func main(argc: i64, argv: *i64) -> i64 calls 14: std_slen g_report std_streq sys_mmap std_scopy std_find+8