nx_beach_wasm_residency_gate_t45.nx source
↩ module page · 44 lines · 2736 B
1// ORIGINAL. Actual plain/shared module residency calls and existing pair contract.
2import "nx_game_page_artifact_lib.nx"
3import "nx_wasm_vm.nx"
4import "_hdl_build/nx_wasm_craft_journal_index_t21.nx"
5import "nx_gate_verdict.nx"
6func vr_module(b: *u8,n: i64,ctr: *i64) -> i64 {
7 let mod: *WasmMod=wm_new(b,n)
8 let parsed: i64=wm_parse(mod)
9 gv_check("actual module parses in declared memory" as *u8,parsed==0&&mod.mem_bytes>O_MOBS+MOB_BYTES,ctr)
10 if parsed!=0||mod.mem_bytes<=O_MOBS+MOB_BYTES { return 3 }
11 let found: i64=wm_find_export(mod,"mob_resident" as *u8)
12 gv_check("actual module exports residency" as *u8,found>=0,ctr)
13 if found<0 { return 3 }
14 let m: *i64=(mod.mem+O_MOBS) as *i64
15 en_init(m,MOB_CAP,MOB_NCOMP)
16 let h: i64=en_spawn(m)
17 en_set(m,h,MC_X,13758);en_set(m,h,MC_Z,512);en_set(m,h,MC_Y,3503)
18 gv_check("compiled resident query returns ready" as *u8,wm_run(mod,"mob_resident" as *u8,0,0,0,0,0,1)==1,ctr)
19 en_set(m,h,MC_Z,512-SHIFT_STRIDE*256)
20 gv_check("compiled off-arena query returns absent" as *u8,wm_run(mod,"mob_resident" as *u8,0,0,0,0,0,1)==0,ctr)
21 gv_check("compiled query retains entity coordinates and Y" as *u8,en_get(m,h,MC_X)==13758&&en_get(m,h,MC_Z)==512-SHIFT_STRIDE*256&&en_get(m,h,MC_Y)==3503,ctr)
22 en_set(m,h,MC_Z,512)
23 gv_check("compiled return query restores ready" as *u8,wm_run(mod,"mob_resident" as *u8,0,0,0,0,0,1)==1,ctr)
24 let s: *i64=(mod.mem+O_ST) as *i64
25 s[S_AGEN]=17;s[S_HOK]=1
26 let soft: *i64=(mod.mem+O_SOFT) as *i64
27 soft[0]=173
28 let zero: i64=wm_run(mod,"wc_shift" as *u8,0,0,0,0,0,3)
29 gv_check("compiled zero shift preserves root interaction and springs" as *u8,zero==0&&s[S_AGEN]==17&&s[S_HOK]==1&&soft[0]==173&&en_get(m,h,MC_Y)==3503,ctr)
30 return 0
31}
32func main() -> i64 {
33 let ctr: *i64=gv_ctr();gv_head("BEACH-ACTUAL-WASM-RESIDENCY" as *u8)
34 let size: *i64=sys_mmap(16) as *i64
35 let plain: *u8=sys_read_file("/tmp/beach-residency-t44.wasm" as *u8,size);let pn: i64=size[0]
36 let shared: *u8=sys_read_file("/tmp/beach-residency-shared-t44.wasm" as *u8,size);let sn: i64=size[0]
37 if (plain as i64)<=0||(shared as i64)<=0 { return 3 }
38 let ph: *u8=sys_mmap(65);let sh: *u8=sys_mmap(65)
39 let memory: *GpaMemory=sys_mmap(__size_of(GpaMemory)) as *GpaMemory
40 let pair: i64=gpa_pair_report(plain,pn,shared,sn,"9acc4d1010f589821bdc75c72048b1c69fb27c107fe73ebca009f6eb74dd4fd5" as *u8,"6eafaa5bdaff98696a1c5252841ef3ac05651f153c5560c0a1df3aa141536107" as *u8,ph,sh,memory)
41 gv_check("existing pair owner verifies complete intended compiler extension" as *u8,pair==0,ctr)
42 vr_module(plain,pn,ctr);vr_module(shared,sn,ctr)
43 return gv_verdict("BEACH-ACTUAL-WASM-RESIDENCY" as *u8,ctr,"Actual compiled functions; no shared-thread startup, full worldgen or served visual acceptance" as *u8)
44}