nx_garment_attachment_gate_t131.nx source
↩ module page · 35 lines · 4626 B
1import "nx_garment_boundary_candidate_t128.nx"
2import "nx_gate_verdict.nx"
3func main()->i64{
4 let ctr:*i64=gv_ctr();gv_head("EXACT GARMENT ATTACHMENT NXA PRIVATE")
5 let len:*i64=sys_mmap(16) as *i64;let b:*u8=sys_map_file("/volume1/homes/elderwesto/nishihost/sites/nishifamily/world/ref9e.nxa",len);if (b as i64)==0{return 3}
6 let n:i64=len[0];gv_check("real donor source counted sections and indices valid",gmg_attach_source_v1(b,n)==0,ctr)
7 let G:*i64=gmg_load(b,n);if (G as i64)==0{return 3};let scratch:*i64=sys_mmap(896) as *i64;let work:*i64=sys_mmap(112) as *i64
8 let nw:i64=gmg_attach_onepiece_into_v1(G,0 as *i64,0,scratch,112);if nw<1{return 4};let sec:*i64=sys_mmap(nw*8) as *i64
9 let wrote:i64=gmg_attach_onepiece_into_v1(G,sec,nw,scratch,112);gv_check("actual clipped source emits exact measured extent",wrote==nw,ctr)
10 gv_check("actual emitted records and triangulation validate",gmg_attach_validate_v1(b,n,sec,nw,work,14)==0,ctr)
11 gv_kv("attachment_vertices",sec[1]);gv_kv("attachment_triangles",sec[2]);gv_kv("section_words",nw)
12 let old:i64=sec[4];sec[4]=old+1;gv_check("mismatched source identity refuses",gmg_attach_validate_v1(b,n,sec,nw,work,14)==GMG_ATTACH_E_SOURCE,ctr);sec[4]=old
13 gv_check("truncated attachment refuses",gmg_attach_validate_v1(b,n,sec,nw-1,work,14)==GMG_ATTACH_E_SHAPE,ctr)
14 let face:i64=sec[12];sec[12]=sec[7];gv_check("out of range source face refuses",gmg_attach_validate_v1(b,n,sec,nw,work,14)==GMG_ATTACH_E_SHAPE,ctr);sec[12]=face
15 let den:i64=sec[16];sec[16]=0;gv_check("zero denominator refuses",gmg_attach_validate_v1(b,n,sec,nw,work,14)==GMG_ATTACH_E_SHAPE,ctr);sec[16]=den
16 let coeff:i64=sec[13];sec[13]=-1;gv_check("negative barycentric coefficient refuses",gmg_attach_validate_v1(b,n,sec,nw,work,14)==GMG_ATTACH_E_SHAPE,ctr);sec[13]=coeff
17 sec[13]=den+1;gv_check("barycentric overflow of simplex refuses",gmg_attach_validate_v1(b,n,sec,nw,work,14)==GMG_ATTACH_E_SHAPE,ctr);sec[13]=coeff
18 let to:i64=12+sec[1]*8;let ix:i64=sec[to];sec[to]=sec[1];gv_check("out of range attachment index refuses",gmg_attach_validate_v1(b,n,sec,nw,work,14)==GMG_ATTACH_E_SHAPE,ctr);sec[to]=ix
19 let ix1:i64=sec[to+1];sec[to+1]=ix;gv_check("zero area attachment triangle refuses",gmg_attach_validate_v1(b,n,sec,nw,work,14)==GMG_ATTACH_E_GEOMETRY,ctr);sec[to+1]=ix1
20 gv_check("short validation workspace refuses",gmg_attach_validate_v1(b,n,sec,nw,work,13)==GMG_ATTACH_E_SHAPE,ctr)
21 let pp:*i64=sys_mmap(72) as *i64;let ii:*i64=sys_mmap(24) as *i64;var k:i64=0;while k<9{pp[k]=0;k=k+1};ii[0]=0;ii[1]=1;ii[2]=2;pp[3]=1;pp[6]=2
22 gv_check("collinear source 3D face refuses",gmg_attach_face_v1(pp,ii,0)==GMG_ATTACH_E_GEOMETRY,ctr);pp[7]=1;gv_check("noncollinear source 3D face retained",gmg_attach_face_v1(pp,ii,0)==0,ctr)
23 let cap:i64=n+nw*8+32;let out:*u8=sys_mmap(cap);let result:i64=gmg_attach_compose_into_v1(b,n,sec,nw,out,cap,work,14)
24 gv_check("additive NXA composed within exact bound",result==cap,ctr);if result<0{return 5}
25 let h:*i64=b as *i64;let dh:*i64=out as *i64;var preserved:i64=1;k=0
26 while k<h[2]{let t:i64=4+k*4;let dt:i64=nxa_section_entry(out,result,h[t]);if dt<0{preserved=0}else{if h[t+2]!=dh[dt+2]||h[t+3]!=dh[dt+3]{preserved=0};var j:i64=0;while j<h[t+2]{if h[h[t+1]/8+j]!=dh[dh[dt+1]/8+j]{preserved=0};j=j+1}};k=k+1}
27 gv_check("every legacy section including GARM preserved word for word",preserved==1,ctr)
28 let ae:i64=nxa_section_entry(out,result,nxa_tag4("GAT1"));gv_check("new attachment section integrity accepted",ae>=0,ctr)
29 if ae>=0{let ss:*i64=((out as i64)+dh[ae+1]) as *i64;gv_check("serialized attachment parses against same NXA source",gmg_attach_validate_v1(out,result,ss,dh[ae+2],work,14)==0,ctr)}
30 gv_check("truncated NXA attachment fails section checksum/extent",nxa_section_entry(out,result-8,nxa_tag4("GAT1"))<0,ctr)
31 let again:*u8=sys_mmap(cap);let nr:i64=gmg_attach_compose_into_v1(out,result,sec,nw,again,cap,work,14);var same:i64=nr==result;k=0;while k<result{if out[k]!=again[k]{same=0};k=k+1};gv_check("repeated composition byte idempotent",same==1,ctr)
32 let fd:i64=sys_openat_wr("/tmp/ref9e-clipped-onepiece-t131.nxa",MODE_0644);var saved:i64=0;if fd>=0{saved=sys_write(fd,out,result);sys_close(fd)};gv_check("private actual NXA write complete",saved==result,ctr)
33 let sf:i64=sys_openat_wr("/tmp/garment-attachment-t131.bin",MODE_0644);var swr:i64=0;if sf>=0{swr=sys_write(sf,sec as *u8,nw*8);sys_close(sf)};gv_check("private attachment-only artifact write complete",swr==nw*8,ctr)
34 gv_kv("nxa_bytes",result);return gv_verdict("GARMENT-ATTACH131",ctr,"Private attachment and legacy preservation; GPU consumer and appearance remain unqualified")
35}