code wiki / _hdl_build / nx_frontier_store_gate.nx
nx_frontier_store_gate.nx
buildroot/runtime/_hdl_build/nx_frontier_store_gate.nx
about
nx_frontier_store_gate.nx -- F-201 (store-law) verification with a NEGATIVE CONTROL.
Proves the frontier backlog round-trips through the SOVEREIGN seg-store: frs_seed a fixture into an
ISOLATED /tmp store -> frs_load reconstructs the exact rows; a re-seed with a changed row is REFLECTED
(live store read, not cached); a never-seeded prefix loads empty. Exit 0 = GREEN.
license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0
dependencies 2 imports · 0 importers
imports: nx_frontier_store.nxnx_syscalls.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
| 9 | const G_PFX: *u8 = "/tmp/frtest-a-" |
| 10 | const G_PFX_FRESH: *u8 = "/tmp/frtest-never-" |
| 11 | const G_CAP: i64 = 65536 |
| 12 | const G_NROWS: i64 = 2 // fixture has 2 real rows |
functions
| 14 | func g_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } |
| 15 | func g_w(s: *u8) -> i64 { sys_write(1, s, g_slen(s)); return 0 } |
| 17 | func g_find(h: *u8, hn: i64, needle: *u8) -> i64 |
| 30 | func g_fail(s: *u8) -> i64 { g_w("VERDICT RED -- " as *u8); g_w(s); g_w("\n" as *u8); sys_exit(1); return 1 } |
| 32 | func main() -> i64 |