nx_xlsx_gate.nx source

1// nx_xlsx_gate.nx -- proves sovereign .xlsx (SpreadsheetML) interop by driving the REAL /tmp/nx_xlsx.sov.elf 2// fully within the Nishi ecosystem (the gate authors the TSV itself via syscalls): 3// ROUND-TRIP : a tab grid -> .xlsx -> read back -> the grid is recovered (string cells incl '&', numeric cells) 4// TYPING : a number is stored as a NUMERIC <v> cell (so Excel can sum it), not text 5// STRUCTURE : the file is a valid ZIP (PK\x03\x04) carrying the 5 SpreadsheetML OPC parts 6// GREEN iff 8/8. Requires /tmp/nx_xlsx.sov.elf. Durable knowledge/status/xlsx_gate.log. license_tier: ORIGINAL 7import "nx_syscalls.nx" 8 9func g_puts(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } 10func g_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 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(1,bb,k); return 0 } 11func g_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 } 12func g_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 } 13func g_strlen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n } 14func g_cat(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 } 15func g_read(path: *u8, buf: *u8, cap: i64) -> i64 { 16 let fd: i64=sys_openat_rd(path); if fd<0 { return 0 } 17 var total: i64=0; var nrd: i64=sys_read(fd, buf, cap) 18 while nrd>0 { total=total+nrd; if total>=cap { nrd=0 } else { nrd=sys_read(fd, ((buf as i64)+total) as *u8, cap-total) } } 19 sys_close(fd); return total 20} 21func g_contains(hay: *u8, n: i64, needle: *u8) -> i64 { 22 let nl: i64=g_strlen(needle); if nl==0 { return 0 } 23 var i: i64=0 24 while i+nl<=n { var j: i64=0; var hit: i64=1; while j<nl { if hay[i+j]!=needle[j] { hit=0; j=nl } else { j=j+1 } } if hit==1 { return 1 } i=i+1 } 25 return 0 26} 27func g_run(elf: *u8, args: *i64, nargs: i64, out_path: *u8) -> i64 { 28 let pid: i64=sys_fork() 29 if pid==0 { 30 let o: i64=sys_openat_wr(out_path, 0x1a4); if o>=0 { sys_dup3(o,1,0) } 31 let argv: *i64=sys_mmap(8*16) as *i64 32 argv[0]=elf as i64 33 var i: i64=0; while i<nargs { argv[1+i]=args[i]; i=i+1 } argv[1+nargs]=0 34 let envp: *i64=sys_mmap(16) as *i64; envp[0]="PATH=/usr/bin:/bin" as *u8 as i64; envp[1]=0 35 sys_execve(elf, argv, envp); sys_exit(127) 36 } 37 let st: *i64=sys_mmap(16) as *i64; sys_wait4(pid, st, 0); return (st[0]>>8)&0xff 38} 39// author an estate-schedule TSV (header + 3 rows; a '&' in row 1, numeric values) 40func g_write_tsv(path: *u8) -> i64 { 41 let b: *u8=sys_mmap(4096); var o: i64=0 42 o=g_cat(b,o,"Asset" as *u8); b[o]=9 as u8; o=o+1; o=g_cat(b,o,"Description" as *u8); b[o]=9 as u8; o=o+1; o=g_cat(b,o,"Value" as *u8); b[o]=9 as u8; o=o+1; o=g_cat(b,o,"Beneficiary" as *u8); b[o]=10 as u8; o=o+1 43 o=g_cat(b,o,"House" as *u8); b[o]=9 as u8; o=o+1; o=g_cat(b,o,"123 Main St & garden" as *u8); b[o]=9 as u8; o=o+1; o=g_cat(b,o,"510000" as *u8); b[o]=9 as u8; o=o+1; o=g_cat(b,o,"Sarah Heir" as *u8); b[o]=10 as u8; o=o+1 44 o=g_cat(b,o,"Car" as *u8); b[o]=9 as u8; o=o+1; o=g_cat(b,o,"Tesla Model 3" as *u8); b[o]=9 as u8; o=o+1; o=g_cat(b,o,"35000" as *u8); b[o]=9 as u8; o=o+1; o=g_cat(b,o,"Sam Heir" as *u8); b[o]=10 as u8; o=o+1 45 o=g_cat(b,o,"Savings" as *u8); b[o]=9 as u8; o=o+1; o=g_cat(b,o,"Vanguard account" as *u8); b[o]=9 as u8; o=o+1; o=g_cat(b,o,"220000" as *u8); b[o]=9 as u8; o=o+1; o=g_cat(b,o,"Sarah Heir" as *u8); b[o]=10 as u8; o=o+1 46 let fd: i64=sys_openat_wr(path, 0x1a4); if fd<0 { return 0-1 } 47 sys_write(fd, b, o); sys_close(fd); return o 48} 49 50func main() -> i64 { 51 g_puts("=== XLSX (SpreadsheetML) GATE: sovereign grid round-trip + numeric typing + valid OPC ===\n" as *u8) 52 // The writer under test is the FRESH build when one exists (the ship's prove stage builds the target first: 53 // buildroot/_build/ from the nishihost root, _build/ from the nxc2 root), and only then the /tmp artifact of 54 // the original hand-run contract. Measured 2026-09-02: hardcoding /tmp made every tooth read NO at ship time 55 // because nothing had built to /tmp -- a missing fixture wearing a RED verdict. A gate that cannot find its 56 // subject says so and abstains (exit 3), never convicts. 57 var XLSX: *u8="buildroot/_build/nx_xlsx.sov.elf" as *u8 58 var xfd: i64=sys_openat_rd(XLSX) 59 if xfd<0 { XLSX="_build/nx_xlsx.sov.elf" as *u8; xfd=sys_openat_rd(XLSX) } 60 if xfd<0 { XLSX="/tmp/nx_xlsx.sov.elf" as *u8; xfd=sys_openat_rd(XLSX) } 61 if xfd<0 { g_puts("XLSX SKIP: no writer artifact at buildroot/_build/, _build/ or /tmp/nx_xlsx.sov.elf -- build nx_xlsx first; nothing was proven 62" as *u8); return 3 } 63 sys_close(xfd) 64 g_puts(" writer=" as *u8); g_puts(XLSX); g_puts(" 65" as *u8) 66 let TSV: *u8="/tmp/xlsx_gate.tsv" as *u8 67 let OUT: *u8="/tmp/xlsx_gate.xlsx" as *u8 68 let scr: *u8="/tmp/xlsx_gate_scratch.txt" as *u8 69 let obuf: *u8=sys_mmap(1048576) 70 let a: *i64=sys_mmap(8*8) as *i64 71 72 g_write_tsv(TSV) 73 a[0]="fromtsv" as *u8 as i64; a[1]=TSV as i64; a[2]=OUT as i64 74 g_run(XLSX, a, 3, scr) 75 // read it back 76 a[0]="read" as *u8 as i64; a[1]=OUT as i64 77 g_run(XLSX, a, 2, scr); var rn: i64=g_read(scr, obuf, 1048576) 78 79 var pass: i64=0; let rows: i64=8 80 g_puts(" R1 round-trip header ('Asset' + 'Beneficiary')? " as *u8); if g_contains(obuf,rn,"Asset" as *u8)==1 { if g_contains(obuf,rn,"Beneficiary" as *u8)==1 { pass=pass+1; g_puts("YES PASS\n" as *u8) } else { g_puts("NO FAIL\n" as *u8) } } else { g_puts("NO FAIL\n" as *u8) } 81 g_puts(" R2 string cell with '&' round-trips ('123 Main St & garden')? " as *u8); if g_contains(obuf,rn,"123 Main St & garden" as *u8)==1 { pass=pass+1; g_puts("YES PASS\n" as *u8) } else { g_puts("NO FAIL\n" as *u8) } 82 g_puts(" R3 numeric cell round-trips ('510000')? " as *u8); if g_contains(obuf,rn,"510000" as *u8)==1 { pass=pass+1; g_puts("YES PASS\n" as *u8) } else { g_puts("NO FAIL\n" as *u8) } 83 g_puts(" R4 all rows present ('Sam Heir' + 'Vanguard account')? " as *u8); if g_contains(obuf,rn,"Sam Heir" as *u8)==1 { if g_contains(obuf,rn,"Vanguard account" as *u8)==1 { pass=pass+1; g_puts("YES PASS\n" as *u8) } else { g_puts("NO FAIL\n" as *u8) } } else { g_puts("NO FAIL\n" as *u8) } 84 85 var fn: i64=g_read(OUT, obuf, 1048576) 86 g_puts(" R5 valid ZIP: begins with PK\\x03\\x04? " as *u8); if fn>=4 { if obuf[0]==(0x50 as u8) { if obuf[1]==(0x4b as u8) { if obuf[2]==(3 as u8) { if obuf[3]==(4 as u8) { pass=pass+1; g_puts("YES PASS\n" as *u8) } else { g_puts("NO FAIL\n" as *u8) } } else { g_puts("NO FAIL\n" as *u8) } } else { g_puts("NO FAIL\n" as *u8) } } else { g_puts("NO FAIL\n" as *u8) } } else { g_puts("NO FAIL\n" as *u8) } 87 g_puts(" R6 has part xl/worksheets/sheet1.xml? " as *u8); if g_contains(obuf,fn,"xl/worksheets/sheet1.xml" as *u8)==1 { pass=pass+1; g_puts("YES PASS\n" as *u8) } else { g_puts("NO FAIL\n" as *u8) } 88 g_puts(" R7 has part xl/workbook.xml? " as *u8); if g_contains(obuf,fn,"xl/workbook.xml" as *u8)==1 { pass=pass+1; g_puts("YES PASS\n" as *u8) } else { g_puts("NO FAIL\n" as *u8) } 89 g_puts(" R8 number stored as NUMERIC cell (<v>510000</v>, not inlineStr)? " as *u8); if g_contains(obuf,fn,"<v>510000</v>" as *u8)==1 { pass=pass+1; g_puts("YES PASS\n" as *u8) } else { g_puts("NO FAIL\n" as *u8) } 90 91 g_puts("----\nXLSX rows=" as *u8); g_num(rows); g_puts(" pass=" as *u8); g_num(pass); g_puts("\n" as *u8) 92 let lg: i64=sys_openat_append("knowledge/status/xlsx_gate.log" as *u8, 0x1a4) 93 if lg>=0 { g_w(lg, "XLSX rows=" as *u8); g_wn(lg, rows); g_w(lg, " pass=" as *u8); g_wn(lg, pass); if pass==rows { g_w(lg, " verdict=GREEN\n" as *u8) } else { g_w(lg, " verdict=RED\n" as *u8) } sys_close(lg) } 94 if pass==rows { g_puts("XLSX GREEN (sovereign read/write of a valid, Excel-openable .xlsx with numeric typing)\n" as *u8); sys_exit(0); return 0 } 95 g_puts("XLSX RED\n" as *u8); sys_exit(1); return 1 96}