code wiki / _hdl_build / nx_natstat_hardcases.nx

nx_natstat_hardcases.nx

buildroot/runtime/_hdl_build/nx_natstat_hardcases.nx

5350 B90 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind tooltopic natstat

docs dependencies structs consts functions

about

nx_natstat_hardcases.nx -- HARDEN the metric: axes 3 (colour) + 4 (ai-fingerprint) passed BOTH the target and our render, so they were unproven guards. Generate synthetic images with KNOWN ground truth and assert the guards BITE (drop below the pass band). No network, no decode -- we author the pixels, so the truth is certain. GREEN = every guard fired where it should + stayed quiet where it shouldn't. expect_exit: 0

dependencies 2 imports · 0 importers

imports: nx_syscalls.nxnx_natstat.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 K_MAGIC_65536: i64 = 65536
8	const K_MAGIC_374761393: i64 = 374761393
9	const K_MAGIC_668265263: i64 = 668265263
10	const K_MAGIC_8192: i64 = 8192
11	const K_MAGIC_1274126177: i64 = 1274126177

functions

13	func w(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 1: main calls 1: sys_write
14	func pn(v: i64) -> i64 called by 1: main calls 2: sys_mmap sys_write
25	func px(r: i64, g: i64, b: i64) -> i64 { return r + g * 256 + b * K_MAGIC_65536 } called by 1: main
27	func hsh(a: i64, b: i64) -> i64 called by 1: main
34	func main() -> i64 calls 8: sys_mmap px hsh ns_colorful ns_band w+2