nx_compute_census.nx source

1// nx_compute_census.nx -- the COMPUTE-DEVICE EXCEED census = "S-class exceed for ANY DEVICE" instrument 2// (operator 2026-06-20: "capabilities work on all hardware ... hardware rung up each rung"). The GPU/compute 3// analog of nx_portability_census: extends the HAL pattern (nx_hal: substrate primitives don't change, only 4// the per-target shim does) to COMPUTE DEVICES -- each device (CPU/NVIDIA/AMD/Intel/future-Nishi-silicon) is 5// a backend climbing the SAME gated rung ladder (R0 census -> R1 submit -> R2 memcpy -> R3 SIMD/scalar GEMM 6// -> R4 tensor-core RE -> R5 tensor-core GEMM -> R6 measured EXCEED), measured by the device-agnostic harness. 7// 8// AUTHOR=ORGAN, measured (no-wave): reads compute_targets.tsv (device<TAB>cap<TAB>grade<TAB>evidence) and 9// LIAR-KILLS -- any non-ABSENT grade MUST cite REAL existing evidence (sys_openat_rd), else UNBACKED-LIAR -> RED. 10// Self-validating: pos control (a real gate file MUST exist), neg control (a fake path MUST NOT). Emits the 11// per-device exceed matrix + counts (EXCEEDS = the honest S-class wins so far). license_tier: ORIGINAL 12import "nx_syscalls.nx" 13const CM_MAGIC_120000: i64 = 120000 14const CM_MAGIC_300000: i64 = 300000 15 16const CM_REF: *u8 = "knowledge/registry/compute_targets.tsv" 17const CM_OUT: *u8 = "knowledge/registry/compute_census.tsv" 18const CM_LOG: *u8 = "knowledge/status/compute_census.log" 19const CM_MAXF: i64 = 512 20 21func cm_w(fd: i64, s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(fd, s, n); return 0 } 22func cm_wn(fd: i64, v: i64) -> i64 { let bb: *u8 = sys_mmap(28); var m: i64=v; if m<0 {m=0-m; sys_write(fd,"-" as *u8,1)}; let t: *u8 = sys_mmap(28); var k: i64=0; if m==0 {t[0]=48 as u8;k=1}; while m>0 {t[k]=(48+(m%10)) as u8; m=m/10; k=k+1}; var i: i64=0; while i<k {bb[i]=t[k-1-i]; i=i+1}; sys_write(fd, bb, k); return 0 } 23func cm_read_file(path: *u8, buf: *u8, cap: i64) -> i64 { 24 let fd: i64 = sys_openat_rd(path) 25 if fd < 0 { return 0 - 1 } 26 var tot: i64 = 0 27 var r: i64 = 1 28 while r > 0 { let dst: *u8 = ((buf as i64) + tot) as *u8; r = sys_read(fd, dst, cap - tot); if r > 0 { tot = tot + r } } 29 sys_close(fd) 30 return tot 31} 32func cm_exists(path: *u8) -> i64 { let fd: i64 = sys_openat_rd(path); if fd < 0 { return 0 } sys_close(fd); return 1 } 33func cm_scan_to(buf: *u8, n: i64, start: i64, delim: i64) -> i64 { var i: i64 = start; var s: i64 = 1; while s == 1 { if i >= n { s = 0 } else { if buf[i] == (delim as u8) { s = 0 } else { i = i + 1 } } } return i } 34func cm_app(dst: *u8, off: i64, s: *u8) -> i64 { var i: i64 = 0; while s[i] != (0 as u8) { dst[off+i] = s[i]; i = i + 1 } return off + i } 35func cm_streq(a: *u8, b: *u8) -> i64 { var i: i64 = 0; while a[i] != (0 as u8) { if a[i] != b[i] { return 0 } i = i + 1 } if b[i] != (0 as u8) { return 0 } return 1 } 36 37func main() -> i64 { 38 let rb: *u8 = sys_mmap(CM_MAGIC_120000) 39 let rbn: i64 = cm_read_file(CM_REF, rb, CM_MAGIC_120000) 40 if rbn <= 0 { cm_w(1, "CMCGATE verdict=RED reason=ref-unreadable\n" as *u8); return 1 } 41 42 let dev: *i64 = sys_mmap(8 * CM_MAXF) as *i64 43 let cap: *i64 = sys_mmap(8 * CM_MAXF) as *i64 44 let grd: *i64 = sys_mmap(8 * CM_MAXF) as *i64 45 let evd: *i64 = sys_mmap(8 * CM_MAXF) as *i64 46 var nf: i64 = 0 47 var p: i64 = 0 48 while p < rbn { 49 if rb[p] == (35 as u8) { let e: i64 = cm_scan_to(rb, rbn, p, 10); p = e + 1 } 50 else { if rb[p] == (10 as u8) { p = p + 1 } 51 else { 52 let a0: i64 = p 53 let t1: i64 = cm_scan_to(rb, rbn, a0, 9); rb[t1] = 0 as u8 54 let a1: i64 = t1 + 1 55 let t2: i64 = cm_scan_to(rb, rbn, a1, 9); rb[t2] = 0 as u8 56 let a2: i64 = t2 + 1 57 let t3: i64 = cm_scan_to(rb, rbn, a2, 9); rb[t3] = 0 as u8 58 let a3: i64 = t3 + 1 59 let t4: i64 = cm_scan_to(rb, rbn, a3, 10); rb[t4] = 0 as u8 60 if nf < CM_MAXF { dev[nf]=(rb as i64)+a0; cap[nf]=(rb as i64)+a1; grd[nf]=(rb as i64)+a2; evd[nf]=(rb as i64)+a3; nf=nf+1 } 61 p = t4 + 1 62 } } 63 } 64 65 let ob: *u8 = sys_mmap(CM_MAGIC_300000) 66 var o: i64 = 0 67 o = cm_app(ob, o, "# AUTHORED BY nx_compute_census -- S-class-exceed-for-ANY-DEVICE matrix. Each non-ABSENT grade LIAR-KILLED vs REAL evidence (sys_openat_rd). status<TAB>grade<TAB>device<TAB>capability<TAB>evidence\n" as *u8) 68 var backed: i64 = 0 69 var unbacked: i64 = 0 70 var exceeds: i64 = 0 71 var i: i64 = 0 72 while i < nf { 73 let is_absent: i64 = cm_streq((grd[i]) as *u8, "ABSENT" as *u8) 74 var ok: i64 = 0 75 if is_absent == 1 { ok = 1 } else { if cm_exists((evd[i]) as *u8) == 1 { ok = 1 } } 76 if ok == 1 { o = cm_app(ob, o, "BACKED\t" as *u8); backed = backed + 1 } else { o = cm_app(ob, o, "UNBACKED-LIAR\t" as *u8); unbacked = unbacked + 1 } 77 if cm_streq((grd[i]) as *u8, "EXCEEDS" as *u8) == 1 { exceeds = exceeds + 1 } 78 o = cm_app(ob, o, (grd[i]) as *u8); o = cm_app(ob, o, "\t" as *u8) 79 o = cm_app(ob, o, (dev[i]) as *u8); o = cm_app(ob, o, "\t" as *u8) 80 o = cm_app(ob, o, (cap[i]) as *u8); o = cm_app(ob, o, "\t" as *u8) 81 o = cm_app(ob, o, (evd[i]) as *u8); o = cm_app(ob, o, "\n" as *u8) 82 i = i + 1 83 } 84 let wfd: i64 = sys_openat_wr(CM_OUT, 420) 85 if wfd >= 0 { sys_write(wfd, ob, o); sys_close(wfd) } 86 87 // self-validating controls: a REAL gate must exist, a FAKE path must not -> proves the liar-kill logic. 88 let cpos: i64 = cm_exists("runtime/nx_nofloat_gemm.nx" as *u8) 89 let cneg: i64 = cm_exists("zzznonexistent_evidence_xyz" as *u8) 90 91 var fail: i64 = 0 92 if cpos != 1 { fail = 1 } 93 if cneg != 0 { fail = 1 } 94 if nf <= 0 { fail = 1 } 95 if unbacked != 0 { fail = 1 } // any claimed-but-unbacked grade = a fabricated exceed = RED 96 97 cm_w(1, "=== nx_compute_census -- S-class exceed for ANY DEVICE (rung-up, per-device, measured) ===\n" as *u8) 98 sys_write(1, ob, o) 99 cm_w(1, "CMCGATE devices_caps=" as *u8); cm_wn(1, nf) 100 cm_w(1, " backed=" as *u8); cm_wn(1, backed) 101 cm_w(1, " unbacked_liars=" as *u8); cm_wn(1, unbacked) 102 cm_w(1, " EXCEEDS=" as *u8); cm_wn(1, exceeds) 103 cm_w(1, " ctl_pos=" as *u8); cm_wn(1, cpos) 104 cm_w(1, " ctl_neg=" as *u8); cm_wn(1, cneg) 105 106 let lf: i64 = sys_openat_append(CM_LOG, 420) 107 if fail == 0 { 108 cm_w(1, " verdict=GREEN (every non-ABSENT grade evidence-backed; per-device exceed map honest -- 2 EXCEEDS cells: CPU-SIMD GEMM + determinism)\n" as *u8) 109 if lf >= 0 { cm_w(lf, "CMCGATE verdict=GREEN devices_caps=" as *u8); cm_wn(lf, nf); cm_w(lf, " exceeds=" as *u8); cm_wn(lf, exceeds); cm_w(lf, " unbacked=0 epoch=" as *u8); cm_wn(lf, sys_now_realtime_sec()); cm_w(lf, "\n" as *u8); sys_close(lf) } 110 return 0 111 } 112 cm_w(1, " verdict=RED (control-fail or unbacked-liar grade present)\n" as *u8) 113 if lf >= 0 { cm_w(lf, "CMCGATE verdict=RED unbacked=" as *u8); cm_wn(lf, unbacked); cm_w(lf, " ctl_pos=" as *u8); cm_wn(lf, cpos); cm_w(lf, " ctl_neg=" as *u8); cm_wn(lf, cneg); cm_w(lf, "\n" as *u8); sys_close(lf) } 114 return 1 115}