nx_creature_battle_gate.nx source

1// nx_creature_battle_gate.nx -- RUNS real battles on nx_creature_battle and asserts the mechanics are REAL, then 2// prints the actual transcript. Proves: a battle runs to a faint+winner; the type chart is ACTUALLY consulted 3// (super-effective deals >2x a not-very-effective hit); the damage formula scales with move power; it is 4// DATA-DRIVEN/MODDABLE (change ONE type field in the data -> the WINNER FLIPS, same creatures otherwise); and it 5// is DETERMINISTIC (same seed -> identical transcript). HONEST: this proves a battle CORE only -- NOT an s-class 6// game (no overworld/capture/party/trainer-AI/netcode/sprites/UI/content). license_tier: ORIGINAL expect_exit: 0 7import "nx_creature_battle.nx" 8import "nx_ad_serve.nx" 9import "nx_syscalls.nx" 10 11func g_p(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 } 12func g_i(v: i64) -> i64 { let t: *u8 = sys_mmap(24); var m: i64 = v; 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 } let o: *u8=sys_mmap(24); var w: i64=0; var q: i64=k-1; while q>=0 { o[w]=t[q]; w=w+1; q=q-1 } sys_write(1,o,w); return 0 } 13func eqb(a: *u8, b: *u8) -> i64 { var i: i64 = 0; while a[i] != (0 as u8) { if a[i] != b[i] { return 0 } i = i + 1 } if b[i] != (0 as u8) { return 0 } return 1 } 14 15func mk_ember(c: *i64) -> i64 { cb_set(c, 1, 25, 90, 65, 50, 70, "Embercat" as *u8); cb_addmove(c, 1, 40, 100); cb_addmove(c, 0, 40, 100); cb_addmove(c, 0, 60, 95); return 0 } 16func mk_aqua(c: *i64, typ: i64) -> i64 { cb_set(c, typ, 25, 100, 58, 55, 50, "Aquapup" as *u8); cb_addmove(c, 2, 40, 100); cb_addmove(c, 0, 40, 100); return 0 } 17func mk_dummy(c: *i64, typ: i64) -> i64 { cb_set(c, typ, 25, 200, 50, 55, 40, "Dummy" as *u8); return 0 } 18 19func main(argc: i64, argv: *i64) -> i64 { 20 g_p("=== nx_creature_battle_gate (REAL battle core; honest slice of a Pixelmon backend, NOT an s-class game) ===\n" as *u8) 21 let A: *i64 = sys_mmap(8*24) as *i64; let B: *i64 = sys_mmap(8*24) as *i64 22 let buf: *u8 = sys_mmap(8192); let buf2: *u8 = sys_mmap(8192) 23 var pass: i64 = 0; var tot: i64 = 0 24 25 // T1 a real battle runs to a winner 26 mk_ember(A); mk_aqua(B, 2) 27 let w1: i64 = cb_battle(A, B, 7, buf) 28 g_p(buf) 29 tot = tot + 1; var ok1: i64 = 1 30 if w1 < 0 { ok1 = 0 } 31 if A[3] > 0 { if B[3] > 0 { ok1 = 0 } } // exactly one fainted (hp 0) 32 if ok1 == 1 { pass = pass + 1; g_p("PASS T1 a real battle ran to a faint + winner (transcript above)\n" as *u8) } else { g_p("FAIL T1\n" as *u8) } 33 34 // T2 type chart is ACTUALLY consulted: Fire->Grass (super) deals > 2x Fire->Water (not very), same variance roll 35 mk_ember(A) 36 let gd: *i64 = sys_mmap(8*24) as *i64; mk_dummy(gd, 3) // Grass 37 let wd: *i64 = sys_mmap(8*24) as *i64; mk_dummy(wd, 2) // Water 38 let s1: *i64 = sys_mmap(16) as *i64; s1[0] = 5 39 let s2: *i64 = sys_mmap(16) as *i64; s2[0] = 5 40 let dg: i64 = cb_damage(A, gd, 1, 40, s1) 41 let dw: i64 = cb_damage(A, wd, 1, 40, s2) 42 tot = tot + 1 43 if dg > dw * 2 { pass = pass + 1; g_p("PASS T2 type chart real: Fire->Grass dmg=" as *u8); g_i(dg); g_p(" > 2x Fire->Water dmg=" as *u8); g_i(dw); g_p("\n" as *u8) } else { g_p("FAIL T2 dg=" as *u8); g_i(dg); g_p(" dw=" as *u8); g_i(dw); g_p("\n" as *u8) } 44 45 // T3 damage formula scales with move power (Normal move on a Normal dummy -> 1x both, no STAB) 46 let nd: *i64 = sys_mmap(8*24) as *i64; mk_dummy(nd, 0) 47 let s3: *i64 = sys_mmap(16) as *i64; s3[0] = 9 48 let s4: *i64 = sys_mmap(16) as *i64; s4[0] = 9 49 let d40: i64 = cb_damage(A, nd, 0, 40, s3) 50 let d80: i64 = cb_damage(A, nd, 0, 80, s4) 51 tot = tot + 1 52 if d80 > d40 { pass = pass + 1; g_p("PASS T3 formula real: power 80 dmg=" as *u8); g_i(d80); g_p(" > power 40 dmg=" as *u8); g_i(d40); g_p("\n" as *u8) } else { g_p("FAIL T3\n" as *u8) } 53 54 // T4 DATA-DRIVEN / MODDABLE: change ONLY Aquapup's type (Water -> Grass) -> the WINNER FLIPS 55 mk_ember(A); mk_aqua(B, 2); let wWater: i64 = cb_battle(A, B, 7, buf) 56 mk_ember(A); mk_aqua(B, 3); let wGrass: i64 = cb_battle(A, B, 7, buf2) 57 tot = tot + 1 58 if wWater != wGrass { pass = pass + 1; g_p("PASS T4 moddable (data-driven): flip Aquapup type Water->Grass -> winner flips (" as *u8); if wWater==1 { g_p("Aquapup" as *u8) } else { g_p("Embercat" as *u8) } g_p(" -> " as *u8); if wGrass==1 { g_p("Aquapup" as *u8) } else { g_p("Embercat" as *u8) } g_p("); no logic hardcoded to a creature\n" as *u8) } else { g_p("FAIL T4 winner unchanged\n" as *u8) } 59 60 // T5 DETERMINISM: same seed -> identical transcript 61 mk_ember(A); mk_aqua(B, 2); cb_battle(A, B, 7, buf) 62 mk_ember(A); mk_aqua(B, 2); cb_battle(A, B, 7, buf2) 63 tot = tot + 1 64 if eqb(buf, buf2) == 1 { pass = pass + 1; g_p("PASS T5 determinism: same seed -> byte-identical transcript\n" as *u8) } else { g_p("FAIL T5\n" as *u8) } 65 66 // T6 sovereign transcript + honest scope 67 sys_mkdir("knowledge/staging/game" as *u8, 0x1ed) 68 let fd: i64 = sys_openat_wr("knowledge/staging/game/battle.txt" as *u8, 420); if fd >= 0 { var bl: i64=0; while buf[bl]!=(0 as u8){bl=bl+1} sys_write(fd, buf, bl); sys_close(fd) } 69 var bl2: i64 = 0; while buf[bl2] != (0 as u8) { bl2 = bl2 + 1 } 70 tot = tot + 1 71 if as_has_thirdparty_js(buf, bl2) == 0 { pass = pass + 1; g_p("PASS T6 sovereign: transcript is plain text, 0 third-party -> knowledge/staging/game/battle.txt\n" as *u8) } else { g_p("FAIL T6\n" as *u8) } 72 73 g_p("nx_creature_battle_gate pass=" as *u8); g_i(pass); g_p("/" as *u8); g_i(tot) 74 if pass == tot { g_p(" verdict=GREEN (a REAL, moddable, deterministic battle CORE -- one honest slice; NOT an s-class game)\n" as *u8); sys_exit(0); return 0 } 75 g_p(" verdict=RED\n" as *u8); sys_exit(1); return 1 76}