code wiki / _hdl_build / nx_wfcost_artifact_gate_t173.nx
nx_wfcost_artifact_gate_t173.nx source
↩ module page · 20 lines · 1310 B
1import "nx_wfcost.nx"
2func main(argc:i64,argv:*i64)->i64 {
3 let ctr:*i64=gv_ctr();gv_head("WF-NATIVE-ARTIFACT-INTEGRATION")
4 let a:*i64=sys_mmap_shared(8*8) as *i64
5 a[0]="nx_wfcost" as *u8 as i64;a[1]="evaluate" as *u8 as i64
6 a[2]="knowledge/gates/usage-current-native-t173.jsonl" as *u8 as i64
7 a[3]="11b723420c59fb1fe48fc0b710766f65c0de668db5bc061c4cf9d89330d40903" as *u8 as i64
8 a[4]="1789268460" as *u8 as i64;a[5]="1789268580" as *u8 as i64;a[6]="-" as *u8 as i64;a[7]=0
9 gv_check("native artifact complete evaluation",wfj_command(7,a)==0,ctr)
10 a[4]="1789268500" as *u8 as i64
11 gv_check("contained subset evaluation",wfj_command(7,a)==0,ctr)
12 a[4]="1789268459" as *u8 as i64
13 gv_check("outside declared window refused",wfj_command(7,a)!=0,ctr)
14 a[4]="1789268460" as *u8 as i64;a[3]="0000000000000000000000000000000000000000000000000000000000000000" as *u8 as i64
15 gv_check("artifact hash mismatch refused",wfj_command(7,a)==3,ctr)
16 a[2]="knowledge/gates/usage-current-input-t173.jsonl" as *u8 as i64
17 a[3]="1838a86dcbd7f065653d1c5d7edf34b26c28f8c5b6b76015f4f6b3ad127850eb" as *u8 as i64
18 gv_check("legacy typed evaluation retained",wfj_command(7,a)==0,ctr)
19 return gv_verdict("WF-NATIVE-ARTIFACT-INTEGRATION",ctr,"full native and legacy evaluations; artifact identity and upstream linkage distinct")
20}