code wiki / _hdl_build / nx_stackaudit_census_gate.nx

nx_stackaudit_census_gate.nx

buildroot/runtime/_hdl_build/nx_stackaudit_census_gate.nx

6161 B131 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic stackaudit
docsdependenciesstructsconstsfunctions

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

nx_stackaudit_lib.nx nx_stackaudit_census_gate.nx

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

main ss_writefile sys_openat_wr sys_write sys_close sys_fsync sax_eval ss_readall sys_openat_rd sys_lseek sys_mmap sys_read sys_close ↻ el_last_after el_len el_match el_contains el_len ↻ el_match ↻ el_last_green el_len ↻ el_match ↻ sag_row sax_census sax_n sax_kind sax_log sax_pat sax_expect sax_eval ↻ sax_kind2 sax_healthy sax_log2 sax_pat2 sax_tri_status _p el_len ↻ sys_write ↻ sax_id sax_name

structs

none

consts

none

functions

10func sag_row(name: *u8, ok: i64) -> i64
called by 1: main
17func main(argc: i64, argv: *i64) -> i64