nx_accept_cli_gate_t230.nx source
↩ module page · 33 lines · 2559 B
1// Real-file qualification of additive CLI adapter. Fixture only; no acceptance plane writes.
2import "nx_accept_candidate_t230.nx"
3import "nx_gate_verdict.nx"
4func main(argc:i64,argv:*i64)->i64{
5 let c:*i64=gv_ctr()
6 let a:*i64=sys_mmap(9*8) as *i64
7 a[0]="nx_accept" as *u8 as i64;a[1]="check-release" as *u8 as i64
8 a[2]="fixture_release" as *u8 as i64;a[3]="0000000000000000000000000000000000000000000000000000000000000000" as *u8 as i64
9 a[4]="alpha" as *u8 as i64;a[5]="1111111111111111111111111111111111111111111111111111111111111111" as *u8 as i64
10 a[6]="accca88d12a8311cbd46e48db8ca1ef1178a659ff0daeb18db259f353c834bb6" as *u8 as i64
11 a[7]="knowledge/gates/accept-binding-fixture-t230.tsv" as *u8 as i64;a[8]=0
12 gv_check("real fixture accepted binding",(acm_check_release(8,a)==ARB_ACCEPTED) as i64,c)
13 gv_check("repeat same fixture idempotent",(acm_check_release(8,a)==ARB_ACCEPTED) as i64,c)
14 a[4]="beta" as *u8 as i64
15 gv_check("alpha receipt not beta",(acm_check_release(8,a)==ARB_IDENTITY) as i64,c)
16 a[4]="production" as *u8 as i64
17 gv_check("alpha receipt not production",(acm_check_release(8,a)==ARB_IDENTITY) as i64,c)
18 a[4]="alpha" as *u8 as i64;a[3]="1111111111111111111111111111111111111111111111111111111111111111" as *u8 as i64
19 gv_check("different candidate refused",(acm_check_release(8,a)==ARB_IDENTITY) as i64,c)
20 a[3]="0000000000000000000000000000000000000000000000000000000000000000" as *u8 as i64;a[5]="0000000000000000000000000000000000000000000000000000000000000000" as *u8 as i64
21 gv_check("different intended-use policy refused",(acm_check_release(8,a)==ARB_IDENTITY) as i64,c)
22 a[5]="1111111111111111111111111111111111111111111111111111111111111111" as *u8 as i64;a[6]="0000000000000000000000000000000000000000000000000000000000000000" as *u8 as i64
23 gv_check("different receipt reference hash refused",(acm_check_release(8,a)==ARB_IDENTITY) as i64,c)
24 a[6]="accca88d12a8311cbd46e48db8ca1ef1178a659ff0daeb18db259f353c834bb6" as *u8 as i64
25 gv_check("extra argument refused",(acm_check_release(9,a)==ARB_INVALID) as i64,c)
26 gv_check("missing argument refused",(acm_check_release(7,a)==ARB_INVALID) as i64,c)
27 a[7]="knowledge/gates/accept-binding-missing-t230.tsv" as *u8 as i64
28 gv_check("absent file incomplete",(acm_check_release(8,a)==ARB_INCOMPLETE) as i64,c)
29 a[7]="knowledge/gates" as *u8 as i64
30 gv_check("directory cannot pass receipt",(acm_check_release(8,a)==ARB_IO) as i64,c)
31 sys_munmap(a as *u8,9*8)
32 return gv_verdict("ACCEPT-CLI-T230",c,"real immutable fixture; no evaluator or rights authorization claimed")
33}