code wiki / _hdl_build / nx_lane_attest_gate.nx

nx_lane_attest_gate.nx

buildroot/runtime/_hdl_build/nx_lane_attest_gate.nx

5878 B154 linesdepth 4pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic lane

docs dependencies structs consts functions

about

nx_lane_attest_gate.nx -- GATE for the closure attestor (5 teeth, 3 negative controls). PREREQ: stage _offc/nx_lane_attest.elf. Run from nxc2 root. One attestor fork per tooth via SELF-EXEC CHAIN (argv = [self] [stage] [pass]). T1 fresh+complete+over-min ledger ATTESTED | T2 NEG stale ledger (rows older than maxage) REFUSED | T3 NEG missing-episode REFUSED | T4 NEG below-min REFUSED | T5 empty ledger REFUSED. license_tier: ORIGINAL No hw writes (Rule 26).

dependencies 4 imports · 0 importers

imports: nx_seat_drive_lib.nxnx_seg_store.nxnx_deploy_lib.nxnx_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

none

functions

12	func lg_atoi(s: *u8) -> i64 called by 1: main
23	func lg_itoa(dst: *u8, v: i64) -> i64 called by 1: main calls 1: sys_mmap
35	func lg_len(s: *u8) -> i64 called by 1: main
42	func lg_mkledger(path: *u8, ts: i64, rows: i64) -> i64 called by 1: main calls 4: sys_mmap sd_cat sd_num ss_writefile
59	func lg_mkconf(path: u8, ledger: u8, minv: i64) -> i64 called by 1: main calls 4: sys_mmap sd_cat sd_num ss_writefile
71	func lg_run(confp: u8, outp: u8) -> i64 called by 1: main calls 2: sys_mmap dep_run_capture
77	func main(argc: i64, argv: *i64) -> i64 calls 15: lg_atoi sys_now_realtime_sec ss_writefile lg_len lg_mkledger lg_mkconf+9