nx_store_collision_check_gate.nx source

1// nx_store_collision_check_gate.nx -- gate for acl F745. Fixtures built with explicit tab(9)/nl(10) 2// bytes (NishiLang string literals don't carry \t). Captures stdout via tr_run_capture + substring 3// matches the verdict. T1 reused id -> COLLISION (positive) ; T2 unique ids -> CLEAN (NEG-CONTROL). 4// Runs _offc/nx_store_collision_check.elf (staged first). license_tier: ORIGINAL expect_exit: 0 5import "nx_tool_run.nx" 6import "nx_gate_verdict.nx" 7 8func g_w(fd: i64, s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(fd, s, n); return 0 } 9func g_wn(fd: i64, v: i64) -> i64 { var m: i64 = v; if m < 0 { g_w(fd, "-" as *u8); m = 0 - m } let t: *u8 = sys_mmap(28); var k: i64 = 0; if m == 0 { t[0] = 48 as u8; k = 1 } while m > 0 { t[k] = (48 + (m % 10)) as u8; m = m / 10; k = k + 1 } let o: *u8 = sys_mmap(28); var i: i64 = 0; while i < k { o[i] = t[k - 1 - i]; i = i + 1 } sys_write(fd, o, k); return 0 } 10func g_bytes(fd: i64, s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(fd, s, n); return 0 } 11func g_ch(fd: i64, c: i64) -> i64 { let b: *u8 = sys_mmap(2); b[0] = c as u8; sys_write(fd, b, 1); return 0 } 12func g_row(fd: i64, id: *u8, val: *u8) -> i64 { g_bytes(fd, id); g_ch(fd, 9); g_bytes(fd, val); g_ch(fd, 10); return 0 } 13func g_has(buf: *u8, n: i64, pat: *u8) -> i64 { 14 var pl: i64 = 0 15 while pat[pl] != (0 as u8) { pl = pl + 1 } 16 if pl == 0 { return 0 } 17 var i: i64 = 0 18 while i + pl <= n { 19 var k: i64 = 0 20 var m: i64 = 1 21 while k < pl { if buf[i + k] != pat[k] { m = 0; k = pl } else { k = k + 1 } } 22 if m == 1 { return 1 } 23 i = i + 1 24 } 25 return 0 26} 27func g_run(path: *u8, out: *u8, ocap: i64, ol: *i64) -> i64 { 28 let av: *i64 = sys_mmap(64) as *i64 29 av[0] = "_offc/nx_store_collision_check.elf" as i64 30 av[1] = "dupid" as i64 31 av[2] = path as i64 32 av[3] = "0" as i64 33 av[4] = 0 34 return tr_run_capture("_offc/nx_store_collision_check.elf" as *u8, av, out, ocap, ol) 35} 36func main() -> i64 { 37 let fd1: i64 = sys_openat_wr("/tmp/scc_dup" as *u8, 0x1a4) 38 g_row(fd1, "F1" as *u8, "alpha" as *u8); g_row(fd1, "F2" as *u8, "bravo" as *u8); g_row(fd1, "F1" as *u8, "charlie" as *u8) 39 sys_close(fd1) 40 let fd2: i64 = sys_openat_wr("/tmp/scc_clean" as *u8, 0x1a4) 41 g_row(fd2, "F1" as *u8, "alpha" as *u8); g_row(fd2, "F2" as *u8, "bravo" as *u8); g_row(fd2, "F3" as *u8, "charlie" as *u8) 42 sys_close(fd2) 43 let ocap: i64 = 4096 44 let out: *u8 = sys_mmap(ocap) 45 let ol: *i64 = sys_mmap(16) as *i64 46 var pass: i64 = 0 47 var tot: i64 = 0 48 49 tot = tot + 1 50 g_run("/tmp/scc_dup" as *u8, out, ocap, ol) 51 if g_has(out, ol[0], "verdict=COLLISION" as *u8) == 1 { pass = pass + 1; g_w(1, "T1 reused-id->COLLISION PASS\n" as *u8) } else { g_w(1, "T1 FAIL\n" as *u8) } 52 53 tot = tot + 1 54 g_run("/tmp/scc_clean" as *u8, out, ocap, ol) 55 if g_has(out, ol[0], "verdict=CLEAN" as *u8) == 1 { pass = pass + 1; g_w(1, "T2 unique-ids->CLEAN PASS (neg-control)\n" as *u8) } else { g_w(1, "T2 FAIL\n" as *u8) } 56 57 g_w(1, "STORE-COLLISION-GATE pass=" as *u8); g_wn(1, pass); g_w(1, "/" as *u8); g_wn(1, tot) 58 // MIGRATED onto nx_gate_verdict by nx_gate_dry_apply (D001, minimal form): every check 59 // row above is untouched, so the PASS/FAIL vector cannot change; only the hand-rolled 60 // verdict emission is replaced by the ONE shared base class. Proven by nx_gate_migrate verify. 61 let ctr__dry: *i64 = gv_ctr() 62 ctr__dry[0] = pass 63 ctr__dry[1] = tot 64 let rc__dry: i64 = gv_verdict("STORE-COLLISION-CHECK-GATE" as *u8, ctr__dry, "teeth unchanged; verdict emission migrated onto the shared base class" as *u8) 65 sys_exit(rc__dry) 66 return rc__dry 67}