nx_scratch_wasm_gate.nx source

1// nx_scratch_wasm_gate.nx -- R0.0b gate, NISHI all the way up. Forks the sovereign compiler ELFs to build 2// nx_scratch_probe.nx -> wasm, then EXECUTES it in the sovereign nx_wasm_vm and checks that the WASM-lane 3// nx_scratch hands out DISTINCT framed buffers (sp_probe == 1496014960, sp_gap == 128). Proves native<->wasm 4// scratch parity -- the multi-word-local idiom now works in the browser lane, no [i64;N] compiler feature. 5// license_tier: ORIGINAL (build-fork spine from nx_aw_push; VM-verify spine from nx_sha256_wasm_vm_gate) 6import "nx_syscalls.nx" 7import "nx_gate_emit_lib.nx" 8import "nx_wasm_vm.nx" 9import "nx_gate_verdict.nx" 10 11const CWAT_ELF: *u8 = "/tmp/nx_compile_wat.sov.elf" 12const WATC_ELF: *u8 = "/tmp/nx_wat_compiler.sov.elf" 13const SRC_NX: *u8 = "/mnt/c/Users/elder/nishi-core/nxc2/runtime/nx_scratch_probe.nx" 14const OUT_WAT: *u8 = "/tmp/scr.wat" 15const OUT_WASM: *u8 = "/tmp/scr.wasm" 16const KAT_PROBE: i64 = 1496014960 17const KAT_GAP: i64 = 128 18 19func run_elf(elf: *u8, a1: *u8, a2: *u8) -> i64 { 20 let pid: i64 = sys_fork() 21 if pid == 0 { 22 let argv: *i64 = sys_mmap(64) as *i64 23 argv[0] = elf as i64 24 var ai: i64 = 1 25 if (a1 as i64) != 0 { argv[ai] = a1 as i64; ai = ai + 1 } 26 if (a2 as i64) != 0 { argv[ai] = a2 as i64; ai = ai + 1 } 27 argv[ai] = 0 28 let envp: *i64 = sys_mmap(16) as *i64 29 envp[0] = "PATH=/usr/bin:/bin" as *u8 as i64 30 envp[1] = 0 31 sys_execve(elf, 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} 38 39func main() -> i64 { 40 g_puts("nx_scratch WASM gate (sovereign compile -> nx_wasm_vm -> framed-scratch parity)\n" as *u8) 41 var pass: i64 = 0 42 var total: i64 = 0 43 44 let rc1: i64 = run_elf(CWAT_ELF, SRC_NX, OUT_WAT) 45 g_puts(" [build] nx_compile_wat rc=" as *u8); g_pn(rc1); g_puts("\n" as *u8) 46 let rc2: i64 = run_elf(WATC_ELF, OUT_WAT, OUT_WASM) 47 g_puts(" [build] nx_wat_compiler rc=" as *u8); g_pn(rc2); g_puts("\n" as *u8) 48 49 let box: *i64 = sys_mmap(16) as *i64 50 let wasm: *u8 = sys_read_file(OUT_WASM, box) 51 if (wasm as i64) == 0 { g_puts(" FAIL cannot read scr.wasm\nverdict=RED\n" as *u8); sys_exit(1); return 1 } 52 g_puts(" [measure] wasm bytes=" as *u8); g_pn(box[0]); g_puts("\n" as *u8) 53 let mod: *WasmMod = wm_new(wasm, box[0]) 54 if wm_parse(mod) != 0 { g_puts(" FAIL wasm parse\nverdict=RED\n" as *u8); sys_exit(1); return 1 } 55 mod.mem = sys_mmap(2162688) as *u8 // >2 MiB: the scratch arena lives high in linear memory 56 57 let fidx: i64 = wm_find_export(mod, "sp_probe" as *u8) 58 g_puts(" [measure] funcs=" as *u8); g_pn(mod.n_funcs); g_puts(" exports=" as *u8); g_pn(mod.n_exports); g_puts(" sp_probe fidx=" as *u8); g_pn(fidx); g_puts("\n" as *u8) 59 pass = pass + g_check("nx_scratch organ compiled to wasm + sp_probe exported" as *u8, fidx >= 0) 60 total = total + 1 61 62 let g: i64 = wm_run(mod, "sp_gap" as *u8, 0, 0, 0, 0, 0, 0) 63 g_puts(" [measure] sp_gap() = " as *u8); g_pn(g); g_puts(" (expect 128 = two DISTINCT 128B allocs)\n" as *u8) 64 pass = pass + g_check("two nx_scratch allocs are DISTINCT + sequential (gap==128)" as *u8, g == KAT_GAP) 65 total = total + 1 66 67 let r: i64 = wm_run(mod, "sp_probe" as *u8, 0, 0, 0, 0, 0, 0) 68 g_puts(" [measure] sp_probe() = " as *u8); g_pn(r); g_puts(" (KAT = " as *u8); g_pn(KAT_PROBE); g_puts(")\n" as *u8) 69 pass = pass + g_check("framed scratch: a,b non-aliasing + save/restore reuse (sp_probe==KAT)" as *u8, r == KAT_PROBE) 70 total = total + 1 71 72 g_puts("---- nx_scratch wasm gate: passed " as *u8); g_pn(pass); g_puts(" / " as *u8); g_pn(total); g_puts(" ----\n" as *u8) 73 // MIGRATED onto nx_gate_verdict by nx_gate_dry_apply (D001, minimal form): every check 74 // row above is untouched, so the PASS/FAIL vector cannot change; only the hand-rolled 75 // verdict emission is replaced by the ONE shared base class. Proven by nx_gate_migrate verify. 76 let ctr__dry: *i64 = gv_ctr() 77 ctr__dry[0] = pass 78 ctr__dry[1] = total 79 let rc__dry: i64 = gv_verdict("SCRATCH-WASM-GATE" as *u8, ctr__dry, "teeth unchanged; verdict emission migrated onto the shared base class" as *u8) 80 sys_exit(rc__dry) 81 return rc__dry 82}