nx_game_surface_source_gate_t132.nx source
↩ module page · 17 lines · 1610 B
1import "nx_game_page_integrated_t73.nx"
2import "nx_estate_path.nx"
3import "nx_gate_verdict.nx"
4func main()->i64{
5 if ep_anchor()<0{return 3};let c:*i64=gv_ctr();gv_head("SHARED DEFORMATION SOURCE CLOSURE")
6 let cp:*u8="buildroot/runtime/nx_cast_shader_src.nx";let cs:*u8="c67e2a09c8d264ec7a9e56deb9c7647a2a51c467f71cab550d4c15724314e624"
7 let ap:*u8="buildroot/runtime/nx_cast_surface_src.nx";let az:*u8="4796f97cabfde1875a0648e12fda5a6d5e1423ba8a570b753c87c5257fd83555"
8 let bad:*u8="0000000000000000000000000000000000000000000000000000000000000000"
9 gv_check("actual canonical and adapter sources match declared capture lineage",gpe_surface_sources_t132(cp,cs,ap,az)==1,c)
10 gv_check("same actual source wrong cast digest refuses",gpe_surface_sources_t132(cp,bad,ap,az)==0,c)
11 gv_check("historical cast closure refuses current source",gpe_surface_sources_t132(cp,"2722701c162f688844e1cd2b48bb4bf969673f2d4358b7da48db2cf7ca2fc4dc",ap,az)==0,c)
12 gv_check("same actual source wrong adapter digest refuses",gpe_surface_sources_t132(cp,cs,ap,bad)==0,c)
13 gv_check("swapped actual source paths refuse",gpe_surface_sources_t132(ap,cs,cp,az)==0,c)
14 let out:*u8=sys_mmap(60000);let n:i64=gpe_surface_runtime_t132(out,0);gv_check("guarded shader helper emits complete runtime",n>0&&gsb_failed==0,c)
15 gv_check("emitted shared predicate has both aliases and exact identity guard",rk_find(out,n,0,"function nxGarmentFamilyWorn")>=0&&rk_find(out,n,0,"surface-source-layout-identity")>=0,c)
16 return gv_verdict("SURFACE-SOURCE132",c,"Actual source identity controls; runtime cancellation-normal qualification remains open")
17}