code wiki / _hdl_build / nx_usage_artifact_gate_t173.nx
nx_usage_artifact_gate_t173.nx source
↩ module page · 49 lines · 3697 B
1import "nx_claude_harvest.nx"
2func chuat_run(base:*u8,n:i64,mode:i64,c:*i64,up:*u8)->i64 {
3 let q:*u8=sys_mmap_shared(n+1024);var i:i64=0;while i<n{q[i]=base[i];i=i+1}
4 var m:i64=n;let head:i64=sj_le(q,0,n);let first:i64=head+1
5 if mode==1{m=ch_find_from(q,0,n,"{\"schema\":\"nishi.context-request-stream-end.v1\"")}
6 if mode==2{let p:i64=ch_find_from(q,first,n,"\"scan_sha256\":\"");q[p+15]=(48 as u8)}
7 if mode==3{let p:i64=ch_find_from(q,first,n,"\"sequence\":0");q[p+11]=(49 as u8)}
8 if mode==4{let p:i64=ch_find_from(q,0,n,"\"input_tokens\":5531492");q[p+15]=(54 as u8)}
9 if mode==5{let p:i64=ch_find_from(q,0,n,"\"complete\":true");q[p+11]=(110 as u8);q[p+12]=(117 as u8);q[p+13]=(108 as u8);q[p+14]=(108 as u8)}
10 if mode==6{q[n]=(123 as u8);q[n+1]=(125 as u8);q[n+2]=(10 as u8);m=n+3}
11 if mode==7{let p:i64=ch_find_from(q,first,n,"nishi.context-request-observation.v1");q[p]=(120 as u8)}
12 if mode==8{let p:i64=ch_find_from(q,first,n,"\"actual_model\":null");q[p+15]=(116 as u8);q[p+16]=(114 as u8);q[p+17]=(117 as u8);q[p+18]=(101 as u8)}
13 if mode==9{let p:i64=ch_find_from(q,0,n,"\"expected_requests\":41");q[p+20]=(53 as u8)}
14 if mode==10{let p:i64=ch_find_from(q,first,n,"2026-09-13T03:");q[p+12]=(50 as u8)}
15 if mode==11{m=n-1}
16 if mode==12||mode==13{
17 let second:i64=sj_le(q,first,n)+1;let third:i64=sj_le(q,second,n)+1
18 if mode==12{
19 let aa:i64=ch_find_from(q,first,second,"\"response_id\":\"")+15
20 let bb:i64=ch_find_from(q,second,third,"\"response_id\":\"")+15
21 var k:i64=0;while q[aa+k]!=(34 as u8){q[bb+k]=q[aa+k];k=k+1}
22 }else{
23 let firstn:i64=second-first;let secondn:i64=third-second;let delta:i64=firstn-secondn
24 if delta>=0{var k:i64=n;while k>third{k=k-1;q[k+delta]=q[k]}}else{var k:i64=third;while k<n{q[k+delta]=q[k];k=k+1}}
25 var k:i64=0;while k<firstn{q[second+k]=q[first+k];k=k+1}
26 let sq:i64=ch_find_from(q,second,second+firstn,"\"sequence\":0");q[sq+11]=(49 as u8);m=n+delta
27 }
28 }
29 let table:*i64=sys_mmap_shared(CH_AH_MAXPATHS*CHU_ROW*8) as *i64
30 let row:*i64=sys_mmap_shared(CHU_ROW*8) as *i64;let t:*NxJsonTok=nx_json_new(q,m)
31 up[0]=0;let rc:i64=chu_artifact_totals(q,m,1789268460,1789268580,table,t,row,c,up)
32 sys_munmap(table as *u8,CH_AH_MAXPATHS*CHU_ROW*8);sys_munmap(row as *u8,CHU_ROW*8);sys_munmap(t as *u8,NX_JSONTOK_BYTES);sys_munmap(q,n+1024)
33 return rc
34}
35func main(argc:i64,argv:*i64)->i64 {
36 let ctr:*i64=gv_ctr();gv_head("USAGE-ARTIFACT-COMPOSITION")
37 let q:*u8=sys_mmap_shared(CH_WIN);let c:*i64=sys_mmap_shared(80) as *i64;let up:*u8=sys_mmap_shared(65)
38 let n:i64=ch_read("knowledge/gates/usage-current-native-t173.jsonl",q,CH_WIN)
39 gv_check("real retained artifact37096bytes",n==37096,ctr)
40 if n!=37096{return 1}
41 let rc:i64=chuat_run(q,n,0,c,up);gv_puts("NORMAL-RC ");gv_num(rc);gv_puts("\n")
42 gv_check("real41request artifact accepted",rc==0&&c[2]==41&&c[1]==0,ctr)
43 gv_check("actual six counter parity",c[4]==5531492&&c[5]==5334016&&c[6]==0&&c[7]==5825&&c[8]==277&&c[9]==5537317,ctr)
44 gv_check("upstream identity separate",sj_lit_eq(up,0,64,"1838a86dcbd7f065653d1c5d7edf34b26c28f8c5b6b76015f4f6b3ad127850eb")==1,ctr)
45 var mode:i64=1;while mode<=13{let bad:i64=chuat_run(q,n,mode,c,up);gv_puts("NEGATIVE ");gv_num(mode);gv_puts(" rc=");gv_num(bad);gv_puts("\n");gv_check("malformed stream refused at expected validation stage",bad==(0-3)||mode==4&&bad==(0-4)||mode==10&&bad==(0-4)||mode>=12&&bad==(0-4),ctr);mode=mode+1}
46 let raw:i64=ch_read("knowledge/gates/usage-current-input-t173.jsonl",q,CH_WIN)
47 gv_check("legacy typed snapshot accepted",chuat_run(q,raw,0,c,up)==0&&c[2]==41&&up[0]==(0 as u8),ctr)
48 return gv_verdict("USAGE-ARTIFACT-COMPOSITION",ctr,"real41request parity; malformed stream and provenance fail closed")
49}