code wiki / _hdl_build / nx_doc_view_gate.nx
nx_doc_view_gate.nx source
↩ module page · 116 lines · 6653 B
1// nx_doc_view_gate.nx -- gate for the document-viewer DISPATCH (the browser omnitool core). Proves nx_doc_view
2// reads the registry (knowledge/doc_viewers.conf) and routes each extension to the right sovereign renderer,
3// producing inline 0-JS HTML: docx->nx_docx, md->nx_md, csv->nx_csv. Negative control: an unregistered extension
4// is refused (not silently mis-rendered). Requires the renderers blessed in _offc. license_tier: ORIGINAL
5import "nx_syscalls.nx"
6
7func gv_slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8) { n=n+1 } return n }
8func gv_p(s: *u8) -> i64 { sys_write(1, s, gv_slen(s)); return 0 }
9func gv_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 }
10func gv_catn(dst: *u8, off: i64, v: i64) -> i64 {
11 var o: i64=off; var m: i64=v; if m<0 { dst[o]=45 as u8; o=o+1; m=0-m }
12 let t: *u8=sys_mmap(28); var k: i64=0; if m==0 { t[0]=48 as u8; k=1 }
13 while m>0 { t[k]=(48+(m%10)) as u8; m=m/10; k=k+1 }
14 var i: i64=0; while i<k { dst[o+i]=t[k-1-i]; i=i+1 } return o+k
15}
16func gv_write(path: *u8, content: *u8) -> i64 {
17 let fd: i64=sys_openat_wr(path, 0x1a4); if fd<0 { return 0-1 }
18 sys_write(fd, content, gv_slen(content)); sys_close(fd); return 0
19}
20func gv_readall(path: *u8, szout: *i64) -> *u8 {
21 let fd: i64=sys_openat_rd(path); if fd<0 { szout[0]=0-1; return 0 as *u8 }
22 let buf: *u8=sys_mmap(4194304); var got: i64=0; var n: i64=1
23 while n>0 { n=sys_read(fd,(buf as i64+got) as *u8,131072); if n>0 { got=got+n } }
24 sys_close(fd); szout[0]=got; return buf
25}
26func gv_runv(elf: *u8, args: *i64, outpath: *u8) -> i64 {
27 let pid: i64=sys_fork()
28 if pid==0 {
29 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) } }
30 let argv: *i64=sys_mmap(128) as *i64
31 argv[0]=elf as i64; var i: i64=0; var go: i64=1
32 while go==1 { if args[i]==0 { go=0 } else { argv[i+1]=args[i]; i=i+1 } }
33 argv[i+1]=0
34 let envp: *i64=sys_mmap(16) as *i64; envp[0]=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)
38 let sig: i64=st[0]&0x7f; if sig!=0 { return 128+sig }
39 return (st[0]>>8)&0xff
40}
41func gv_has(path: *u8, needle: *u8) -> i64 {
42 let szp: *i64=sys_mmap(16) as *i64; let b: *u8=gv_readall(path, szp); let sz: i64=szp[0]
43 let n: i64=gv_slen(needle); if sz<n { return 0 }
44 var i: i64=0
45 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 }
46 return 0
47}
48func gv_args(a1: *u8, a2: *u8, a3: *u8) -> *i64 {
49 let a: *i64=sys_mmap(64) as *i64; a[0]=a1 as i64; a[1]=a2 as i64; a[2]=a3 as i64; a[3]=0; return a
50}
51func gv_row(name: *u8, pass: i64) -> i64 {
52 gv_p("ROW " as *u8); gv_p(name); if pass==1 { gv_p(" PASS\n" as *u8) } else { gv_p(" FAIL\n" as *u8) } return pass
53}
54
55func main(argc: i64, argv: *i64) -> i64 {
56 gv_p("=== DOC-VIEW DISPATCH GATE: browser omnitool -- registry routes docx/md/csv to renderers, inline HTML ===\n" as *u8)
57 let dv: *u8="/tmp/nx_doc_view.sov.elf" as *u8
58 let pr: i64=sys_openat_rd(dv)
59 if pr>=0 { sys_close(pr) } else {
60 gv_p(" instrument missing -> rebuilding\n" as *u8)
61 gv_runv("_offc/nx_sov_build_run.elf" as *u8, gv_args("nx_doc_view" as *u8, "--build-only" as *u8, 0 as *u8), "/tmp/dv_rebuild.out" as *u8)
62 }
63 // test inputs
64 gv_write("/tmp/dv_t.md" as *u8, "# Title\n\nHello **world** and *emphasis*.\n\n- one\n- two\n" as *u8)
65 gv_write("/tmp/dv_t.csv" as *u8, "Name,Role,City\nAlice,Lead,Denver\nBob,Eng,Provo\n" as *u8)
66 let docx: *u8="web_assets/vizsla_agreement_demo.docx" as *u8
67
68 var pass: i64=0; var r: i64=0
69
70 // row 1: markdown dispatch
71 let rc1: i64=gv_runv(dv, gv_args("/tmp/dv_t.md" as *u8, "/tmp/dv_md.html" as *u8, "/dv_t.md" as *u8), "/tmp/dv_r1.txt" as *u8)
72 r=0; if rc1==0 { if gv_has("/tmp/dv_r1.txt" as *u8, "DOC-VIEW-OK ext=md viewer=Markdown" as *u8)==1 { if gv_has("/tmp/dv_md.html" as *u8, "<h1>Title</h1>" as *u8)==1 { if gv_has("/tmp/dv_md.html" as *u8, "<b>world</b>" as *u8)==1 { r=1 } } } }
73 pass=pass+gv_row("md-dispatch" as *u8, r)
74
75 // row 2: csv dispatch
76 let rc2: i64=gv_runv(dv, gv_args("/tmp/dv_t.csv" as *u8, "/tmp/dv_csv.html" as *u8, "/dv_t.csv" as *u8), "/tmp/dv_r2.txt" as *u8)
77 r=0; if rc2==0 { if gv_has("/tmp/dv_r2.txt" as *u8, "DOC-VIEW-OK ext=csv" as *u8)==1 { if gv_has("/tmp/dv_csv.html" as *u8, "<th>Name</th>" as *u8)==1 { if gv_has("/tmp/dv_csv.html" as *u8, "<td>Denver</td>" as *u8)==1 { r=1 } } } }
78 pass=pass+gv_row("csv-dispatch" as *u8, r)
79
80 // row 3: docx dispatch
81 let rc3: i64=gv_runv(dv, gv_args("web_assets/vizsla_agreement_demo.docx" as *u8, "/tmp/dv_docx.html" as *u8, "/vizsla_agreement.docx" as *u8), "/tmp/dv_r3.txt" as *u8)
82 r=0; if rc3==0 { if gv_has("/tmp/dv_r3.txt" as *u8, "DOC-VIEW-OK ext=docx viewer=Word document" as *u8)==1 { if gv_has("/tmp/dv_docx.html" as *u8, "<h2>Venue Booking Agreement</h2>" as *u8)==1 { r=1 } } }
83 pass=pass+gv_row("docx-dispatch" as *u8, r)
84
85 // row 4: all outputs sovereign (0-JS)
86 r=1
87 if gv_has("/tmp/dv_md.html" as *u8, "<script" as *u8)==1 { r=0 }
88 if gv_has("/tmp/dv_csv.html" as *u8, "<script" as *u8)==1 { r=0 }
89 if gv_has("/tmp/dv_docx.html" as *u8, "<script" as *u8)==1 { r=0 }
90 pass=pass+gv_row("all-sovereign-0js" as *u8, r)
91
92 // row 5 (neg): unregistered extension refused
93 gv_write("/tmp/dv_t.xyz" as *u8, "nope\n" as *u8)
94 let rc5: i64=gv_runv(dv, gv_args("/tmp/dv_t.xyz" as *u8, "/tmp/dv_x.html" as *u8, 0 as *u8), "/tmp/dv_r5.txt" as *u8)
95 r=0; if rc5==3 { if gv_has("/tmp/dv_r5.txt" as *u8, "DOC-VIEW-UNSUPPORTED ext=xyz" as *u8)==1 { r=1 } }
96 pass=pass+gv_row("unsupported-refused" as *u8, r)
97
98 let permil: i64=(pass*1000)/5
99 let logfd: i64=sys_openat_append("knowledge/status/vizsla_gate.log" as *u8, 0x1a4)
100 var fdi: i64=0
101 while fdi<2 {
102 var fd: i64=1; if fdi==1 { fd=logfd }
103 if fd>0 {
104 let line: *u8=sys_mmap(256); var o: i64=0
105 o=gv_cat(line,o,"DOC-VIEW-GATE epoch=" as *u8); o=gv_catn(line,o,sys_now_realtime_sec())
106 o=gv_cat(line,o," rows=5 pass=" as *u8); o=gv_catn(line,o,pass)
107 o=gv_cat(line,o," permil=" as *u8); o=gv_catn(line,o,permil)
108 if pass==5 { o=gv_cat(line,o," verdict=GREEN\n" as *u8) } else { o=gv_cat(line,o," verdict=RED\n" as *u8) }
109 sys_write(fd, line, o)
110 }
111 fdi=fdi+1
112 }
113 if logfd>0 { sys_close(logfd) }
114 if pass==5 { return 0 }
115 return 1
116}