nx_garment_provenance_t128.nx source
↩ module page · 51 lines · 2680 B
1// Private provenance and boundary-influence observation; no asset or product writes.
2import "nx_garment_gen_lib.nx"
3import "nx_game_page_artifact_lib.nx"
4import "nx_gate_verdict.nx"
5func main()->i64 {
6 let ctr:*i64=gv_ctr();gv_head("GARMENT-BOUNDARY-PROVENANCE-T128")
7 let bn:*i64=sys_mmap(16) as *i64;let sn:*i64=sys_mmap(16) as *i64
8 let b:*u8=sys_map_file("/volume1/homes/elderwesto/nishihost/sites/nishifamily/world/ref9d.nxa",bn)
9 let s:*u8=sys_map_file("/volume1/homes/elderwesto/nishihost/sites/nishifamily/world/ref9e.nxa",sn)
10 if (b as i64)<=0||(s as i64)<=0 {return 3}
11 let digest:*u8=sys_mmap(65);gpa_sha(b,bn[0],digest);gv_puts("body_sha256=");gv_puts(digest);gv_puts("
12")
13 gpa_sha(s,sn[0],digest);gv_puts("served_sha256=");gv_puts(digest);gv_puts("
14")
15 gv_check("served asset exact observed identity",fsx_seq(digest,"6e3078707944141164c50860939057173adf3787a48c6ef936e14ce2322319da")==1,ctr)
16 let G:*i64=gmg_load(b,bn[0]);if (G as i64)<=0{return 3}
17 let sec:*i64=sys_mmap(GMG_SEC_CAP*8+64) as *i64;let stats:*i64=sys_mmap(GMG_KINDS*GMG_STAT_N*8+64) as *i64
18 let nw:i64=gmg_gen_all(G,sec,stats);if nw<=0{return 3}
19 let e:i64=nxa_section_entry(s,sn[0],nxa_tag4("GARM"));if e<0{return 3}
20 let h:*i64=s as *i64;let p:*u8=((s as i64)+h[e+1]) as *u8
21 gv_check("fresh generated GARM exact bytes equal served",h[e+2]==nw&&gpa_same(sec as *u8,nw*8,p,h[e+2]*8)==1,ctr)
22 gpa_sha(sec as *u8,nw*8,digest);gv_puts("garm_sha256=");gv_puts(digest);gv_puts("
23")
24 let skin:*i64=G[GMG_C_AJ] as *i64;let ix:*i64=G[GMG_C_IDX] as *i64
25 let joints:*i64=sys_mmap(8*8) as *i64
26 var kind:i64=1
27 while kind<=9 {
28 var edges:i64=0;var over4:i64=0;var largest:i64=0;var same:i64=0
29 var t:i64=0
30 while t<G[GMG_C_NT] {
31 var k:i64=0
32 while k<3 {
33 let a:i64=ix[t*3+k];let c:i64=ix[t*3+(k+1)%3]
34 if gmg_region(G,kind,a)!=gmg_region(G,kind,c) {
35 edges=edges+1;var count:i64=0;var z:i64=0
36 while z<8 {var v:i64=a;if z>=4 {v=c};let q:i64=z%4
37 if skin[v*8+4+q]>0 {let joint:i64=skin[v*8+q];var found:i64=0;var at:i64=0
38 while at<count {if joints[at]==joint{found=1};at=at+1}
39 if found==0{joints[count]=joint;count=count+1}
40 };z=z+1
41 }
42 if count>largest{largest=count};if count>4{over4=over4+1}
43 var equal:i64=1;z=0;while z<8 {if skin[a*8+z]!=skin[c*8+z]{equal=0};z=z+1};same=same+equal
44 };k=k+1
45 };t=t+1
46 }
47 gv_kv("kind",kind);gv_kv("crossing_directed_edges",edges);gv_kv("max_joint_union",largest);gv_kv("crossings_over4",over4);gv_kv("identical_endpoint_skin_rows",same)
48 kind=kind+1
49 }
50 return gv_verdict("GARMENT-PROVENANCE",ctr,"Exact source generation identity; boundary influence counts are observations, not appearance acceptance")
51}