code wiki / _hdl_build / nx_govern_sweep_gate.nx
nx_govern_sweep_gate.nx source
↩ module page · 69 lines · 3690 B
1// nx_govern_sweep_gate.nx -- gate for gov F750. Fixtures built with explicit newline bytes.
2// T1 crash-loop log (25 respawns, threshold 20) -> UNGOVERNED (positive: catches ungoverned churn)
3// T2 healthy log (3 respawns) -> GOVERNED (NEGATIVE CONTROL)
4// Captures stdout via tr_run_capture + substring-matches the verdict. 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_line(fd: i64, s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(fd, s, n); let nl: *u8 = sys_mmap(2); nl[0] = 10 as u8; sys_write(fd, nl, 1); return 0 }
11func g_has(buf: *u8, n: i64, pat: *u8) -> i64 {
12 var pl: i64 = 0
13 while pat[pl] != (0 as u8) { pl = pl + 1 }
14 if pl == 0 { return 0 }
15 var i: i64 = 0
16 while i + pl <= n {
17 var k: i64 = 0
18 var m: i64 = 1
19 while k < pl { if buf[i + k] != pat[k] { m = 0; k = pl } else { k = k + 1 } }
20 if m == 1 { return 1 }
21 i = i + 1
22 }
23 return 0
24}
25func g_run(path: *u8, thr: *u8, out: *u8, ocap: i64, ol: *i64) -> i64 {
26 let av: *i64 = sys_mmap(64) as *i64
27 av[0] = "_offc/nx_govern_sweep.elf" as i64
28 av[1] = "respawns" as i64
29 av[2] = path as i64
30 av[3] = thr as i64
31 av[4] = 0
32 return tr_run_capture("_offc/nx_govern_sweep.elf" as *u8, av, out, ocap, ol)
33}
34func main() -> i64 {
35 let f1: i64 = sys_openat_wr("/tmp/gv_loop.log" as *u8, 0x1a4)
36 var i: i64 = 0
37 while i < 25 { g_line(f1, " [reader-keep] reader pid=999 died sig=0 code=1 -> respawn" as *u8); i = i + 1 }
38 sys_close(f1)
39 let f2: i64 = sys_openat_wr("/tmp/gv_ok.log" as *u8, 0x1a4)
40 g_line(f2, " [guard] restarted nx_torrent_daemon :8097 (was dead) -> respawn" as *u8)
41 g_line(f2, " [reap] pid=21012 sig=0 code=0" as *u8)
42 g_line(f2, " [guard] restarted nx_x :1 -> respawn" as *u8)
43 g_line(f2, " SVC all UP" as *u8)
44 sys_close(f2)
45 let ocap: i64 = 4096
46 let out: *u8 = sys_mmap(ocap)
47 let ol: *i64 = sys_mmap(16) as *i64
48 var pass: i64 = 0
49 var tot: i64 = 0
50
51 tot = tot + 1
52 g_run("/tmp/gv_loop.log" as *u8, "20" as *u8, out, ocap, ol)
53 if g_has(out, ol[0], "verdict=UNGOVERNED" as *u8) == 1 { pass = pass + 1; g_w(1, "T1 crash-loop->UNGOVERNED PASS\n" as *u8) } else { g_w(1, "T1 FAIL\n" as *u8) }
54
55 tot = tot + 1
56 g_run("/tmp/gv_ok.log" as *u8, "20" as *u8, out, ocap, ol)
57 if g_has(out, ol[0], "verdict=GOVERNED" as *u8) == 1 { pass = pass + 1; g_w(1, "T2 healthy->GOVERNED PASS (neg-control)\n" as *u8) } else { g_w(1, "T2 FAIL\n" as *u8) }
58
59 g_w(1, "GOVERN-SWEEP-GATE pass=" as *u8); g_wn(1, pass); g_w(1, "/" as *u8); g_wn(1, tot)
60 // MIGRATED onto nx_gate_verdict by nx_gate_dry_apply (D001, minimal form): every check
61 // row above is untouched, so the PASS/FAIL vector cannot change; only the hand-rolled
62 // verdict emission is replaced by the ONE shared base class. Proven by nx_gate_migrate verify.
63 let ctr__dry: *i64 = gv_ctr()
64 ctr__dry[0] = pass
65 ctr__dry[1] = tot
66 let rc__dry: i64 = gv_verdict("GOVERN-SWEEP-GATE" as *u8, ctr__dry, "teeth unchanged; verdict emission migrated onto the shared base class" as *u8)
67 sys_exit(rc__dry)
68 return rc__dry
69}