code wiki / _hdl_build / nx_charlab_pack.nx

nx_charlab_pack.nx source

↩ module page · 79 lines · 3786 B

1import "nx_gate_gn.nx" 2import "nx_gate_base.nx" 3// nx_charlab_pack.nx -- SOVEREIGN build orchestrator for CHARLAB: nx -> WAT -> WASM -> self-contained HTML, 4// via the Nishi ecosystem (fork/execve), NO shell. Clone of the proven physlab pack spine. CWD = nxc2. 5// license_tier: ORIGINAL expect_exit: 0 6import "nx_syscalls.nx" 7const K_MAGIC_2000: i64 = 2000 8 9func grow(name: *u8, ok: i64) -> i64 { if ok==1 { gw(" PASS " as *u8) } else { gw(" FAIL " as *u8) } gw(name); gw(" 10" as *u8); return ok } 11 12func spawn(path: *u8, a0: *u8, a1: *u8, a2: *u8, redir: *u8) -> i64 { 13 let pid: i64 = sys_fork() 14 if pid == 0 { 15 if (redir as i64) != 0 { 16 let fd: i64 = sys_openat_wr(redir, 420) 17 if fd >= 0 { sys_dup3(fd, 1, 0) } 18 } else { 19 let dn: i64 = sys_openat_wr("/dev/null\x00" as *u8, 420) 20 if dn >= 0 { sys_dup3(dn, 2, 0) } 21 } 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 if (a2 as i64) != 0 { argv[n] = a2 as i64; n = n + 1 } 28 argv[n] = 0 29 let envp: *i64 = sys_mmap(16) as *i64 30 envp[0] = "PATH=/usr/bin:/bin\x00" as *u8 as i64; envp[1] = 0 31 sys_execve(path, argv, envp) 32 sys_exit(127) 33 } 34 let st: *i64 = sys_mmap(16) as *i64 35 sys_wait4(pid, st, 0) 36 return (st[0] >> 8) & 0xff 37} 38func fsize(path: *u8) -> i64 { 39 let lp: *i64 = sys_mmap(8) as *i64; lp[0] = 0 40 let p: *u8 = sys_read_file(path, lp) 41 if (p as i64) == 0 { return -1 } 42 return lp[0] 43} 44 45func main() -> i64 { 46 gw("=== nx_charlab_pack: SOVEREIGN nx->wat->wasm->html (NO shell) ===\n") 47 let RUNNER: *u8 = "_offc/nx_sov_build_run.elf\x00" as *u8 48 let WAT_OUT: *u8 = "knowledge/nx_charlab.wat\x00" as *u8 49 let WASM_OUT: *u8 = "web_assets/nx_charlab.wasm\x00" as *u8 50 let HTML_OUT: *u8 = "knowledge/charlab.html\x00" as *u8 51 52 gw(" [1] build sovereign tools via the runner...\n") 53 spawn(RUNNER, "nx_compile_wat\x00" as *u8, "--build-only\x00" as *u8, 0 as *u8, "/dev/null\x00" as *u8) 54 spawn(RUNNER, "nx_wat_compiler\x00" as *u8, "--build-only\x00" as *u8, 0 as *u8, "/dev/null\x00" as *u8) 55 spawn(RUNNER, "nx_wasm_charlab_html\x00" as *u8, "--build-only\x00" as *u8, 0 as *u8, "/dev/null\x00" as *u8) 56 57 gw(" [2] nx -> wat\n") 58 let c1: i64 = spawn("/tmp/nx_compile_wat.sov.elf\x00" as *u8, "runtime/nx_wasm_charlab.nx\x00" as *u8, 0 as *u8, 0 as *u8, WAT_OUT) 59 gw(" rc="); gn(c1); gw(" wat_bytes="); gn(fsize(WAT_OUT)); gw("\n") 60 61 gw(" [3] wat -> wasm\n") 62 let c2: i64 = spawn("/tmp/nx_wat_compiler.sov.elf\x00" as *u8, WAT_OUT, WASM_OUT, 0 as *u8, 0 as *u8) 63 gw(" rc="); gn(c2); gw(" wasm_bytes="); gn(fsize(WASM_OUT)); gw("\n") 64 65 gw(" [4] wasm -> html (charlab packager)\n") 66 let c3: i64 = spawn("/tmp/nx_wasm_charlab_html.sov.elf\x00" as *u8, WASM_OUT, HTML_OUT, 0 as *u8, 0 as *u8) 67 gw(" rc="); gn(c3); gw(" html_bytes="); gn(fsize(HTML_OUT)); gw("\n") 68 69 let wsz: i64 = fsize(WASM_OUT); let hsz: i64 = fsize(HTML_OUT) 70 let lp: *i64 = sys_mmap(8) as *i64; let wb: *u8 = sys_read_file(WASM_OUT, lp) 71 var magic_ok: i64 = 0 72 if (wb as i64) != 0 { if lp[0] >= 8 { if wb[0]==(0 as u8) { if wb[1]==(0x61 as u8) { if wb[2]==(0x73 as u8) { if wb[3]==(0x6d as u8) { magic_ok=1 } } } } } } 73 gw(" wasm magic OK="); gn(magic_ok); gw(" wasm="); gn(wsz); gw("B html="); gn(hsz); gw("B\n") 74 75 var ok: i64 = 0 76 if magic_ok==1 { if hsz>K_MAGIC_2000 { ok=1 } } 77 if ok==1 { gw("CHARLAB-PACK GREEN: sovereign wasm+html built (Nishi all the way up, no shell)\n"); sys_exit(0); return 0 } 78 gw("CHARLAB-PACK RED\n"); sys_exit(1); return 1 79}