nx_cast_face_mask_gate_t163.nx source
↩ module page · 37 lines · 2720 B
1import "nx_wgsl.nx"
2import "nx_game_page_artifact_lib.nx"
3import "nx_gate_verdict.nx"
4import "nx_game_shader_backend_selected_t55.nx"
5func fm_has(b:*u8,n:i64,s:*u8)->i64{
6 var l:i64=0;while s[l]!=(0 as u8){l=l+1}
7 var i:i64=0;while i+l<=n{var j:i64=0;while j<l&&b[i+j]==s[j]{j=j+1};if j==l{return 1};i=i+1};return 0
8}
9func fm_emit(wg:i64,c:*i64)->i64{
10 let m:*i64=sir_new();shsrc_cast_fs(m)
11 let b:*u8=sys_mmap(WG_EMIT_CAP);let tr:*i64=sys_mmap(WG_TRACE_CAP*8) as *i64;let tn:*i64=sys_mmap(16) as *i64
12 var n:i64=0
13 if wg==1{n=wgsl_emit_module(m,STAGE_FRAGMENT,b,WG_EMIT_CAP,tr,WG_TRACE_CAP,tn)}else{n=glsl_emit_module(m,STAGE_FRAGMENT,b,WG_EMIT_CAP,tr,WG_TRACE_CAP,tn)}
14 gv_kv("dialect_wgsl",wg);gv_kv("emitted_bytes",n)
15 gv_check("full cast fragment emits without refusal",n>0&&sir_refused(m)==0&&m[M_OVER]==0,c)
16 if n<=0{return 1}
17 gv_check("reversed lid edge order absent",fm_has(b,n,"smoothstep((er9*1.25),er9,ed9)")==0,c)
18 gv_check("reversed lash edge order absent",fm_has(b,n,"smoothstep((er9*1.28),(er9*1.02),ed9)")==0,c)
19 gv_check("defined falling lid mask present",fm_has(b,n,"(1.0-smoothstep(er9,(er9*1.25),ed9))")==1,c)
20 gv_check("defined falling lash mask present",fm_has(b,n,"(1.0-smoothstep((er9*1.02),(er9*1.28),ed9))")==1,c)
21 var path:*u8="/tmp/cast-face-mask-t163.glsl";if wg==1{path="/tmp/cast-face-mask-t163.wgsl"}
22 let fd:i64=sys_openat_wr(path,420);if fd<0{return 2};let wrote:i64=sys_write(fd,b,n);sys_close(fd)
23 gv_check("retained complete shader",wrote==n,c)
24 let sha:*u8=sys_mmap(65);gpa_sha(b,n,sha);gv_puts("shader_sha256=");gv_puts(sha);gv_puts("\n")
25 return 0
26}
27func main()->i64{
28 let c:*i64=gv_ctr();gv_head("SHARED FACE MASK EMISSION")
29 fm_emit(0,c);fm_emit(1,c)
30 let cap:*u8=sys_mmap(WG_EMIT_CAP);let count:*i64=sys_mmap(16) as *i64
31 let rc:i64=gsb_capture_selected("/volume1/homes/elderwesto/nishihost/buildroot/_build/nx_wgsl_face_mask_t163.sov.elf","e5fd7a67ab38f2c21f77ce9782de67e485f57b8c8fcb2d81bc6de3d2d3531c53",1191928,"cast",cap,WG_EMIT_CAP,count,30000)
32 gv_check("exact private producer executes with complete capture",rc==0&&count[0]>0,c)
33 let ln:*i64=sys_mmap(16) as *i64;let ref:*u8=sys_map_file("knowledge/gates/face-mask-fragment-reference-t163.glsl",ln)
34 gv_check("producer includes full retained fragment reference",rc==0&&ln[0]==16110&&fm_has(cap,count[0],ref)==1,c)
35 if rc==0 {let fd:i64=sys_openat_wr("/tmp/face-mask-producer-capture-t163.txt",420);if fd>=0{let written:i64=sys_write(fd,cap,count[0]);sys_close(fd);gv_check("full producer capture retained",written==count[0],c)}else{gv_check("full producer capture retained",0,c)}}
36 return gv_verdict("FACE-MASK-T163",c,"Native emitted shader only. GPU execution and matched visual improvement remain unverified.")
37}