nx_cast_projection_capture_gate_t234.nx source
↩ module page · 27 lines · 2215 B
1import "nx_game_page_integrated_t73.nx"
2import "nx_gate_verdict.nx"
3func cpg_retain(path:*u8,buf:*u8,n:i64)->i64{
4 var prior_n:i64=0;let prior:*u8=sys_read_file(path,&prior_n)
5 if (prior as i64)>0{let same:i64=gpa_same(prior,prior_n,buf,n);sys_free_file(prior,prior_n);return same}
6 if fxc_create(path,buf,n)==n{return 1};return 0
7}
8func main()->i64{
9 let c:*i64=gv_ctr()
10 let old:*NxBufOwned=rk_owned_new();let fresh:*NxBufOwned=rk_owned_new()
11 if (old as i64)<=0||(fresh as i64)<=0{return 3}
12 let a:i64=gsb_capture_selected_owned("/volume1/homes/elderwesto/nishihost/buildroot/_build/nx_cast_lit_stable_expanded_t181.sov.elf","4e243b4af570aadc78655a6b4bd73acee1f840319e72a9479aa8b718c14cefd2",407582,"cast",old,RK_WGSL_TMO_MS,0)
13 let b:i64=gsb_capture_selected_owned("/volume1/homes/elderwesto/nishihost/buildroot/_build/nx_cast_projection_expanded_t234.sov.elf","5c84fe5277e85db3a5e181f050043bbe4be7f085b24eb559d4beb18ee4563cb0",417606,"cast",fresh,RK_WGSL_TMO_MS,0)
14 gv_check("pinned producers captured completely",a==0&&b==0&&old.len>0&&fresh.len>old.len,c)
15 if a!=0||b!=0||old.len<=0||fresh.len<=old.len{return 3}
16 let header:*u8="cast_projection_version=1\ncast_projection_near_num=80\ncast_projection_far_num=300000\ncast_projection_guard_num=81\ncast_projection_den=1000\ncast_projection_near_q8=21\n"
17 let hn:i64=rk_slen(header)
18 gv_check("metadata belongs to exact candidate producer",gpa_same(fresh.buf,hn,header,hn)==1,c)
19 gv_check("all four shader stages and previous capture metadata byte-identical",gpa_same(old.buf,old.len,fresh.buf+hn,fresh.len-hn)==1,c)
20 let op:*u8="/volume1/homes/elderwesto/nishihost/buildroot/knowledge/gates/cast-projection-before-t234.txt"
21 let np:*u8="/volume1/homes/elderwesto/nishihost/buildroot/knowledge/gates/cast-projection-after-t234.txt"
22 gv_check("old capture retained",cpg_retain(op,old.buf,old.len)==1,c)
23 gv_check("candidate capture retained",cpg_retain(np,fresh.buf,fresh.len)==1,c)
24 gv_kv("before_bytes",old.len);gv_kv("after_bytes",fresh.len);gv_kv("metadata_bytes",hn)
25 rk_owned_close(old);rk_owned_close(fresh)
26 return gv_verdict("CAST-PROJECTION-CAPTURE",c,"actual pinned producer execution; complete previous output unchanged after additive metadata")
27}