code wiki / _hdl_build / nx_xlsx_pivot_gate.nx
nx_xlsx_pivot_gate.nx source
↩ module page · 161 lines · 8905 B
1// nx_xlsx_pivot_gate.nx -- gate for PIVOT v1 (office census OF-S5, native-first): group-by aggregation over
2// the RESOLVED sheet (formula cells participate at computed values), SUM/COUNT/AVG + TOTAL, and pivothtml =
3// the standard 0-JS preview (pivot table + auto bar chart of Sum per group). In-file pivotTable parts +
4// drag-drop UI = named follow-ups, NOT claimed.
5// Rows: 1 pivot-pins 2 formula-values-pivot 3 pivothtml(table+chart pins) 4 neg-bad-column 5 neg-no-numeric
6// 6 outputs-0js+determinism 7 loud-fail-missing[neg]. license_tier: ORIGINAL
7import "nx_syscalls.nx"
8
9func vg_slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8) { n=n+1 } return n }
10func vg_p(s: *u8) -> i64 { sys_write(1, s, vg_slen(s)); return 0 }
11func vg_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 }
12func vg_catn(dst: *u8, off: i64, v: i64) -> i64 {
13 var o: i64=off; var m: i64=v; if m<0 { dst[o]=45 as u8; o=o+1; m=0-m }
14 let t: *u8=sys_mmap(28); var k: i64=0; if m==0 { t[0]=48 as u8; k=1 }
15 while m>0 { t[k]=(48+(m%10)) as u8; m=m/10; k=k+1 }
16 var i: i64=0; while i<k { dst[o+i]=t[k-1-i]; i=i+1 } return o+k
17}
18func vg_write(path: *u8, content: *u8) -> i64 {
19 let fd: i64=sys_openat_wr(path, 0x1a4); if fd<0 { return 0-1 }
20 sys_write(fd, content, vg_slen(content)); sys_close(fd); return 0
21}
22func vg_readall(path: *u8, szout: *i64) -> *u8 {
23 let fd: i64=sys_openat_rd(path); if fd<0 { szout[0]=0-1; return 0 as *u8 }
24 let buf: *u8=sys_mmap(4194304); var got: i64=0; var n: i64=1
25 while n>0 { n=sys_read(fd,(buf as i64+got) as *u8,131072); if n>0 { got=got+n } }
26 sys_close(fd); szout[0]=got; return buf
27}
28func vg_runv(elf: *u8, args: *i64, outpath: *u8) -> i64 {
29 let pid: i64=sys_fork()
30 if pid==0 {
31 if (outpath as i64)!=0 { let ofd: i64=sys_openat_wr(outpath,0x1a4); if ofd>=0 { sys_dup3(ofd,1,0); sys_dup3(ofd,2,0) } }
32 let argv: *i64=sys_mmap(128) as *i64
33 argv[0]=elf as i64; var i: i64=0; var go: i64=1
34 while go==1 { if args[i]==0 { go=0 } else { argv[i+1]=args[i]; i=i+1 } }
35 argv[i+1]=0
36 let envp: *i64=sys_mmap(16) as *i64; envp[0]=0
37 sys_execve(elf, argv, envp); sys_exit(127)
38 }
39 let st: *i64=sys_mmap(16) as *i64; sys_wait4(pid, st, 0)
40 let sig: i64=st[0]&0x7f; if sig!=0 { return 128+sig }
41 return (st[0]>>8)&0xff
42}
43func vg_has(path: *u8, needle: *u8) -> i64 {
44 let szp: *i64=sys_mmap(16) as *i64; let b: *u8=vg_readall(path, szp); let sz: i64=szp[0]
45 let n: i64=vg_slen(needle); if sz<n { return 0 }
46 var i: i64=0
47 while i+n<=sz { var ok: i64=1; var j: i64=0; while j<n { if b[i+j]!=needle[j] { ok=0; j=n } else { j=j+1 } } if ok==1 { return 1 } i=i+1 }
48 return 0
49}
50func vg_fileeq(p1: *u8, p2: *u8) -> i64 {
51 let s1: *i64=sys_mmap(16) as *i64
52 let s2: *i64=sys_mmap(16) as *i64
53 let b1: *u8=vg_readall(p1, s1)
54 let b2: *u8=vg_readall(p2, s2)
55 if s1[0] != s2[0] { return 0 }
56 if s1[0]<=0 { return 0 }
57 var i: i64=0
58 while i<s1[0] { if b1[i] != b2[i] { return 0 } i=i+1 }
59 return 1
60}
61func vg_args6(a1: *u8, a2: *u8, a3: *u8, a4: *u8, a5: *u8, a6: *u8) -> *i64 {
62 let a: *i64=sys_mmap(64) as *i64
63 a[0]=a1 as i64; a[1]=a2 as i64; a[2]=a3 as i64; a[3]=a4 as i64; a[4]=a5 as i64; a[5]=a6 as i64; a[6]=0
64 return a
65}
66func vg_row(name: *u8, pass: i64) -> i64 {
67 vg_p("ROW " as *u8); vg_p(name); if pass==1 { vg_p(" PASS\n" as *u8) } else { vg_p(" FAIL\n" as *u8) } return pass
68}
69
70func main(argc: i64, argv: *i64) -> i64 {
71 vg_p("=== XLSX PIVOT GATE (OF-S5 native-first): group-by SUM/COUNT/AVG + TOTAL over the resolved sheet; pivothtml w/ chart ===\n" as *u8)
72 let xl: *u8="/tmp/nx_xlsx.sov.elf" as *u8
73 let pr: i64=sys_openat_rd(xl)
74 if pr>=0 { sys_close(pr) } else {
75 vg_p(" instrument missing -> rebuilding\n" as *u8)
76 vg_runv("_offc/nx_sov_build_run.elf" as *u8, vg_args6("nx_xlsx" as *u8, "--build-only" as *u8, 0 as *u8, 0 as *u8, 0 as *u8, 0 as *u8), "/tmp/vg_rebuild.out" as *u8)
77 }
78
79 vg_write("/tmp/vg_exp.tsv" as *u8, "Item\x09Owner\x09Amount\nVenue\x09Alice\x09350\nCatering\x09Bob\x09480.25\nPhotos\x09Carol\x09300\nDecor\x09Alice\x09120\nMusic\x09Bob\x09200\n" as *u8)
80 vg_runv(xl, vg_args6("fromtsv" as *u8, "/tmp/vg_exp.tsv" as *u8, "/tmp/vg_exp.xlsx" as *u8, 0 as *u8, 0 as *u8, 0 as *u8), "/tmp/vg_w.txt" as *u8)
81
82 var pass: i64=0
83 var r: i64=0
84
85 // row 1: pivot by Owner(B) over Amount(C) -- pinned sums/counts/avgs + TOTAL
86 let rc1: i64=vg_runv(xl, vg_args6("pivot" as *u8, "/tmp/vg_exp.xlsx" as *u8, "B" as *u8, "C" as *u8, 0 as *u8, 0 as *u8), "/tmp/vg_r1.txt" as *u8)
87 r=0
88 if rc1==0 { if vg_has("/tmp/vg_r1.txt" as *u8, "Alice\x09470\x092\x09235" as *u8)==1 {
89 if vg_has("/tmp/vg_r1.txt" as *u8, "Bob\x09680.25\x092\x09340.125" as *u8)==1 {
90 if vg_has("/tmp/vg_r1.txt" as *u8, "Carol\x09300\x091\x09300" as *u8)==1 {
91 if vg_has("/tmp/vg_r1.txt" as *u8, "TOTAL\x091450.25\x095\x09290.05" as *u8)==1 { r=1 }
92 }
93 }
94 } }
95 pass=pass+vg_row("pivot-pins" as *u8, r)
96
97 // row 2: FORMULA cells pivot at their computed values
98 vg_write("/tmp/vg_f.tsv" as *u8, "K\x09G\x09V\nx\x09Alice\x09=100+25\ny\x09Bob\x09=2*50\n" as *u8)
99 vg_runv(xl, vg_args6("fromtsv" as *u8, "/tmp/vg_f.tsv" as *u8, "/tmp/vg_f.xlsx" as *u8, 0 as *u8, 0 as *u8, 0 as *u8), "/tmp/vg_w2.txt" as *u8)
100 let rc2: i64=vg_runv(xl, vg_args6("pivot" as *u8, "/tmp/vg_f.xlsx" as *u8, "B" as *u8, "C" as *u8, 0 as *u8, 0 as *u8), "/tmp/vg_r2.txt" as *u8)
101 r=0
102 if rc2==0 { if vg_has("/tmp/vg_r2.txt" as *u8, "Alice\x09125\x091\x09125" as *u8)==1 {
103 if vg_has("/tmp/vg_r2.txt" as *u8, "TOTAL\x09225\x092\x09112.5" as *u8)==1 { r=1 }
104 } }
105 pass=pass+vg_row("formula-values-pivot" as *u8, r)
106
107 // row 3: pivothtml = pivot table + auto chart (Sum column; TOTAL is the 100% bar, Alice 470/1450.25 = 32%)
108 let rc3: i64=vg_runv(xl, vg_args6("pivothtml" as *u8, "/tmp/vg_exp.xlsx" as *u8, "B" as *u8, "C" as *u8, "/tmp/vg_p.html" as *u8, "/sample.xlsx" as *u8), "/tmp/vg_r3.txt" as *u8)
109 r=0
110 if rc3==0 { if vg_has("/tmp/vg_p.html" as *u8, "<th>Group</th>" as *u8)==1 {
111 if vg_has("/tmp/vg_p.html" as *u8, "<td>340.125</td>" as *u8)==1 {
112 if vg_has("/tmp/vg_p.html" as *u8, "style=\"width:32%\">470</div>" as *u8)==1 {
113 if vg_has("/tmp/vg_p.html" as *u8, "style=\"width:100%\">1450.25</div>" as *u8)==1 { r=1 }
114 }
115 }
116 } }
117 pass=pass+vg_row("pivothtml-table-chart" as *u8, r)
118
119 // row 4 (neg): bad column letter loud-fails
120 let rc4: i64=vg_runv(xl, vg_args6("pivot" as *u8, "/tmp/vg_exp.xlsx" as *u8, "7" as *u8, "C" as *u8, 0 as *u8, 0 as *u8), "/tmp/vg_r4.txt" as *u8)
121 r=0
122 if rc4==1 { if vg_has("/tmp/vg_r4.txt" as *u8, "XLSX-PIVOT-FAIL bad-group-column" as *u8)==1 { r=1 } }
123 pass=pass+vg_row("neg-bad-column" as *u8, r)
124
125 // row 5 (neg): pivoting a TEXT value column loud-fails (no numeric rows)
126 let rc5: i64=vg_runv(xl, vg_args6("pivot" as *u8, "/tmp/vg_exp.xlsx" as *u8, "B" as *u8, "A" as *u8, 0 as *u8, 0 as *u8), "/tmp/vg_r5.txt" as *u8)
127 r=0
128 if rc5==1 { if vg_has("/tmp/vg_r5.txt" as *u8, "XLSX-PIVOT-FAIL no-numeric-rows" as *u8)==1 { r=1 } }
129 pass=pass+vg_row("neg-no-numeric" as *u8, r)
130
131 // row 6: 0-JS + determinism
132 vg_runv(xl, vg_args6("pivothtml" as *u8, "/tmp/vg_exp.xlsx" as *u8, "B" as *u8, "C" as *u8, "/tmp/vg_p2.html" as *u8, "/sample.xlsx" as *u8), "/tmp/vg_r6.txt" as *u8)
133 r=0
134 if vg_has("/tmp/vg_p.html" as *u8, "<script" as *u8)==0 { if vg_fileeq("/tmp/vg_p.html" as *u8, "/tmp/vg_p2.html" as *u8)==1 { r=1 } }
135 pass=pass+vg_row("0js-determinism" as *u8, r)
136
137 // row 7 (neg): missing workbook loud-fails
138 let rc7: i64=vg_runv(xl, vg_args6("pivot" as *u8, "/tmp/vg_nope.xlsx" as *u8, "B" as *u8, "C" as *u8, 0 as *u8, 0 as *u8), "/tmp/vg_r7.txt" as *u8)
139 r=0
140 if rc7==1 { if vg_has("/tmp/vg_r7.txt" as *u8, "XLSX-PIVOT-FAIL cannot-read" as *u8)==1 { r=1 } }
141 pass=pass+vg_row("loud-fail-missing" as *u8, r)
142
143 let permil: i64=(pass*1000)/7
144 let logfd: i64=sys_openat_append("knowledge/status/vizsla_gate.log" as *u8, 0x1a4)
145 var fdi: i64=0
146 while fdi<2 {
147 var fd: i64=1; if fdi==1 { fd=logfd }
148 if fd>0 {
149 let line: *u8=sys_mmap(256); var o: i64=0
150 o=vg_cat(line,o,"XLSX-PIVOT-GATE epoch=" as *u8); o=vg_catn(line,o,sys_now_realtime_sec())
151 o=vg_cat(line,o," rows=7 pass=" as *u8); o=vg_catn(line,o,pass)
152 o=vg_cat(line,o," permil=" as *u8); o=vg_catn(line,o,permil)
153 if pass==7 { o=vg_cat(line,o," verdict=GREEN\n" as *u8) } else { o=vg_cat(line,o," verdict=RED\n" as *u8) }
154 sys_write(fd, line, o)
155 }
156 fdi=fdi+1
157 }
158 if logfd>0 { sys_close(logfd) }
159 if pass==7 { return 0 }
160 return 1
161}