nx_evidence_fleet_gate_t138.nx source
↩ module page · 21 lines · 1971 B
1import "nx_evidence_fleet_t138.nx"
2import "nx_gate_verdict.nx"
3func efpg_field(s:*u8,key:*u8,pair:i64,out:*i64)->i64 {return efp_field(s,ef_slen(s),key,pair,out)}
4func main()->i64 {
5 let ctr:*i64=gv_ctr();let out:*i64=sys_mmap(80) as *i64;let d:*u8=sys_mmap(32)
6 gv_check("Strict complete pair" as *u8,efpg_field("gates=2/3",EVP_K_GATES,1,out)==0 && out[0]==2 && out[1]==3,ctr)
7 gv_check("Missing is unknown not0" as *u8,efpg_field("ok=1",EVP_K_GATES,1,out)==0-1,ctr)
8 gv_check("Numeric suffix refused" as *u8,efpg_field("epoch=123junk",EVP_K_EPOCH,0,out)==0-2,ctr)
9 gv_check("Duplicate field refused" as *u8,efpg_field("ok=1 ok=0",EVP_K_OK,0,out)==0-2,ctr)
10 gv_check("Overflow refused" as *u8,efpg_field("epoch=9223372036854775808",EVP_K_EPOCH,0,out)==0-2,ctr)
11 gv_check("Suffix key not mistaken for key" as *u8,efpg_field("ungrounded=4",EVP_K_GROUNDED,1,out)==0-1,ctr)
12 gv_check("Incomplete pair refused" as *u8,efpg_field("gates=2/",EVP_K_GATES,1,out)==0-2,ctr)
13 let rc:i64=efp_snapshot("/tmp/evidence-fleet-gates-t138.txt",1,out,d)
14 gv_check("Whole90000byte gate map5000rows beyond former65535cap" as *u8,rc==0 && out[0]==90000 && out[1]==5000 && out[2]==0,ctr)
15 efp_write("fixture_sha256=");efp_hex(d);efp_write("\n")
16 gv_check("Retained coherent stamp observed not current proof" as *u8,efp_stamp("/tmp/evidence-fleet-stamp-t138.verdict",200,out,d)==1 && out[1]==100 && out[3]==2,ctr)
17 gv_check("Future timestamp refused" as *u8,efp_stamp("/tmp/evidence-fleet-stamp-t138.verdict",50,out,d)==0-2,ctr)
18 gv_check("Missing stamp has distinct state" as *u8,efp_stamp("/tmp/evidence-fleet-stamp-missing-t138.verdict",200,out,d)==0,ctr)
19 gv_check("Existing snapshot refuses overwrite",efp_capture("knowledge/compare","../knowledge/compare","../knowledge/status","/tmp/evidence-fleet-gates-t138.txt")==2,ctr)
20 return gv_verdict("EVIDENCE-PROGRESSION" as *u8,ctr,"Strict retained-evidence and streaming checks; no current artifact or served acceptance inference." as *u8)
21}