nx_imported_body_pair_gate_t137.nx source
↩ module page · 51 lines · 3161 B
1// Existing layout-aware pair gate with current body artifacts.
2import "nx_gate_verdict.nx"
3import "nx_game_page_artifact_lib.nx"
4import "nx_game_pair_layout_lib.nx"
5import "nx_wasm_layout_read_lib.nx"
6func main()->i64{
7 let c:*i64=gv_ctr();gv_head("BEACH-BODY-PAIR");
8 let length: *i64=sys_mmap(16) as *i64
9 let plain: *u8=sys_read_file("/tmp/beach-body-t137.wasm" as *u8,length)
10 let pn: i64=length[0]
11 let twin: *u8=sys_read_file("/tmp/beach-body-shared-t137.wasm" as *u8,length)
12 let tn: i64=length[0]
13 let plain_wat:*u8=sys_read_file("/tmp/beach-body-t137.wat" as *u8,length)
14 let pwn:i64=length[0]
15 let shared_wat:*u8=sys_read_file("/tmp/beach-body-shared-t137.wat" as *u8,length)
16 let swn:i64=length[0]
17 gv_check("actual compiler WAT artifacts read" as *u8,pwn>0&&swn>0,c)
18 if pwn<=0||swn<=0 {return 3}
19 let pr:*u8=sys_mmap(pwn)
20 let sr:*u8=sys_mmap(swn)
21 let rn:i64=wlv_wat(plain_wat,pwn,pr,pwn,0)
22 let sn:i64=wlv_wat(shared_wat,swn,sr,swn,1)
23 gv_check("compiler attached plain and shared layout records decode" as *u8,rn>0&&sn>0,c)
24 gv_check("unterminated WAT evidence refused" as *u8,wlv_wat(plain_wat,pwn-1,pr,pwn,0)==0,c)
25 gv_check("short record destination refused" as *u8,wlv_wat(plain_wat,pwn,pr,WLV_HEADER-1,0)==0,c)
26 gv_check("compiled pair matches existing layout-aware compiler-extension owner" as *u8,pn>0&&tn>0&&rn>0&&sn>0&&gpl_pair(plain,pn,twin,tn,pr,rn,sr,sn)==1,c)
27 if rn>0&&sn>0 {
28 gv_check("truncated layout record refused" as *u8,gpl_pair(plain,pn,twin,tn,pr,rn-1,sr,sn)==0,c)
29 gv_check("plain record cannot stand in for shared reservation" as *u8,gpl_pair(plain,pn,twin,tn,pr,rn,pr,rn)==0,c)
30 let before:u8=sr[40]
31 sr[40]=((before as i64)^1) as u8
32 gv_check("altered shared initializer reservation refused" as *u8,gpl_pair(plain,pn,twin,tn,pr,rn,sr,sn)==0,c)
33 sr[40]=before
34 gv_check("restored original records requalify exact pair" as *u8,gpl_pair(plain,pn,twin,tn,pr,rn,sr,sn)==1,c)
35 let wh:*u8=sys_mmap(65)
36 gpa_sha(plain_wat,pwn,wh);fsx_puts("plain_wat_sha256=");fsx_puts(wh);fsx_puts(" bytes=");fsx_putn(pwn);fsx_puts("\n")
37 gpa_sha(shared_wat,swn,wh);fsx_puts("shared_wat_sha256=");fsx_puts(wh);fsx_puts(" bytes=");fsx_putn(swn);fsx_puts("\n")
38 gpa_sha(pr,rn,wh);fsx_puts("plain_layout_sha256=");fsx_puts(wh);fsx_puts(" bytes=");fsx_putn(rn);fsx_puts("\n")
39 gpa_sha(sr,sn,wh);fsx_puts("shared_layout_sha256=");fsx_puts(wh);fsx_puts(" bytes=");fsx_putn(sn);fsx_puts("\n")
40 }
41 if pn>0&&tn>0 {
42 let ph: *u8=sys_mmap(65)
43 let th: *u8=sys_mmap(65)
44 gpa_sha(plain,pn,ph);gpa_sha(twin,tn,th)
45 gv_check("plain artifact equals reviewed module identity",fsx_seq(ph,"927c1fff4b7b6f36af844e2daec04ef5cc52ce5846b3d8b36e9db2303b572a3f" as *u8)==1,c)
46 gv_check("shared artifact equals reviewed module identity",fsx_seq(th,"0e25f0dea9d0764db5a90c82363f41369c235187ec3e478c70d89a831d2a5e76" as *u8)==1,c)
47 fsx_puts("plain_sha256=");fsx_puts(ph);fsx_puts(" bytes=");fsx_putn(pn);fsx_puts("\n")
48 fsx_puts("shared_sha256=");fsx_puts(th);fsx_puts(" bytes=");fsx_putn(tn);fsx_puts("\n")
49 }
50 return gv_verdict("BEACH-BODY-PAIR" as *u8,c,"Compiler layout pair only; actual runtime and rendered shape acceptance separate" as *u8)
51}