code wiki / _hdl_build / nx_roku_grid_gate.nx
nx_roku_grid_gate.nx source
↩ module page · 91 lines · 6602 B
1// nx_roku_grid_gate.nx -- SOVEREIGN liar-kill gate for nx_roku_grid_emit (R1). Drives the real grid emitter to a
2// test path, then re-proves the grid channel package ENTIRELY within Nishi (no python) via opc_read_part / raw
3// inspection: valid ZIP carrying the grid scene + item component + 6 poster stills; the GridScene actually wires
4// a MarkupGrid to a ContentNode catalog (MarkupGrid + itemComponentName + ContentNode + HDPOSTERURL); the item
5// component reads itemContent; a poster carries a valid PNG signature; and an unknown part returns <0.
6// (Structural proof; the on-TV render is device-verified.) GREEN iff 14/14. Requires /tmp/nx_roku_grid_emit.sov.elf.
7// Durable knowledge/status/roku_grid_gate.log. license_tier: ORIGINAL
8import "nx_syscalls.nx"
9import "nx_gate_emit_lib.nx"
10import "nx_opc.nx"
11
12func 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 }
13func 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 }
14func g_wn(fd: i64, v: i64) -> i64 { let bb: *u8=sys_mmap(28); var m: i64=v; 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 }
15func g_strlen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n }
16func g_read(path: *u8, buf: *u8, cap: i64) -> i64 {
17 let fd: i64=sys_openat_rd(path); if fd<0 { return 0 }
18 var total: i64=0; var nrd: i64=sys_read(fd, buf, cap)
19 while nrd>0 { total=total+nrd; if total>=cap { nrd=0 } else { nrd=sys_read(fd, ((buf as i64)+total) as *u8, cap-total) } }
20 sys_close(fd); return total
21}
22func g_contains(hay: *u8, n: i64, needle: *u8) -> i64 {
23 let nl: i64=g_strlen(needle); if nl==0 { return 0 }
24 var i: i64=0
25 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 }
26 return 0
27}
28func g_check(label: *u8, ok: i64) -> i64 { g_puts(label); if ok==1 { g_puts(" PASS\n" as *u8); return 1 } g_puts(" FAIL\n" as *u8); return 0 }
29func g_run(elf: *u8, args: *i64, nargs: i64, out_path: *u8) -> i64 {
30 let pid: i64=sys_fork()
31 if pid==0 {
32 let o: i64=sys_openat_wr(out_path, 0x1a4); if o>=0 { sys_dup3(o,1,0) }
33 let argv: *i64=sys_mmap(8*16) as *i64; argv[0]=elf as i64
34 var i: i64=0; while i<nargs { argv[1+i]=args[i]; i=i+1 } argv[1+nargs]=0
35 let envp: *i64=sys_mmap(16) as *i64; envp[0]="PATH=/usr/bin:/bin" as *u8 as i64; envp[1]=0
36 sys_execve(elf, argv, envp); sys_exit(127)
37 }
38 let st: *i64=sys_mmap(16) as *i64; sys_wait4(pid, st, 0); return (st[0]>>8)&0xff
39}
40// read a named part; return 1 if it contains needle
41func part_has(zip: *u8, part: *u8, needle: *u8) -> i64 {
42 let buf: *u8=sys_mmap(262144)
43 let n: i64=opc_read_part(zip, part, buf, 262144)
44 if n<0 { return 0 }
45 return g_contains(buf, n, needle)
46}
47
48func main() -> i64 {
49 g_puts("=== ROKU GRID GATE: sovereign re-proof of the catalog->grid channel (no python) ===\n" as *u8)
50 let EMIT: *u8="/tmp/nx_roku_grid_emit.sov.elf" as *u8
51 let ZIP: *u8="/tmp/roku_grid.zip" as *u8
52 let scr: *u8="/tmp/roku_grid_scratch.txt" as *u8
53 let a: *i64=sys_mmap(8*8) as *i64
54 a[0]=ZIP as i64
55 g_run(EMIT, a, 1, scr)
56
57 let zbuf: *u8=sys_mmap(524288)
58 let zn: i64=g_read(ZIP, zbuf, 524288)
59 var zmagic: i64=0
60 if zn>=4 { if zbuf[0]==(0x50 as u8) { if zbuf[1]==(0x4b as u8) { if zbuf[2]==(0x03 as u8) { if zbuf[3]==(0x04 as u8) { zmagic=1 } } } } }
61
62 let pbuf: *u8=sys_mmap(262144)
63 let pn: i64=opc_read_part(ZIP, "images/poster1.png" as *u8, pbuf, 262144)
64 var pngsig: i64=0
65 if pn>=8 { if pbuf[0]==(0x89 as u8) { if pbuf[1]==(0x50 as u8) { if pbuf[2]==(0x4e as u8) { if pbuf[3]==(0x47 as u8) { pngsig=1 } } } } }
66 let xbuf: *u8=sys_mmap(64)
67 let xn: i64=opc_read_part(ZIP, "does/not/exist" as *u8, xbuf, 64)
68
69 var pass: i64=0; let rows: i64=14
70 pass=pass+g_check(" R1 valid ZIP (PK\\x03\\x04)" as *u8, zmagic)
71 pass=pass+g_check(" R2 part: manifest" as *u8, g_contains(zbuf,zn,"manifest" as *u8))
72 pass=pass+g_check(" R3 part: source/main.brs" as *u8, g_contains(zbuf,zn,"source/main.brs" as *u8))
73 pass=pass+g_check(" R4 part: components/GridScene.xml" as *u8, g_contains(zbuf,zn,"components/GridScene.xml" as *u8))
74 pass=pass+g_check(" R5 part: components/PosterItem.xml" as *u8, g_contains(zbuf,zn,"components/PosterItem.xml" as *u8))
75 pass=pass+g_check(" R6 part: images/poster1.png" as *u8, g_contains(zbuf,zn,"images/poster1.png" as *u8))
76 pass=pass+g_check(" R7 part: images/poster6.png" as *u8, g_contains(zbuf,zn,"images/poster6.png" as *u8))
77 pass=pass+g_check(" R8 main.brs -> CreateScene GridScene" as *u8, part_has(ZIP,"source/main.brs" as *u8,"GridScene" as *u8))
78 pass=pass+g_check(" R9 GridScene -> MarkupGrid" as *u8, part_has(ZIP,"components/GridScene.xml" as *u8,"MarkupGrid" as *u8))
79 pass=pass+g_check(" R10 GridScene -> itemComponentName" as *u8, part_has(ZIP,"components/GridScene.xml" as *u8,"itemComponentName" as *u8))
80 pass=pass+g_check(" R11 GridScene -> ContentNode catalog" as *u8, part_has(ZIP,"components/GridScene.xml" as *u8,"ContentNode" as *u8))
81 pass=pass+g_check(" R12 GridScene -> HDPOSTERURL (poster model)" as *u8, part_has(ZIP,"components/GridScene.xml" as *u8,"HDPOSTERURL" as *u8))
82 pass=pass+g_check(" R13 PosterItem -> reads itemContent" as *u8, part_has(ZIP,"components/PosterItem.xml" as *u8,"itemContent" as *u8))
83 var more: i64=0; if pngsig==1 { if xn<0 { more=1 } }
84 pass=pass+g_check(" R14 poster PNG sig + liar-kill unknown<0" as *u8, more)
85
86 g_puts("----\nROKU-GRID rows=" as *u8); g_num(rows); g_puts(" pass=" as *u8); g_num(pass); g_puts(" zipbytes=" as *u8); g_num(zn); g_puts("\n" as *u8)
87 let lg: i64=sys_openat_append("knowledge/status/roku_grid_gate.log" as *u8, 0x1a4)
88 if lg>=0 { g_w(lg, "ROKU-GRID 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) }
89 if pass==rows { g_puts("ROKU-GRID GREEN (sovereign catalog->grid channel package proven without python)\n" as *u8); sys_exit(0); return 0 }
90 g_puts("ROKU-GRID RED\n" as *u8); sys_exit(1); return 1
91}