code wiki / _hdl_build / nx_ledger_min.nx

nx_ledger_min.nx

buildroot/runtime/_hdl_build/nx_ledger_min.nx

2587 B78 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind tooltopic ledger

docs dependencies structs consts functions

about

nx_ledger_min.nx -- lane gate: require >= min property-verified greens in an autofix ledger. argv: <ledger> <min> (min = lane config DATA, never a baked threshold -- rule 11) Counts "maker=GREEN" rows; prints NX-LEDGER-MIN green=<n> min=<m> verdict=GREEN|RED. exit 0 iff n >= m. Used as the gateelf of the S2 live autofix lane (nx_seat_drive). license_tier: ORIGINAL No hw writes (Rule 26).

dependencies 3 imports · 0 importers

imports: nx_deploy_lib.nxnx_itoa_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

10	const LM_CAP: i64 = 1048576

functions

12	func lm_w(s: *u8) -> i64 called by 1: main calls 1: sys_write
23	func lm_wn(v: i64) -> i64 { nxi_out(v); return 0 } called by 1: main calls 1: nxi_out
25	func lm_atoi(s: *u8) -> i64 called by 1: main
37	func lm_count(buf: u8, n: i64, needle: u8) -> i64 called by 1: main
58	func main(argc: i64, argv: *i64) -> i64 calls 7: lm_w sys_exit lm_atoi sys_mmap dp_read lm_count+1