code wiki / _hdl_build / nx_compare_rank_canon_capture_20260910.nx
nx_compare_rank_canon_capture_20260910.nx source
↩ module page · 20 lines · 1321 B
1import "nx_swcompare_lib.nx"
2import "nx_tool_run.nx"
3import "nx_gate_verdict.nx"
4func main() -> i64 {
5 let ctr: *i64=gv_ctr();gv_head("COMPARE-RANK-ARTIFACT" as *u8)
6 let cd: i64=sys_chdir(".." as *u8);gv_check("serving-cwd",cd==0,ctr)
7 let av: *i64=sys_mmap(32) as *i64
8 av[0]="buildroot/_build/nx_compare_rank.sov.elf" as i64
9 av[1]="cg_rank_canonical_20260910" as i64
10 av[2]="--artifact-only" as i64;av[3]=0
11 let rc: i64=tr_run_redirect(av[0] as *u8,av,"/tmp/compare-rank-canonical-real-20260910.out" as *u8,0 as *u8)
12 gv_check("real-plan-rank-exit",rc==0,ctr)
13 let pn: *i64=sys_mmap(16) as *i64;let rn: *i64=sys_mmap(16) as *i64;let mn: *i64=sys_mmap(16) as *i64
14 let p: *u8=sys_read_file("buildroot/knowledge/compare/cg_rank_canonical_20260910.plan" as *u8,pn)
15 let r: *u8=sys_read_file("buildroot/knowledge/compare/cg_rank_canonical_20260910.rank" as *u8,rn)
16 let x: *u8=sys_read_file("buildroot/knowledge/compare/cg_rank_canonical_20260910.matrix" as *u8,mn)
17 let m: *SgPlan=sg_parse(p,pn[0],r,rn[0],x,mn[0])
18 gv_check("rank-file-present",rn[0]>0,ctr);gv_check("rank-input-binding",m.binding_ok==1,ctr);gv_check("rank-69",m.rank_count==69,ctr);gv_check("rank-symbol-shape",m.rank_mismatches==0,ctr)
19 return gv_verdict("COMPARE-RANK-ARTIFACT" as *u8,ctr,"real isolated domain; task queue writes disabled" as *u8)
20}