nx_observability_graph_gate_t138.nx source
↩ module page · 26 lines · 1913 B
1import "nx_swcompare_lib.nx"
2import "nx_gate_verdict.nx"
3func main() -> i64 {
4 let ctr: *i64=gv_ctr();gv_head("OBSERVABILITY-GRAPH-RECONCILE" as *u8)
5 let n: *i64=sys_mmap(32) as *i64
6 let p: *u8=sys_read_file("knowledge/compare/observability_efp_private_20260912.plan" as *u8,n)
7 let r: *u8=sys_read_file("knowledge/compare/observability_efp_private_20260912.rank" as *u8,(n as i64+8) as *i64)
8 let x: *u8=sys_read_file("knowledge/compare/observability_efp_private_20260912.matrix" as *u8,(n as i64+16) as *i64)
9 let m: *SgPlan=sg_parse(p,n[0],r,n[1],x,n[2])
10 gv_check("actual-corrected-graph-valid",sg_valid(m)==1,ctr)
11 gv_check("all15-identities-retained",m.declared==15 && m.count==15,ctr)
12 gv_check("rank-input-identities-bound",m.binding_ok==1,ctr)
13 gv_check("rank-population15",m.rank_count==15 && m.rank_mismatches==0,ctr)
14 gv_check("rank-state-bound-only",streq(sg_rank_state(m),"PLAN_MATRIX_BOUND_ONLY" as *u8)==1,ctr)
15 let a: i64=sg_find(m,"OB10" as *u8,4);let b: i64=sg_find(m,"receipt_durability" as *u8,18);let c: i64=sg_find(m,"OB11" as *u8,4)
16 gv_check("earliest-OB10-keeps-telemetry",a>=0 && streq(m.nodes[a*SGP_FIELDS+3] as *u8,"us_classify" as *u8)==1,ctr)
17 gv_check("receipt-identity-retained",b>=0,ctr)
18 gv_check("semantic-prerequisite-followed",c>=0 && streq(m.nodes[c*SGP_FIELDS+7] as *u8,"receipt_durability" as *u8)==1,ctr)
19 let old: *u8=sys_read_file("knowledge/gates/observability-pre-graph-reconcile-20260912.plan.txt" as *u8,(n as i64+24) as *i64)
20 let before: *SgPlan=sg_parse(old,n[3],0 as *u8,0,x,n[2])
21 gv_check("actual-prior-plan-reproduces-malformed",sg_valid(before)==0 && before.malformed==1,ctr)
22 let changed: *SgPlan=sg_parse(old,n[3],r,n[1],x,n[2])
23 gv_check("different-plan-does-not-bind",changed.binding_ok==0,ctr)
24 sg_graph_text(m,1)
25 return gv_verdict("OBSERVABILITY-GRAPH-RECONCILE" as *u8,ctr,"graph and rank identity only; capability readiness unverified" as *u8)
26}