code wiki / (root) / nx_evidence_snapshot_canonical_gate_t138.nx
`nx_evidence_snapshot_canonical_gate_t138.nx` source

1import "nx_swcompare_lib.nx"
2import "nx_gate_verdict.nx"
3func efg_bad(s: *u8,ctr: *i64,label: *u8) -> i64 {
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 {
let ctr: *i64=gv_ctr();gv_head("EVIDENCE-SNAPSHOT-PROJECTION" as *u8)
let r: *NxFileReadRegion=sys_mmap(72) as *NxFileReadRegion
let body: *u8=efs_capture("knowledge/gates/estate-evidence-progression-canonical-20260912.json" as *u8,"f8573e0903e27ab660fad9f982cc5a191e7b8ef6e416aac88924c03db82e6cdb" as *u8,r)
gv_check("actual-snapshot-checked-capture",(body as i64)>0 && r.total==64005 && r.code==0,ctr)
if (body as i64)<=0 { return 1 }
let d: *EfsDoc=efs_parse(body,r.total);gv_check("actual-full-snapshot-valid",efs_validate(d)==0,ctr)
let summary: i64=efs_get(d,0,"summary" as *u8)
gv_check("actual-denominator119",efs_number(d,summary,"eligible_matrix_domains" as *u8)==119,ctr)
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)
gv_check("actual-all119bindingunknown",efs_number(d,summary,"current_artifact_binding_unknown" as *u8)==119,ctr)
let bad: *EfsDoc=efs_parse(body,r.total-2);gv_check("truncated-snapshot-refused",efs_validate(bad)!=0,ctr);efs_free(bad)
efg_bad("{}{}" as *u8,ctr,"second-root-refused")
efg_bad("{\"a\":1,}" as *u8,ctr,"trailing-object-comma-refused")
efg_bad("{\"a\":[1,]}" as *u8,ctr,"trailing-array-comma-refused")
efg_bad("{\"a\":01}" as *u8,ctr,"leadingzero-refused")
let duplicate: *EfsDoc=efs_parse("{\"a\":1,\"a\":2}" as *u8,13)
gv_check("duplicate-required-member-refused",efs_get(duplicate,0,"a" as *u8)==0-2,ctr);efs_free(duplicate)
let escaped: *EfsDoc=efs_parse("{\"a\":\"<x>&\\u0022\"}" as *u8,sg_len("{\"a\":\"<x>&\\u0022\"}" as *u8))
let s: *u8=efs_string(escaped,efs_get(escaped,0,"a" as *u8))
gv_check("shared-string-decoder",(s as i64)>0 && streq(s,"<x>&\"" as *u8)==1,ctr)
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)
let wrong: *u8=efs_capture("knowledge/gates/estate-evidence-progression-canonical-20260912.json" as *u8,"0000000000000000000000000000000000000000000000000000000000000000" as *u8,r)
gv_check("digest-mismatch-refused",(wrong as i64)==0 && r.code==FIO_EBADMSG,ctr)
30
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
let empty: *EfsDoc=efs_parse(emptyText,sg_len(emptyText))
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)
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)
efs_free(empty)
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")
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")
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")
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
let safe: *EfsDoc=efs_parse(safeText,sg_len(safeText))
let hfd: i64=sys_openat_exclusive("/tmp/evidence-snapshot-escape-empty-canonical-t138.html" as *u8,384)
gv_check("escaped-empty-render-open",hfd>=0,ctr)
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) }
efs_free(safe)
45
let encoded: *u8="{\"summary\":{},\"\\u0073ummary\":{}}" as *u8
let encodedDoc: *EfsDoc=efs_parse(encoded,sg_len(encoded))
gv_check("escaped-equivalent-duplicate-refused",efs_get(encodedDoc,0,"summary" as *u8)==0-2,ctr);efs_free(encodedDoc)
let one: *u8="{\"\\u0073ummary\":{}}" as *u8
let oneDoc: *EfsDoc=efs_parse(one,sg_len(one))
gv_check("escaped-equivalent-key-recognized",efs_get(oneDoc,0,"summary" as *u8)>=0,ctr);efs_free(oneDoc)
let extra: *u8=",\"\\u0073ummary\":{}}\n" as *u8
let duplicateCap: i64=64005+sg_len(extra)+1
let duplicateFull: *u8=sys_mmap(duplicateCap)
var ci: i64=0;while ci<64003 { duplicateFull[ci]=body[ci];ci=ci+1 }
let dn: i64=scopy(duplicateFull,ci,extra);duplicateFull[dn]=0 as u8
let fullDup: *EfsDoc=efs_parse(duplicateFull,dn)
gv_check("actual-snapshot-escaped-summary-duplicate-refused",efs_validate(fullDup)!=0,ctr)
efs_free(fullDup);sys_munmap(duplicateFull,duplicateCap)
efs_free(d);sys_munmap(body,64006);sys_munmap(r as *u8,72)
return gv_verdict("EVIDENCE-SNAPSHOT-PROJECTION" as *u8,ctr,"snapshot projection only; current artifact acceptance remains unknown" as *u8)
62}
nx_evidence_snapshot_canonical_gate_t138.nx source

`nx_evidence_snapshot_canonical_gate_t138.nx` source
