nx_evidence_snapshot_gate_t138.nx source
↩ module page · 62 lines · 8815 B
1import "nx_swcompare_evidence_lib_t138.nx"
2import "nx_gate_verdict.nx"
3func efg_bad(s: *u8,ctr: *i64,label: *u8) -> i64 {
4 let d: *EfsDoc=efs_parse(s,sg_len(s));gv_check(label,efs_validate(d)!=0,ctr);efs_free(d);return 0
5}
6func main() -> i64 {
7 let ctr: *i64=gv_ctr();gv_head("EVIDENCE-SNAPSHOT-PROJECTION" as *u8)
8 let r: *NxFileReadRegion=sys_mmap(72) as *NxFileReadRegion
9 let body: *u8=efs_capture("knowledge/gates/estate-evidence-progression-canonical-20260912.json" as *u8,"f8573e0903e27ab660fad9f982cc5a191e7b8ef6e416aac88924c03db82e6cdb" as *u8,r)
10 gv_check("actual-snapshot-checked-capture",(body as i64)>0 && r.total==64005 && r.code==0,ctr)
11 if (body as i64)<=0 { return 1 }
12 let d: *EfsDoc=efs_parse(body,r.total);gv_check("actual-full-snapshot-valid",efs_validate(d)==0,ctr)
13 let summary: i64=efs_get(d,0,"summary" as *u8)
14 gv_check("actual-denominator119",efs_number(d,summary,"eligible_matrix_domains" as *u8)==119,ctr)
15 gv_check("actual-gate89-retained105",efs_number(d,summary,"gate_declared_domains" as *u8)==89 && efs_number(d,summary,"retained_stamp_valid" as *u8)==105,ctr)
16 gv_check("actual-all119bindingunknown",efs_number(d,summary,"current_artifact_binding_unknown" as *u8)==119,ctr)
17 let bad: *EfsDoc=efs_parse(body,r.total-2);gv_check("truncated-snapshot-refused",efs_validate(bad)!=0,ctr);efs_free(bad)
18 efg_bad("{}{}" as *u8,ctr,"second-root-refused")
19 efg_bad("{\"a\":1,}" as *u8,ctr,"trailing-object-comma-refused")
20 efg_bad("{\"a\":[1,]}" as *u8,ctr,"trailing-array-comma-refused")
21 efg_bad("{\"a\":01}" as *u8,ctr,"leadingzero-refused")
22 let duplicate: *EfsDoc=efs_parse("{\"a\":1,\"a\":2}" as *u8,13)
23 gv_check("duplicate-required-member-refused",efs_get(duplicate,0,"a" as *u8)==0-2,ctr);efs_free(duplicate)
24 let escaped: *EfsDoc=efs_parse("{\"a\":\"<x>&\\u0022\"}" as *u8,sg_len("{\"a\":\"<x>&\\u0022\"}" as *u8))
25 let s: *u8=efs_string(escaped,efs_get(escaped,0,"a" as *u8))
26 gv_check("shared-string-decoder",(s as i64)>0 && streq(s,"<x>&\"" as *u8)==1,ctr)
27 if (s as i64)>0 { sys_munmap(s,escaped.tokens[efs_get(escaped,0,"a" as *u8)*EFS_TOKEN_WORDS+2]+1) };efs_free(escaped)
28 let wrong: *u8=efs_capture("knowledge/gates/estate-evidence-progression-canonical-20260912.json" as *u8,"0000000000000000000000000000000000000000000000000000000000000000" as *u8,r)
29 gv_check("digest-mismatch-refused",(wrong as i64)==0 && r.code==FIO_EBADMSG,ctr)
30
31 let emptyText: *u8="{\"schema\":\"estate-evidence-progression/v1\",\"observed_start_epoch\":1789245487,\"matrix_scope\":\"buildroot/knowledge/compare\",\"gate_scope\":\"knowledge/compare\",\"stamp_scope\":\"knowledge/status\",\"freshness_policy\":null,\"artifact_binding\":\"unknown: stamp does not retain current matrix/source identity\",\"served_acceptance\":\"not measured\",\"rows\":[],\"summary\":{\"eligible_matrix_domains\":0,\"gate_declared_domains\":0,\"gate_declaration_unknown\":0,\"matrix_unknown\":0,\"retained_stamp_valid\":0,\"retained_stamp_missing\":0,\"retained_stamp_invalid\":0,\"retained_stamp_unreadable\":0,\"recorded_execution_domains\":0,\"recorded_all_green_domains\":0,\"current_artifact_binding_unknown\":0,\"age_min_seconds\":null,\"age_max_seconds\":null,\"partition_reconciles\":true},\"observed_end_epoch\":1789245487,\"enumeration_complete\":true}" as *u8
32 let empty: *EfsDoc=efs_parse(emptyText,sg_len(emptyText))
33 gv_check("empty-population-no-fabricated-percent",efs_validate(empty)==0 && efs_number(empty,efs_get(empty,0,"summary" as *u8),"eligible_matrix_domains" as *u8)==0,ctr)
34 gv_check("null-age-remains-unknown",efs_kind(empty,efs_get(empty,efs_get(empty,0,"summary" as *u8),"age_min_seconds" as *u8))==NX_JSON_NULL,ctr)
35 efs_free(empty)
36 efg_bad("{\"schema\":\"estate-evidence-progression/v1\",\"observed_start_epoch\":1789245487,\"matrix_scope\":\"buildroot/knowledge/compare\",\"gate_scope\":\"knowledge/compare\",\"stamp_scope\":\"knowledge/status\",\"freshness_policy\":null,\"artifact_binding\":\"unknown: stamp does not retain current matrix/source identity\",\"served_acceptance\":\"not measured\",\"rows\":[],\"summary\":{\"eligible_matrix_domains\":0,\"gate_declared_domains\":0,\"gate_declaration_unknown\":0,\"matrix_unknown\":0,\"retained_stamp_valid\":0,\"retained_stamp_missing\":0,\"retained_stamp_invalid\":0,\"retained_stamp_unreadable\":0,\"recorded_execution_domains\":0,\"recorded_all_green_domains\":0,\"current_artifact_binding_unknown\":0,\"age_max_seconds\":null,\"partition_reconciles\":true},\"observed_end_epoch\":1789245487,\"enumeration_complete\":true}" as *u8,ctr,"missing-age-schema-refused")
37 efg_bad("{\"schema\":\"estate-evidence-progression/v1\",\"observed_start_epoch\":1789245487,\"matrix_scope\":\"buildroot/knowledge/compare\",\"gate_scope\":\"knowledge/compare\",\"stamp_scope\":\"knowledge/status\",\"freshness_policy\":null,\"artifact_binding\":\"unknown: stamp does not retain current matrix/source identity\",\"served_acceptance\":\"not measured\",\"rows\":[],\"summary\":{\"eligible_matrix_domains\":0,\"gate_declared_domains\":0,\"gate_declaration_unknown\":0,\"matrix_unknown\":0,\"retained_stamp_valid\":1,\"retained_stamp_missing\":0,\"retained_stamp_invalid\":0,\"retained_stamp_unreadable\":0,\"recorded_execution_domains\":0,\"recorded_all_green_domains\":0,\"current_artifact_binding_unknown\":0,\"age_min_seconds\":null,\"age_max_seconds\":null,\"partition_reconciles\":true},\"observed_end_epoch\":1789245487,\"enumeration_complete\":true}" as *u8,ctr,"inconsistent-partition-refused")
38 efg_bad("{\"schema\":\"estate-evidence-progression/v1\",\"observed_start_epoch\":1789245487,\"matrix_scope\":\"buildroot/knowledge/compare\",\"gate_scope\":\"knowledge/compare\",\"stamp_scope\":\"knowledge/status\",\"freshness_policy\":null,\"artifact_binding\":\"unknown: stamp does not retain current matrix/source identity\",\"served_acceptance\":\"not measured\",\"rows\":[],\"summary\":{\"eligible_matrix_domains\":9223372036854775808,\"gate_declared_domains\":0,\"gate_declaration_unknown\":0,\"matrix_unknown\":0,\"retained_stamp_valid\":0,\"retained_stamp_missing\":0,\"retained_stamp_invalid\":0,\"retained_stamp_unreadable\":0,\"recorded_execution_domains\":0,\"recorded_all_green_domains\":0,\"current_artifact_binding_unknown\":0,\"age_min_seconds\":null,\"age_max_seconds\":null,\"partition_reconciles\":true},\"observed_end_epoch\":1789245487,\"enumeration_complete\":true}" as *u8,ctr,"numeric-overflow-refused")
39 let safeText: *u8="{\"schema\":\"estate-evidence-progression/v1\",\"observed_start_epoch\":1789245487,\"matrix_scope\":\"<script>alert(1)</script>&\\\"\",\"gate_scope\":\"knowledge/compare\",\"stamp_scope\":\"knowledge/status\",\"freshness_policy\":null,\"artifact_binding\":\"unknown: stamp does not retain current matrix/source identity\",\"served_acceptance\":\"not measured\",\"rows\":[],\"summary\":{\"eligible_matrix_domains\":0,\"gate_declared_domains\":0,\"gate_declaration_unknown\":0,\"matrix_unknown\":0,\"retained_stamp_valid\":0,\"retained_stamp_missing\":0,\"retained_stamp_invalid\":0,\"retained_stamp_unreadable\":0,\"recorded_execution_domains\":0,\"recorded_all_green_domains\":0,\"current_artifact_binding_unknown\":0,\"age_min_seconds\":null,\"age_max_seconds\":null,\"partition_reconciles\":true},\"observed_end_epoch\":1789245487,\"enumeration_complete\":true}" as *u8
40 let safe: *EfsDoc=efs_parse(safeText,sg_len(safeText))
41 let hfd: i64=sys_openat_exclusive("/tmp/evidence-snapshot-escape-empty-t138-v3.html" as *u8,384)
42 gv_check("escaped-empty-render-open",hfd>=0,ctr)
43 if hfd>=0 { gv_check("escaped-empty-render",efs_html(safe,hfd,2,"fixture","fixture")==0,ctr);gv_check("escaped-empty-render-durable",sys_fsync(hfd)==0 && sys_close(hfd)==0,ctr) }
44 efs_free(safe)
45
46 let encoded: *u8="{\"summary\":{},\"\\u0073ummary\":{}}" as *u8
47 let encodedDoc: *EfsDoc=efs_parse(encoded,sg_len(encoded))
48 gv_check("escaped-equivalent-duplicate-refused",efs_get(encodedDoc,0,"summary" as *u8)==0-2,ctr);efs_free(encodedDoc)
49 let one: *u8="{\"\\u0073ummary\":{}}" as *u8
50 let oneDoc: *EfsDoc=efs_parse(one,sg_len(one))
51 gv_check("escaped-equivalent-key-recognized",efs_get(oneDoc,0,"summary" as *u8)>=0,ctr);efs_free(oneDoc)
52 let extra: *u8=",\"\\u0073ummary\":{}}\n" as *u8
53 let duplicateCap: i64=64005+sg_len(extra)+1
54 let duplicateFull: *u8=sys_mmap(duplicateCap)
55 var ci: i64=0;while ci<64003 { duplicateFull[ci]=body[ci];ci=ci+1 }
56 let dn: i64=scopy(duplicateFull,ci,extra);duplicateFull[dn]=0 as u8
57 let fullDup: *EfsDoc=efs_parse(duplicateFull,dn)
58 gv_check("actual-snapshot-escaped-summary-duplicate-refused",efs_validate(fullDup)!=0,ctr)
59 efs_free(fullDup);sys_munmap(duplicateFull,duplicateCap)
60 efs_free(d);sys_munmap(body,64006);sys_munmap(r as *u8,72)
61 return gv_verdict("EVIDENCE-SNAPSHOT-PROJECTION" as *u8,ctr,"snapshot projection only; current artifact acceptance remains unknown" as *u8)
62}