nx_wasm_2048_gate.nx source

1// nx_wasm_2048_gate.nx -- native verify of the 2048 puzzle (base-relative; same code runs in wasm). Tests the 2// CORE genre logic: slide+merge (line_move), the full tick (with a spawn), no-move detection, determinism, and 3// renders a PNG to eyeball. This proves the emitter generalises to a SECOND, structurally-different genre. 4// license_tier: ORIGINAL expect_exit: 0 5import "nx_syscalls.nx" 6import "nx_wasm_2048.nx" 7import "nx_png.nx" 8 9func vw(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } 10func vn(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 as u8;k=1} while m>0{t[k]=(48+(m%10)) as u8;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 } 11func vrow(id: *u8, ok: i64, pass: *i64) -> i64 { vw(" " as *u8); vw(id); vw(": " as *u8); if ok==1 { vw("OK\n" as *u8); pass[0]=pass[0]+1 } else { vw("FAIL\n" as *u8) } return 0 } 12func setln(base: i64, a: i64, b: i64, c: i64, d: i64) -> i64 { lset(base,O_LINE,0,a); lset(base,O_LINE,1,b); lset(base,O_LINE,2,c); lset(base,O_LINE,3,d); let st: *i64=(base+O_ST) as *i64; st[2]=0; return 0 } 13func chkln(base: i64, a: i64, b: i64, c: i64, d: i64) -> i64 { 14 var ok: i64 = 1 15 if lget(base,O_LINE,0)!=a { ok=0 } 16 if lget(base,O_LINE,1)!=b { ok=0 } 17 if lget(base,O_LINE,2)!=c { ok=0 } 18 if lget(base,O_LINE,3)!=d { ok=0 } 19 return ok 20} 21func tilecount(base: i64) -> i64 { var n: i64=0; var i: i64=0; while i<N*N { if gget(base,i)!=0 { n=n+1 } i=i+1 } return n } 22 23func main() -> i64 { 24 let pass: *i64 = sys_mmap(8) as *i64; pass[0]=0 25 vw("=== NX-WASM-2048 GATE (2nd genre: sliding-tile puzzle, pure-Nishi no-float) ===\n" as *u8) 26 let buf: *u8 = sys_mmap(1048576) 27 let base: i64 = buf as i64 28 29 init_impl(base) 30 let st: *i64 = (base + O_ST) as *i64 31 vrow("INIT: exactly 2 tiles spawned\x00" as *u8, (tilecount(base)==2) as i64, pass) 32 33 // merge: [2,2,0,0] -> [4,0,0,0], score 4, moved 34 setln(base,2,2,0,0); let s1: i64 = line_move(base) 35 vrow("MERGE [2,2,0,0] -> [4,0,0,0] (score 4, moved)\x00" as *u8, ((chkln(base,4,0,0,0)==1) as i64) & (((s1==4) as i64) & ((st[2]==1) as i64)), pass) 36 37 // merge: [2,2,2,2] -> [4,4,0,0], score 8 (two merges, not [8,0,0,0]) 38 setln(base,2,2,2,2); let s2: i64 = line_move(base) 39 vrow("MERGE [2,2,2,2] -> [4,4,0,0] (score 8, two merges)\x00" as *u8, ((chkln(base,4,4,0,0)==1) as i64) & ((s2==8) as i64), pass) 40 41 // merge with gap: [2,0,0,2] -> [4,0,0,0] 42 setln(base,2,0,0,2); line_move(base) 43 vrow("MERGE [2,0,0,2] -> [4,0,0,0] (slide across gaps)\x00" as *u8, (chkln(base,4,0,0,0)==1) as i64, pass) 44 45 // no move: [2,4,8,16] stays, moved=0 46 setln(base,2,4,8,16); let s3: i64 = line_move(base) 47 vrow("NO-MOVE [2,4,8,16] unchanged (moved=0, score 0)\x00" as *u8, ((chkln(base,2,4,8,16)==1) as i64) & (((st[2]==0) as i64) & ((s3==0) as i64)), pass) 48 49 // full tick + spawn: clear, set row0=[4,4,_,_], tick LEFT -> grid[0]==8 AND a new tile spawned (count up) 50 var i: i64 = 0; while i<N*N { gset(base,i,0); i=i+1 } 51 gset(base,0,4); gset(base,1,4) 52 let before: i64 = tilecount(base) 53 tick_impl(base, 2) // LEFT 54 let after: i64 = tilecount(base) 55 vrow("TICK LEFT merges row + spawns a tile (grid[0]==8, count grew)\x00" as *u8, ((gget(base,0)==8) as i64) & ((after==before) as i64), pass) 56 57 // determinism: two fresh games with the same seed -> identical boards 58 let buf2: *u8 = sys_mmap(1048576); let base2: i64 = buf2 as i64 59 init_impl(base); init_impl(base2) 60 var det: i64 = 1; i=0; while i<N*N { if gget(base,i)!=gget(base2,i) { det=0 } i=i+1 } 61 vrow("DETERMINISTIC: same seed -> identical board\x00" as *u8, det, pass) 62 63 // render a real frame (init + a couple of moves) -> PNG to eyeball 64 init_impl(base); tick_impl(base,2); tick_impl(base,1); render_impl(base) 65 write_png((base + O_FB) as *i64, W, H, "knowledge/nx_2048.png" as *u8) 66 vw(" rendered -> knowledge/nx_2048.png (score="); vn(st[0]); vw(")\n" as *u8) 67 68 vw("WASM-2048 rows=7 pass="); vn(pass[0]) 69 if pass[0]==7 { vw(" verdict=GREEN\n" as *u8); sys_exit(0); return 0 } 70 vw(" verdict=RED\n" as *u8); sys_exit(1); return 1 71}