nx_nmz_index_gate.nx source

1// nx_nmz_index_gate.nx -- gate the content-addressed catalogue of liberated media. Ensures a book (FB2) + an audio 2// (M4B) .nmz exist, runs nx_nmz_index, and asserts the catalogue lists each with its sha256 CID + @kind + title. 3// GREEN = the format-liberation arc converges: every owned .nmz is a catalogued, content-addressed library object. 4// expect_exit: 0 license_tier: ORIGINAL 5import "nx_syscalls.nx" 6 7func gp(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } 8func gnum(v0: i64) -> i64 { var v: i64=v0; if v<0 { sys_write(1,"-" as *u8,1); v=0-v } let b: *u8=sys_mmap(24); var k: i64=0; if v==0 {b[0]=48 as u8;k=1} while v>0 {b[k]=(48+(v%10)) as u8; v=v/10; k=k+1} let o: *u8=sys_mmap(24); var j: i64=0; while j<k {o[j]=b[k-1-j];j=j+1} sys_write(1,o,k); return 0 } 9func ghas(hay: *u8, hl: i64, needle: *u8) -> i64 { 10 var nl: i64=0; while needle[nl]!=(0 as u8){nl=nl+1} 11 if nl == 0 { return 0 } 12 var i: i64 = 0 13 while i + nl <= hl { var k: i64=0; var hit: i64=1; while k<nl { if hay[i+k]!=needle[k]{hit=0;k=nl}else{k=k+1} } if hit==1 {return 1} i=i+1 } 14 return 0 15} 16func rd(path: *u8, lenp: *i64) -> *u8 { lenp[0]=0; return sys_read_file(path, lenp) } 17func spawn(path: *u8, a0: *u8, a1: *u8, redir: *u8) -> i64 { 18 let pid: i64 = sys_fork() 19 if pid == 0 { 20 let fd: i64 = sys_openat_wr(redir, 420) 21 if fd >= 0 { sys_dup3(fd, 1, 0); sys_dup3(fd, 2, 0) } 22 let argv: *i64 = sys_mmap(64) as *i64 23 var n: i64 = 0 24 argv[0] = path as i64; n = 1 25 if (a0 as i64) != 0 { argv[n] = a0 as i64; n = n + 1 } 26 if (a1 as i64) != 0 { argv[n] = a1 as i64; n = n + 1 } 27 argv[n] = 0 28 let envp: *i64 = sys_mmap(16) as *i64 29 envp[0] = "PATH=/usr/bin:/bin\x00" as *u8 as i64; envp[1] = 0 30 sys_execve(path, argv, envp) 31 sys_exit(127) 32 } 33 let st: *i64 = sys_mmap(16) as *i64 34 sys_wait4(pid, st, 0) 35 return (st[0] >> 8) & 0xff 36} 37 38func main() -> i64 { 39 gp("=== nx_nmz_index_gate: content-addressed catalogue of liberated media (the convergence capstone) ===\n" as *u8) 40 let RUNNER: *u8 = "_offc/nx_sov_build_run.elf\x00" as *u8 41 let SC: *u8 = "knowledge/status/nmz_index_scratch.log\x00" as *u8 42 43 // ensure a book (FB2) + an audio (M4B) .nmz exist 44 spawn(RUNNER, "nx_fb2_fixture\x00" as *u8, 0 as *u8, SC) 45 spawn(RUNNER, "nx_fb2_book\x00" as *u8, 0 as *u8, SC) 46 spawn(RUNNER, "nx_nmz_pack\x00" as *u8, 0 as *u8, SC) 47 spawn("_offc/nx_nmz_pack.elf\x00" as *u8, "nishi_fb2_fixture\x00" as *u8, "book\x00" as *u8, SC) 48 spawn(RUNNER, "nx_m4b_fixture\x00" as *u8, 0 as *u8, SC) 49 spawn(RUNNER, "nx_m4b_book\x00" as *u8, 0 as *u8, SC) 50 spawn("_offc/nx_nmz_pack.elf\x00" as *u8, "nishi_m4b_fixture\x00" as *u8, "audio\x00" as *u8, SC) 51 let rc: i64 = spawn(RUNNER, "nx_nmz_index\x00" as *u8, 0 as *u8, SC) 52 53 let li: *i64 = sys_mmap(8) as *i64; let ix: *u8 = rd("knowledge/staging/media/nmz_index.json\x00" as *u8, li); let in0: i64 = li[0] 54 gp(" rc_index=" as *u8); gnum(rc); gp(" nmz_index.json=" as *u8); gnum(in0); gp("B\n" as *u8) 55 56 var pass: i64 = 0; var fail: i64 = 0 57 if rc == 0 { pass=pass+1 } else { fail=fail+1; gp(" FAIL index-nonzero\n" as *u8) } 58 if (ix as i64)==0 { gp("NMZ-INDEX-GATE fail=1 verdict=RED no-index\n" as *u8); sys_exit(1); return 1 } 59 if ghas(ix, in0, "\"library\":\"nishi-liberated-media\"" as *u8)==1 { pass=pass+1 } else { fail=fail+1; gp(" FAIL no-library-header\n" as *u8) } 60 if ghas(ix, in0, "nxc1-05-" as *u8)==1 { pass=pass+1 } else { fail=fail+1; gp(" FAIL no-substrate-cid\n" as *u8) } 61 if ghas(ix, in0, "\"kind\":\"book\"" as *u8)==1 { pass=pass+1 } else { fail=fail+1; gp(" FAIL no-book-kind\n" as *u8) } 62 if ghas(ix, in0, "\"kind\":\"audio\"" as *u8)==1 { pass=pass+1 } else { fail=fail+1; gp(" FAIL no-audio-kind\n" as *u8) } 63 if ghas(ix, in0, "Alice (Nishi FB2 Fixture)" as *u8)==1 { pass=pass+1 } else { fail=fail+1; gp(" FAIL no-fb2-title\n" as *u8) } 64 if ghas(ix, in0, "The Hobbit (Nishi M4B Fixture)" as *u8)==1 { pass=pass+1 } else { fail=fail+1; gp(" FAIL no-m4b-title\n" as *u8) } 65 if ghas(ix, in0, "\"count\":" as *u8)==1 { pass=pass+1 } else { fail=fail+1; gp(" FAIL no-count\n" as *u8) } 66 67 gp("NMZ-INDEX-GATE pass=" as *u8); gnum(pass); gp(" fail=" as *u8); gnum(fail) 68 if fail == 0 { gp(" verdict=GREEN (every liberated .nmz cataloged with sha256 CID + @kind + title; book/comic/audio converge into one content-addressed library)\n" as *u8); sys_exit(0); return 0 } 69 gp(" verdict=RED\n" as *u8); sys_exit(1); return 1 70}