nx_auditor_test.nx source

1// nx_auditor_test.nx -- the Auditor audits the REAL stack and tells the honest sovereignty truth. The 2// key distinction the operator asked for: gcc used as a RACE COMPETITOR is demarcated (NOT a gap), but 3// gcc used as our ASSEMBLER+LINKER is a real DEPENDENCY (a gap). Same for python: a triangulation 4// REFERENCE / mock TEST_HARNESS is demarcated; a relied-on dependency would be a gap. Exit 0 on 6/6. 5// license_tier: ORIGINAL 6 7import "nx_auditor.nx" 8import "nx_syscalls.nx" 9 10func at_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 } 11func at_num(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 } 12 13func main() -> i64 { 14 at_puts("=== NISHI AUDITOR: what in the stack is sovereign vs demarcated-3rd-party vs a real dependency ===\n" as *u8) 15 let n: i64 = 12 16 let nm: *i64 = sys_mmap(8*16) as *i64 17 let st: *i64 = sys_mmap(8*16) as *i64 18 nm[0]="NishiLang capabilities (synth/search/SVD/web-builder)" as *u8 as i64; st[0]=AUD_SOVEREIGN 19 nm[1]="nx_http_server (sovereign serve)" as *u8 as i64; st[1]=AUD_SOVEREIGN 20 nm[2]="nx_browse_text (sovereign fetch)" as *u8 as i64; st[2]=AUD_SOVEREIGN 21 nm[3]="_offc/nx_cc_known_good.elf (self-hosted compiler)" as *u8 as i64; st[3]=AUD_SOVEREIGN 22 nm[4]="gcc -O2 as RACE competitor" as *u8 as i64; st[4]=AUD_COMPETITOR 23 nm[5]="clang as RACE competitor" as *u8 as i64; st[5]=AUD_COMPETITOR 24 nm[6]="python/numpy float REFERENCE (triangulation)" as *u8 as i64; st[6]=AUD_REFERENCE 25 nm[7]="python mock HTTP server (test fixture)" as *u8 as i64; st[7]=AUD_TEST_HARNESS 26 nm[8]="curl (cross-check the sovereign server)" as *u8 as i64; st[8]=AUD_TEST_HARNESS 27 nm[9]="gcc as ASSEMBLER+LINKER (.s -> .elf)" as *u8 as i64; st[9]=AUD_DEPENDENCY 28 nm[10]="bash runners (_run_*.sh orchestration)" as *u8 as i64; st[10]=AUD_DEPENDENCY 29 nm[11]="Linux kernel / WSL (syscalls)" as *u8 as i64; st[11]=AUD_SUBSTRATE 30 31 var i: i64 = 0 32 while i < n { 33 if aud_is_gap(st[i]) == 1 { at_puts(" [GAP] " as *u8) } else { if aud_is_sovereign(st[i]) == 1 { at_puts(" [SOV] " as *u8) } else { if st[i] == AUD_SUBSTRATE { at_puts(" [sub] " as *u8) } else { at_puts(" [3p ] " as *u8) } } } 34 at_puts(nm[i] as *u8); at_puts("\n" as *u8) 35 i = i + 1 36 } 37 let gaps: i64 = aud_gap_count(st, n) 38 let sov: i64 = aud_sovereignty_permil(st, n) 39 let pure: i64 = aud_pure_sovereign_permil(st, n) 40 at_puts("----\n sovereignty (non-dependency) = " as *u8); at_num(sov); at_puts("/1000 pure-NishiLang = " as *u8); at_num(pure); at_puts("/1000 real GAPS = " as *u8); at_num(gaps); at_puts("\n" as *u8) 41 at_puts(" THE DISTINCTION: gcc-as-COMPETITOR is demarcated (fine); gcc-as-ASSEMBLER is a DEPENDENCY (gap). The 2 gaps to close: own assembler/linker + sovereign runner.\n" as *u8) 42 43 let r: *i64 = sys_mmap(8*8) as *i64 44 r[0] = 0; if aud_is_gap(AUD_DEPENDENCY) == 1 { if aud_is_gap(AUD_COMPETITOR) == 0 { r[0] = 1 } } // the key distinction 45 r[1] = 0; if aud_is_demarcated(AUD_COMPETITOR) == 1 { if aud_is_demarcated(AUD_DEPENDENCY) == 0 { r[1] = 1 } } 46 r[2] = 0; if gaps == 2 { r[2] = 1 } // exactly 2 real dependencies 47 r[3] = 0; if st[9] == AUD_DEPENDENCY { if st[10] == AUD_DEPENDENCY { r[3] = 1 } } // gcc-assemble + bash are the gaps 48 r[4] = 0; if st[4] == AUD_COMPETITOR { if aud_ok(st[4]) == 1 { r[4] = 1 } } // gcc-RACE is NOT a gap (operator's concern) 49 r[5] = 0; if sov == 833 { if pure == 333 { r[5] = 1 } } // honest two-number sovereignty 50 var pass: i64 = 0; i = 0 51 while i < 6 { pass = pass + r[i]; i = i + 1 } 52 at_puts(" checks " as *u8); at_num(pass); at_puts("/6\n" as *u8) 53 if pass == 6 { at_puts(" AUDITED HONESTLY: capabilities are sovereign; gcc/clang/numpy/curl are DEMARCATED competitors/references/tests; the ONLY real 3rd-party DEPENDENCIES are gcc-as-assembler + bash-runners -- named, not hidden.\n" as *u8); sys_exit(0); return 0 } 54 at_puts(" FAIL\n" as *u8); sys_exit(1); return 1 55}