code wiki / _hdl_build / nx_natstat_hardcases.nx
nx_natstat_hardcases.nx
buildroot/runtime/_hdl_build/nx_natstat_hardcases.nx
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 } |
| 14 | func pn(v: i64) -> i64 |
| 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 |