nx_deployjrnl_gate.nx
buildroot/runtime/nx_deployjrnl_gate.nx
about
nx_deployjrnl_gate.nx -- THE REFEREE for the deploy-audit reconstruction.
It tests the SHIPPING ruler, not a paraphrase of it: every judgement nx_deployjrnl makes lives in
nx_deployjrnl_lib as a pure function, and this gate imports that same lib. There is one copy, so a
tooth here cannot pass while the organ does something else.
Fixtures are assembled at RUNTIME under /tmp/<gate>/ and never share a path with a production
beat: a gate whose RED tracks its fixture rather than its code has been measured in this estate,
and a detector that scans source will otherwise find its own test data.
license_tier: ORIGINAL
dependencies 3 imports · 0 importers
imports: nx_syscalls.nxnx_gate_verdict.nxnx_deployjrnl_lib.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| 16 | const G_DIR: *u8 = "/tmp/nx_deployjrnl_gate" as *u8 |
| 17 | const G_BANK: *u8 = "/tmp/nx_deployjrnl_gate/bank" as *u8 |
| 18 | const G_MODE_DIR: i64 = 511 |
| 19 | const G_A_LIVE: *u8 = "/tmp/nx_deployjrnl_gate/a.elf" as *u8 |
| 20 | const G_A_PREV: *u8 = "/tmp/nx_deployjrnl_gate/a.elf.prev" as *u8 |
| 21 | const G_B_LIVE: *u8 = "/tmp/nx_deployjrnl_gate/b.elf" as *u8 |
| 22 | const G_B_PREV: *u8 = "/tmp/nx_deployjrnl_gate/b.elf.prev" as *u8 |
| 23 | const G_BANKED: *u8 = "/tmp/nx_deployjrnl_gate/bank/a.elf.pre-tag" as *u8 |
| 24 | const G_MISSING: *u8 = "/tmp/nx_deployjrnl_gate/definitely-absent" as *u8 |
functions
| 26 | func g_eq(a: i64, b: i64) -> i64 { if a == b { return 1 } return 0 } called by 1: main |
| 27 | func g_not(a: i64) -> i64 { if a == 1 { return 0 } return 1 } called by 1: main |
| 28 | func g_and(a: i64, b: i64) -> i64 { if a == 1 { if b == 1 { return 1 } } return 0 } called by 1: main |
| 29 | func g_ge0(v: i64) -> i64 { if v >= 0 { return 1 } return 0 } called by 1: main |
| 31 | func g_write(path: *u8, s: *u8) -> i64 |
| 39 | func main(argc: i64, argv: *i64) -> i64 |