code wiki / _hdl_build / nx_access_audit.nx

nx_access_audit.nx

buildroot/runtime/_hdl_build/nx_access_audit.nx

2007 B44 linesdepth 5pulls 5 transitivereach 3 importersview sourcekind librarytopic access
docsdependenciesstructsconstsfunctions

about

nx_access_audit.nx -- TAMPER-EVIDENT append-only audit log for the access wall (L6; NIST AU family). Every PDP decision (subject, peer-IP, resource, action, verdict-code) is recorded as an entry CHAINED by hash: h[0] = sha256(genesis || entry0); h[i] = sha256(h[i-1] || entry_i) Any alteration, deletion, insertion, or REORDER of entries breaks the chain, so aa_verify (replay) returns 0. This is the forensic record of who was allowed/denied where + why. Reuses the KAT-verified nx_sha256 (no rolled crypto); pairs with the framed-append durability floor (the bytes on disk) -- this adds the integrity proof on top. license_tier: ORIGINAL

dependencies 2 imports · 2 importers

nx_sha256.nx nx_syscalls.nx nx_access_audit.nx nx_access_audit_gate.nx nx_access_pep.nx

imports: nx_sha256.nxnx_syscalls.nx

imported by: nx_access_audit_gate.nxnx_access_pep.nx

structs

none

consts

none

functions

12func aa_chain(prev: *u8, entry: *u8, elen: i64, out32: *u8) -> i64
25func aa_verify(entries: *i64, lens: *i64, hashes: *i64, n: i64, genesis: *u8) -> i64
called by 2: mainmain calls 2: sys_mmapaa_chain