nx_ereader_spec_synth.nx source

1// nx_ereader_spec_synth.nx -- the team SYNTHESIZES the S-class e-reader spec from its OWN cataloged research 2// (knowledge/research/2026-06-05-sovereign-ereader.md, ingested). Runs the mechanized layered synthesis 3// (nx_spec_layers) over the 5 e-reader layers with the 3-vote corroboration counts, producing a build-ordered 4// spec and flagging the layer with 0 corroborated evidence (comic PANEL guided-view) as a RAISED HAND. 5// Exit 0 iff the synthesis is correct + honest. 6import "nx_spec_layers.nx" 7import "nx_syscalls.nx" 8 9func tp(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } 10func tn(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;k=1}; while m>0{t[k]=48+(m%10);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 } 11 12func lname(i: i64) -> *u8 { 13 if i == 0 { return "CONVERSION (EPUB/comic/PDF -> Nishi format; needs DEFLATE inflate C1)" as *u8 } 14 if i == 1 { return "FORMAT (RWPM core metadata+links+readingOrder + Locator/CFI + content-addressing)" as *u8 } 15 if i == 2 { return "PANEL (comic guided-view / smart panel detection, webtoon scroll)" as *u8 } 16 if i == 3 { return "RENDER (two renderers: CSS-multicolumn paginator + fixed-layout for PDF/CBZ)" as *u8 } 17 return "SYNC (cross-device position+annotation via Locator/CFI, content-addressed)" as *u8 18} 19 20func main() -> i64 { 21 tp("=== TEAM SYNTHESIZES the S-class e-reader spec from its OWN ingested research ===\n" as *u8) 22 let N: i64 = 5 23 // CONV FORMAT PANEL RENDER SYNC 24 let corrob: *i64 = sys_mmap(8*N) as *i64; corrob[0]=1; corrob[1]=3; corrob[2]=0; corrob[3]=2; corrob[4]=1 25 let cstage: *i64 = sys_mmap(8*N) as *i64; cstage[0]=SS_INGEST; cstage[1]=SS_STRUCTURED; cstage[2]=SS_STRUCTURED; cstage[3]=SS_MEANINGFUL; cstage[4]=SS_ACTIONABLE 26 let depth: *i64 = sys_mmap(8*N) as *i64; depth[0]=0; depth[1]=0; depth[2]=1; depth[3]=1; depth[4]=2 27 28 let rank: *i64 = sys_mmap(8*N) as *i64 29 var i: i64 = 0 30 while i < N { rank[i] = ss_build_rank(cstage[i], depth[i]); i = i + 1 } 31 let order: *i64 = sys_mmap(8*N) as *i64 32 ss_order_build(rank, N, order) 33 34 tp(" SYNTHESIZED SPEC (build order = charter ladder, foundational first):\n" as *u8) 35 var step: i64 = 1; var k: i64 = 0 36 while k < N { 37 let li: i64 = order[k] 38 let stt: i64 = ss_status(corrob[li]) 39 tp(" " as *u8) 40 if stt == SS_GAP { tp("[RAISED HAND] " as *u8) } else { tp("[" as *u8); tn(step); tp("] " as *u8); step = step + 1 } 41 tp(lname(li)); tp(" (evidence=" as *u8); tn(corrob[li]); tp(")\n" as *u8) 42 k = k + 1 43 } 44 45 let gaps: i64 = ss_count_gaps(corrob, N) 46 let exceed: i64 = ss_exceed_by_unification(1, 1, 1) // one reader covers format+conversion+render 47 let admissible: i64 = ss_spec_admissible(corrob, N, gaps) 48 tp("----\n raised-hands(gaps)=" as *u8); tn(gaps); tp(" exceed-by-unification=" as *u8); tn(exceed); tp(" admissible=" as *u8); tn(admissible); tp("\n" as *u8) 49 50 var ok: i64 = 1 51 if ss_status(corrob[2]) != SS_GAP { ok = 0 } // PANEL = raised hand (0 evidence) 52 if ss_status(corrob[1]) != SS_READY { ok = 0 } // FORMAT ready (RWPM/Locator/CFI corroborated) 53 if order[0] != 0 { ok = 0 } // CONVERSION (ingest) first 54 if order[1] != 1 { ok = 0 } // FORMAT second 55 if gaps != 1 { ok = 0 } // exactly one raised hand (PANEL) 56 if exceed != 1 { ok = 0 } 57 if admissible != 1 { ok = 0 } 58 if ok == 1 { 59 tp(" PROVEN: team synthesized a build-ordered e-reader spec from corroborated research; flagged the comic\n" as *u8) 60 tp(" PANEL guided-view as a raised hand (0 evidence -- needs its own research); exceed-by-unification holds.\n" as *u8) 61 sys_exit(0); return 0 62 } 63 tp(" FAIL\n" as *u8); sys_exit(1); return 1 64}