code wiki / _hdl_build / nx_compare_rank_refusal_gate_20260910.nx
nx_compare_rank_refusal_gate_20260910.nx source
↩ module page · 20 lines · 1729 B
1import "nx_swcompare_lib.nx"
2import "nx_tool_run.nx"
3import "nx_gate_verdict.nx"
4func rr_run(domain: *u8,path: *u8) -> i64 {
5 let av: *i64=sys_mmap(32) as *i64;av[0]="buildroot/_build/nx_compare_rank_artifact_20260910.sov.elf" as i64;av[1]=domain as i64;av[2]="--artifact-only" as i64;av[3]=0
6 return tr_run_redirect(av[0] as *u8,av,path,0 as *u8)
7}
8func main() -> i64 {
9 let c: *i64=gv_ctr();gv_head("COMPARE-RANK-REFUSAL" as *u8);sys_chdir(".." as *u8)
10 gv_check("malformed-real-refuses",rr_run("cg_rank_invalid_20260910" as *u8,"/tmp/cgrank-invalid-20260910.out" as *u8)==7,c)
11 gv_check("domain-path-refuses",rr_run("../escape" as *u8,"/tmp/cgrank-domain-20260910.out" as *u8)==2,c)
12 let n: *i64=sys_mmap(16) as *i64;let before: *u8=sys_read_file("buildroot/knowledge/compare/gameengine_ladder_candidate_20260910.rank" as *u8,n);let sha: *u8=sg_sha(before,n[0])
13 let d: i64=sys_mkdir("buildroot/knowledge/compare/gameengine_ladder_candidate_20260910.rank.tmp" as *u8,MODE_0644)
14 gv_check("private-output-obstruction",d==0,c)
15 gv_check("open-rank-write-fails",rr_run("gameengine_ladder_candidate_20260910" as *u8,"/tmp/cgrank-open-write-20260910.out" as *u8)==8,c)
16 let after: *u8=sys_read_file("buildroot/knowledge/compare/gameengine_ladder_candidate_20260910.rank" as *u8,n);gv_check("prior-rank-preserved",streq(sha,sg_sha(after,n[0]))==1,c)
17 let d2: i64=sys_mkdir("buildroot/knowledge/compare/cg_rank_closed_20260910.rank.tmp" as *u8,MODE_0644);gv_check("private-closed-obstruction",d2==0,c)
18 gv_check("closed-rank-write-fails",rr_run("cg_rank_closed_20260910" as *u8,"/tmp/cgrank-closed-write-20260910.out" as *u8)==8,c)
19 return gv_verdict("COMPARE-RANK-REFUSAL" as *u8,c,"private paths only; no queue dispatch" as *u8)
20}