_si_walk_probe.nx source

1// _si_walk_probe.nx -- DIAGNOSTIC REPRO for the _sig_index_authored signal-11 (issue log 2// 2026-06-09): isolates the dir-walk half (nx_open_rd + nx_dirent + bounded read) with ZERO 3// signature parsing. If THIS crashes, the defect is in the dirent/struct path under 4// nx_cc_sovereign; if it passes, the defect is in si_scan. license_tier: ORIGINAL 5import "nx_syscalls.nx" 6import "nx_dirent.nx" 7import "nx_fcntl.nx" 8func _p(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } 9func _pn(v: i64) -> i64 { let bb: *u8=sys_mmap(28); var m: i64=v; if m<0{m=0-m;sys_write(1,"-" as *u8,1)}; let t: *u8=sys_mmap(28); var k: i64=0; if m==0{t[0]=48;k=1}; while m>0{t[k]=48+(m%10);m=m/10;k=k+1}; var i: i64=0; while i<k{bb[i]=t[k-1-i];i=i+1}; sys_write(1,bb,k); return 0 } 10func wp_read(path: *u8, buf: *u8, cap: i64) -> i64 { 11 let fd2: i64 = sys_openat_rd(path) 12 if fd2 < 0 { return 0 - 1 } 13 var total: i64 = 0 14 var go: i64 = 1 15 while go == 1 { 16 let base: i64 = buf as i64 17 let n: i64 = sys_read(fd2, (base + total) as *u8, cap - total) 18 if n <= 0 { go = 0 } else { total = total + n } 19 if total >= cap { go = 0 } 20 } 21 sys_close(fd2) 22 return total 23} 24func main() -> i64 { 25 _p("walk-probe: start\n" as *u8) 26 let dfd: i64 = nx_open_rd("runtime" as *u8) 27 _p("open dfd=" as *u8); _pn(dfd); _p("\n" as *u8) 28 if dfd < 0 { sys_exit(1); return 1 } 29 let dirbuf: *u8 = sys_mmap(1048640) 30 let pathbuf: *u8 = sys_mmap(4096) 31 let filebuf: *u8 = sys_mmap(4194320) 32 var d: NxDirent 33 var nfiles: i64 = 0 34 var nbytes: i64 = 0 35 var done: i64 = 0 36 while done == 0 { 37 let nb: i64 = nx_dirent_read(dfd, dirbuf, 1048576) 38 if nb <= 0 { done = 1 } 39 else { 40 var off: i64 = 0 41 while off < nb { 42 off = nx_dirent_iter(dirbuf, off, nb, &d) 43 if off < 0 { off = nb } 44 else { 45 let nl: i64 = nx_dirent_name_len(&d) 46 var isnx: i64 = 0 47 if nl > 3 { 48 if d.name[nl-3] == (46 as u8) { if d.name[nl-2] == (110 as u8) { if d.name[nl-1] == (120 as u8) { isnx = 1 } } } 49 } 50 if isnx == 1 { 51 var p: i64 = 0 52 let pre: *u8 = "runtime/" as *u8 53 while pre[p] != (0 as u8) { pathbuf[p] = pre[p]; p = p + 1 } 54 var q: i64 = 0 55 while q < nl { pathbuf[p] = d.name[q]; p = p + 1; q = q + 1 } 56 pathbuf[p] = 0 as u8 57 let fl: i64 = wp_read(pathbuf, filebuf, 4194304) 58 if fl > 0 { nfiles = nfiles + 1; nbytes = nbytes + fl } 59 } 60 } 61 } 62 } 63 } 64 sys_close(dfd) 65 _p("walk-probe: nx-files=" as *u8); _pn(nfiles); _p(" bytes=" as *u8); _pn(nbytes); _p("\n" as *u8) 66 if nfiles > 5000 { sys_exit(0); return 0 } 67 sys_exit(1); return 1 68}