code wiki / (root) / nx_ingest_audit.nx

nx_ingest_audit.nx

buildroot/runtime/nx_ingest_audit.nx

10333 B224 linesdepth 7pulls 11 transitivereach 1 importersview sourcekind tooltopic ingest

docs dependencies structs consts functions

about

nx_ingest_audit.nx -- THE MECHANIZED INGEST AUDIT (ladder + facts, one call per artifact). nx_ingest_audit <file> Detects the artifact's LANE from its bytes, runs the matching fact probe IN-PROCESS (the existing gated libs -- zero new parsers), then prints the lane's LADDER rows from knowledge/ladder_grades.conf (grades are DATA with evidence pointers, rule 11) and names every non-CLAIMED rung as the lane's open work. ★A CAPABILITY REPORT THAT ONLY NAMES WHAT IT LOOKED FOR CANNOT TELL YOU WHAT YOU HAVE (banked law): an unknown artifact says so explicitly, and a lane MISSING from the conf is a LOUD RED (fail-closed), never an empty success. Composes: nx_mediafacts_lib (8/8) - nx_modelfacts_lib (9/9) - nx_varfacts_lib (6/6). license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 5 imports · 1 importers

imports: nx_syscalls.nxnx_mediafacts_lib.nxnx_modelfacts_lib.nxnx_varfacts_lib.nxnx_kkfacts_lib.nx

imported by: nx_ingest_audit_gate.nx

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

structs

none

consts

19	const IA_WINDOW: i64 = 4194304
20	const IA_GRADES: *u8 = "knowledge/ladder_grades.conf"

functions

22	func ia_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 5: ia_w ia_e ia_ladder_from ia_ends main
23	func ia_w(s: *u8) -> i64 { sys_write(1, s, ia_slen(s)); return 0 } called by 2: ia_ladder_from main calls 2: sys_write ia_slen
24	func ia_e(s: *u8) -> i64 { sys_write(2, s, ia_slen(s)); return 0 } called by 1: main calls 2: sys_write ia_slen
25	func ia_num(v: i64) -> i64 called by 2: ia_ladder_from main calls 2: sys_write sys_mmap
42	func ia_read(path: u8, buf: u8, tailbuf: u8, sizebox: i64, tailn: *i64) -> i64 called by 1: main calls 4: sys_openat_rd sys_lseek sys_close sys_read
78	func ia_ladder_from(path: u8, lane: u8) -> i64 called by 2: ia_ladder main calls 6: sys_mmap sys_read_file ia_slen ia_w sys_write ia_num
116	func ia_ladder(lane: *u8) -> i64 { return ia_ladder_from(IA_GRADES, lane) } called by 1: main calls 1: ia_ladder_from
118	func ia_ends(name: u8, suf: u8) -> i64 called by 1: main calls 1: ia_slen
127	func main(argc: i64, argv: *i64) -> i64 calls 13: ia_e sys_exit sys_mmap ia_read kk_probe ia_w+7