code wiki / _hdl_build / nx_stackaudit_census_gate.nx
nx_stackaudit_census_gate.nx
buildroot/runtime/_hdl_build/nx_stackaudit_census_gate.nx
about
nx_stackaudit_census_gate.nx -- gate for the sovereign full-stack auditor. Proves the EXACT
production code path (sax_eval + sax_census) on /tmp fixtures it writes itself (self-contained:
survives WSL /tmp cold-boot wipes; fixture bytes identical every run so non-truncating rewrites
stay deterministic). NEGATIVE CONTROLS are load-bearing: last-verdict-wins cannot fabricate a
green (T2), a missing file reads UNKNOWN not GREEN (T3), and the anti-rot liar-kill fires when
EXPECTED evidence is absent (T6 uses table t=1 whose 3rd row points at a never-created path).
verdict GREEN iff 8/8. license_tier: ORIGINAL
dependencies 1 imports · 0 importers
imports: nx_stackaudit_lib.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
| 10 | func sag_row(name: *u8, ok: i64) -> i64 called by 1: main |
| 17 | func main(argc: i64, argv: *i64) -> i64 |