code wiki / _hdl_build / nx_audit_gate.nx

nx_audit_gate.nx

buildroot/runtime/_hdl_build/nx_audit_gate.nx

3060 B59 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind gate/prooftopic audit

docs dependencies structs consts functions

about

nx_audit_gate.nx -- proves the tamper-evident audit log WORKS, as a standing obligation: an intact chain VERIFIES, and a one-byte tamper FAILS verification. Exercises the real _offc/nx_audit_log.elf via fork/exec (sovereign-buildable; no sha256 import that hits the nxasm gap). Exit 0 iff both: intact->rc0 AND tampered->rc!=0. license_tier: ORIGINAL

dependencies 1 imports · 0 importers

imports: nx_syscalls.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

6	const AT_FDCWD: i64 = 0 - 100

functions

7	func _p(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
8	func ag_run(a1: u8, a2: u8, a3: u8, a4: u8) -> i64 called by 1: main calls 5: sys_fork sys_mmap sys_execve sys_exit sys_wait4
29	func ag_unlink(p: *u8) -> i64 { __syscall(263, AT_FDCWD, p, 0, 0, 0, 0) return 0 } called by 1: main
30	func main() -> i64 calls 10: _p ag_unlink ag_run sys_mmap sys_openat_rd sys_read+4