nx_mobi_cover_gate.nx source

1// nx_mobi_cover_gate.nx -- gate the EMBEDDED-cover extraction (operator: "we dont need it generate ... how does 2// calibre get all the book info ... i dont want to have internet connection"). The cover comes from the file ITSELF, 3// offline -- never generated, never downloaded. Grounded on the registered MOBI spec (mobileread-mobi-spec.ref): 4// First Image index @ MOBI-hdr 0x6c (rec0off+108); EXTH 201 coveroffset is ADDED to it to find the cover PDB record. 5// GREEN proves: (1) a MOBI carrying an embedded cover -> reader/<slug>/cover.gif extracted BYTE-EXACT (all 35 6// bytes of the real GIF, incl our navy color = it's THAT image, not random), (2) book.json cover wired to it, 7// (3) LIAR-KILL: a MOBI with NO embedded cover -> cover field stays "" and NO cover file is fabricated. 8// expect_exit: 0 license_tier: ORIGINAL 9import "nx_syscalls.nx" 10 11func gp(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } 12func 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 } 13func ghas(hay: *u8, hl: i64, needle: *u8) -> i64 { 14 var nl: i64=0; while needle[nl]!=(0 as u8){nl=nl+1} 15 if nl == 0 { return 0 } 16 var i: i64 = 0 17 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 } 18 return 0 19} 20func rd(path: *u8, lenp: *i64) -> *u8 { lenp[0]=0; return sys_read_file(path, lenp) } 21func spawn(path: *u8, a0: *u8, a1: *u8, redir: *u8) -> i64 { 22 let pid: i64 = sys_fork() 23 if pid == 0 { 24 let fd: i64 = sys_openat_wr(redir, 420) 25 if fd >= 0 { sys_dup3(fd, 1, 0); sys_dup3(fd, 2, 0) } 26 let argv: *i64 = sys_mmap(64) as *i64 27 var n: i64 = 0 28 argv[0] = path as i64; n = 1 29 if (a0 as i64) != 0 { argv[n] = a0 as i64; n = n + 1 } 30 if (a1 as i64) != 0 { argv[n] = a1 as i64; n = n + 1 } 31 argv[n] = 0 32 let envp: *i64 = sys_mmap(16) as *i64 33 envp[0] = "PATH=/usr/bin:/bin\x00" as *u8 as i64; envp[1] = 0 34 sys_execve(path, argv, envp) 35 sys_exit(127) 36 } 37 let st: *i64 = sys_mmap(16) as *i64 38 sys_wait4(pid, st, 0) 39 return (st[0] >> 8) & 0xff 40} 41 42func main() -> i64 { 43 gp("=== nx_mobi_cover_gate: EMBEDDED cover extracted from the file itself (offline, no generation, no download) ===\n" as *u8) 44 let RUNNER: *u8 = "_offc/nx_sov_build_run.elf\x00" as *u8 45 let MB: *u8 = "_offc/nx_mobi_book.elf\x00" as *u8 46 let SC: *u8 = "knowledge/status/mobi_cover_scratch.log\x00" as *u8 47 48 spawn(RUNNER, "nx_mobi_fixture_build\x00" as *u8, 0 as *u8, SC) // build nishi_mobi_cover.mobi 49 let rcc: i64 = spawn(MB, "knowledge/fixtures/nishi_mobi_cover.mobi\x00" as *u8, "nishi_mobi_cover_fixture\x00" as *u8, SC) 50 let rcn: i64 = spawn(MB, "knowledge/fixtures/nishi_mobi_fixture.mobi\x00" as *u8, "nishi_mobi_nocover_g\x00" as *u8, SC) // no embedded cover 51 52 // expected 35-byte embedded GIF (the cover the fixture wrote): GIF89a 1x1, color 0 = navy 1a2238, trailer 3b 53 let exp: *u8 = sys_mmap(64) 54 exp[0]=0x47 as u8;exp[1]=0x49 as u8;exp[2]=0x46 as u8;exp[3]=0x38 as u8;exp[4]=0x39 as u8;exp[5]=0x61 as u8 55 exp[6]=0x01 as u8;exp[7]=0x00 as u8;exp[8]=0x01 as u8;exp[9]=0x00 as u8;exp[10]=0x80 as u8;exp[11]=0x00 as u8;exp[12]=0x00 as u8 56 exp[13]=0x1a as u8;exp[14]=0x22 as u8;exp[15]=0x38 as u8;exp[16]=0xff as u8;exp[17]=0xff as u8;exp[18]=0xff as u8 57 exp[19]=0x2c as u8;exp[20]=0x00 as u8;exp[21]=0x00 as u8;exp[22]=0x00 as u8;exp[23]=0x00 as u8;exp[24]=0x01 as u8;exp[25]=0x00 as u8;exp[26]=0x01 as u8;exp[27]=0x00 as u8;exp[28]=0x00 as u8 58 exp[29]=0x02 as u8;exp[30]=0x02 as u8;exp[31]=0x44 as u8;exp[32]=0x01 as u8;exp[33]=0x00 as u8;exp[34]=0x3b as u8 59 60 let lc: *i64 = sys_mmap(8) as *i64; let gif: *u8 = rd("knowledge/staging/media/reader/nishi_mobi_cover_fixture/cover.gif\x00" as *u8, lc); let gn: i64 = lc[0] 61 let lj: *i64 = sys_mmap(8) as *i64; let bj: *u8 = rd("knowledge/staging/media/reader/nishi_mobi_cover_fixture/book.json\x00" as *u8, lj); let bn: i64 = lj[0] 62 let ln: *i64 = sys_mmap(8) as *i64; let nbj: *u8 = rd("knowledge/staging/media/reader/nishi_mobi_nocover_g/book.json\x00" as *u8, ln); let nbn: i64 = ln[0] 63 let lx: *i64 = sys_mmap(8) as *i64; let nogif: *u8 = rd("knowledge/staging/media/reader/nishi_mobi_nocover_g/cover.gif\x00" as *u8, lx); let nogn: i64 = lx[0] 64 65 var bytexact: i64 = 0 66 if (gif as i64) != 0 { if gn == 35 { bytexact = 1; var i: i64=0; while i<35 { if gif[i]!=exp[i] { bytexact=0; i=35 } else { i=i+1 } } } } 67 68 gp(" rc_cover=" as *u8); gnum(rcc); gp(" cover.gif=" as *u8); gnum(gn); gp("B byte_exact=" as *u8); gnum(bytexact) 69 gp(" | rc_nocover=" as *u8); gnum(rcn); gp(" nocover.gif_bytes=" as *u8); gnum(nogn); gp("\n" as *u8) 70 71 var pass: i64 = 0; var fail: i64 = 0 72 if rcc == 0 { pass=pass+1 } else { fail=fail+1; gp(" FAIL cover-decode-nonzero\n" as *u8) } 73 if (gif as i64) != 0 { if gn > 0 { pass=pass+1 } else { fail=fail+1; gp(" FAIL cover.gif-empty\n" as *u8) } } else { fail=fail+1; gp(" FAIL no-cover.gif-file\n" as *u8) } 74 if gn == 35 { pass=pass+1 } else { fail=fail+1; gp(" FAIL cover-wrong-length (extraction off)\n" as *u8) } 75 if bytexact == 1 { pass=pass+1 } else { fail=fail+1; gp(" FAIL cover NOT byte-exact (not the embedded image)\n" as *u8) } 76 if (gif as i64) != 0 { if gn >= 6 { if gif[0]==(0x47 as u8) { if gif[1]==(0x49 as u8) { if gif[2]==(0x46 as u8) { pass=pass+1 } else { fail=fail+1; gp(" FAIL no-GIF-magic\n" as *u8) } } else { fail=fail+1 } } else { fail=fail+1 } } } 77 if (bj as i64) != 0 { if ghas(bj, bn, "\"cover\":\"cover.gif\"" as *u8)==1 { pass=pass+1 } else { fail=fail+1; gp(" FAIL book.json cover not wired to cover.gif\n" as *u8) } } else { fail=fail+1; gp(" FAIL no-cover-book.json\n" as *u8) } 78 // richer EXTH metadata ("all the book info") extracted from the file into book.json 79 if (bj as i64) != 0 { if ghas(bj, bn, "\"publisher\":\"Nishi Press\"" as *u8)==1 { pass=pass+1 } else { fail=fail+1; gp(" FAIL publisher (EXTH 101) not extracted\n" as *u8) } } 80 if (bj as i64) != 0 { if ghas(bj, bn, "\"pubdate\":\"2026-06-23\"" as *u8)==1 { pass=pass+1 } else { fail=fail+1; gp(" FAIL pubdate (EXTH 106) not extracted\n" as *u8) } } 81 // description (EXTH 103) extracted + HTML STRIPPED (html_to_text), not dumped raw 82 if (bj as i64) != 0 { if ghas(bj, bn, "sample" as *u8)==1 { pass=pass+1 } else { fail=fail+1; gp(" FAIL description (EXTH 103) not extracted\n" as *u8) } } 83 if (bj as i64) != 0 { if ghas(bj, bn, "cover demo" as *u8)==1 { pass=pass+1 } else { fail=fail+1; gp(" FAIL description text incomplete\n" as *u8) } } 84 if (bj as i64) != 0 { if ghas(bj, bn, "<i>sample</i>" as *u8)==0 { pass=pass+1 } else { fail=fail+1; gp(" FAIL description HTML tags NOT stripped\n" as *u8) } } 85 // LIAR-KILL: a MOBI with no embedded cover must NOT fabricate one 86 if (nbj as i64) != 0 { if ghas(nbj, nbn, "\"cover\":\"\"" as *u8)==1 { pass=pass+1 } else { fail=fail+1; gp(" FAIL no-cover book got a FABRICATED cover (should be empty)\n" as *u8) } } else { fail=fail+1; gp(" FAIL no-cover-book.json\n" as *u8) } 87 if nogn <= 0 { pass=pass+1 } else { fail=fail+1; gp(" FAIL no-cover book wrote a cover.gif file (fabrication)\n" as *u8) } 88 89 gp("MOBI-COVER-GATE pass=" as *u8); gnum(pass); gp(" fail=" as *u8); gnum(fail) 90 if fail == 0 { gp(" verdict=GREEN (embedded cover read out of the file byte-exact + wired into book.json; no cover -> no fabrication; fully offline)\n" as *u8); sys_exit(0); return 0 } 91 gp(" verdict=RED\n" as *u8); sys_exit(1); return 1 92}