code wiki / _hdl_build / nx_chaos_pack.nx
nx_chaos_pack.nx source
↩ module page · 82 lines · 4364 B
1import "nx_gate_gn.nx"
2import "nx_gate_base.nx"
3// nx_chaos_pack.nx -- SOVEREIGN build orchestrator for the browser chaos sim: nx -> WAT -> WASM -> HTML via the
4// generic nx_sim_page packager (sys_fork/execve/wait4/dup3/openat/read_file). NO shell. CWD must be 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, a3: *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 if (a3 as i64) != 0 { argv[n] = a3 as i64; n = n + 1 }
29 argv[n] = 0
30 let envp: *i64 = sys_mmap(16) as *i64
31 envp[0] = "PATH=/usr/bin:/bin\x00" as *u8 as i64; envp[1] = 0
32 sys_execve(path, argv, envp)
33 sys_exit(127)
34 }
35 let st: *i64 = sys_mmap(16) as *i64
36 sys_wait4(pid, st, 0)
37 return (st[0] >> 8) & 0xff
38}
39func fsize(path: *u8) -> i64 {
40 let lp: *i64 = sys_mmap(8) as *i64; lp[0] = 0
41 let p: *u8 = sys_read_file(path, lp)
42 if (p as i64) == 0 { return -1 }
43 return lp[0]
44}
45
46func main() -> i64 {
47 gw("=== nx_chaos_pack: SOVEREIGN nx->wat->wasm->html via generic nx_sim_page (NO shell) ===\n")
48 let RUNNER: *u8 = "_offc/nx_sov_build_run.elf\x00" as *u8
49 let WAT_OUT: *u8 = "knowledge/nx_chaos.wat\x00" as *u8
50 let WASM_OUT: *u8 = "web_assets/nx_chaos.wasm\x00" as *u8
51 let HTML_OUT: *u8 = "knowledge/nx_chaos.html\x00" as *u8
52 let TITLE: *u8 = "Nishi Chaos -- deterministic chaos, bit-exact (sovereign WASM, no float)\x00" as *u8
53 let DESC: *u8 = "The logistic map x'=r x(1-x) at r=3.9. Two trajectories start ONE unit apart (blue, red): they track, then diverge exponentially -- the butterfly effect. The deep point: in integer/no-float arithmetic this chaotic sequence is BIT-EXACT reproducible (run it twice, identical) exactly where IEEE-754 float chaos diverges machine-to-machine. Validated by nx_chaos_gate.\x00" as *u8
54
55 gw(" [1] build sovereign tools via the runner...\n")
56 spawn(RUNNER, "nx_compile_wat\x00" as *u8, 0 as *u8, 0 as *u8, 0 as *u8, "/dev/null\x00" as *u8)
57 spawn(RUNNER, "nx_wat_compiler\x00" as *u8, 0 as *u8, 0 as *u8, 0 as *u8, "/dev/null\x00" as *u8)
58 spawn(RUNNER, "nx_sim_page\x00" as *u8, 0 as *u8, 0 as *u8, 0 as *u8, "/dev/null\x00" as *u8)
59
60 gw(" [2] nx -> wat\n")
61 let c1: i64 = spawn("/tmp/nx_compile_wat.sov.elf\x00" as *u8, "runtime/nx_chaos.nx\x00" as *u8, 0 as *u8, 0 as *u8, 0 as *u8, WAT_OUT)
62 gw(" rc="); gn(c1); gw(" wat_bytes="); gn(fsize(WAT_OUT)); gw("\n")
63
64 gw(" [3] wat -> wasm\n")
65 let c2: i64 = spawn("/tmp/nx_wat_compiler.sov.elf\x00" as *u8, WAT_OUT, WASM_OUT, 0 as *u8, 0 as *u8, 0 as *u8)
66 gw(" rc="); gn(c2); gw(" wasm_bytes="); gn(fsize(WASM_OUT)); gw("\n")
67
68 gw(" [4] wasm -> html (generic packager)\n")
69 let c3: i64 = spawn("/tmp/nx_sim_page.sov.elf\x00" as *u8, WASM_OUT, HTML_OUT, TITLE, DESC, 0 as *u8)
70 gw(" rc="); gn(c3); gw(" html_bytes="); gn(fsize(HTML_OUT)); gw("\n")
71
72 let wsz: i64 = fsize(WASM_OUT); let hsz: i64 = fsize(HTML_OUT)
73 let lp: *i64 = sys_mmap(8) as *i64; let wb: *u8 = sys_read_file(WASM_OUT, lp)
74 var magic_ok: i64 = 0
75 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 } } } } } }
76 gw(" wasm magic OK="); gn(magic_ok); gw(" wasm="); gn(wsz); gw("B html="); gn(hsz); gw("B\n")
77
78 var ok: i64 = 0
79 if magic_ok==1 { if hsz>K_MAGIC_2000 { ok=1 } }
80 if ok==1 { gw("CHAOS-PACK GREEN: sovereign wasm+html built (Nishi all the way up, no shell)\n"); sys_exit(0); return 0 }
81 gw("CHAOS-PACK RED\n"); sys_exit(1); return 1
82}