code wiki / (root) / nx_memory_gate.nx

nx_memory_gate.nx

buildroot/runtime/nx_memory_gate.nx

3216 B60 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic memory
docsdependenciesstructsconstsfunctions

about

nx_memory_gate.nx -- gates the consolidated memory tool on a REAL fixture seg-store (authored via the canonical ss_begin/ss_add/ss_commit + ss_next_segid): latest-version get, absent vs TOMBSTONED discrimination, version-history count, registry-index readback, store discovery + live segment count. Runner must clean /tmp/memgate first. Exit 0 only on all-PASS. license_tier: ORIGINAL expect_exit: 0

dependencies 1 imports · 0 importers

nx_memory_lib.nx nx_memory_gate.nx

imports: nx_memory_lib.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main sys_mkdir mg_commit1 ss_begin ss_begin_cap sys_mmap ss_add ss_add2 ss_w32 ss_len mx_slen ss_commit ss_segid_ok sys_mmap ↻ ss_cat ss_catn sys_mmap ↻ sys_write ss_write_seg ss_segid_ok ↻ sys_mmap ↻ ss_cat ↻ ss_catn ↻ sys_write ↻ ss_segname ss_cat ↻ ss_catn ↻ ss_writefile sys_openat_wr sys_write ↻ sys_close sys_fsync sys_renameat ss_build_keys sys_mmap ↻ ss_r32 ss_kcmp ss_w32 ↻ ss_build_terms sys_mmap ↻

structs

none

consts

7const GATE_CHECKS: i64 = 7
8const DIR_MODE: i64 = 0x1ed // 0755
9const V2_LEN: i64 = 2 // len("v2") -- the LATEST k1 value
10const HIST_N: i64 = 2 // k1 versions authored
11const IDX_LEN: i64 = 6 // len("k1\nk2\n")
12const FIX_SEGS: i64 = 4 // commits authored below
13const TOMB_KIND: i64 = 2 // seg-store tombstone record kind

functions

15func mg_check(name: *u8, ok: i64, pass: *i64) -> i64
called by 1: main calls 1: mx_puts
20func mg_commit1(prefix: *u8, key: *u8, val: *u8, kind: i64) -> i64
called by 1: main calls 5: ss_beginss_addmx_slenss_commitss_next_segid
26func main(argc: i64, argv: *i64) -> i64
calls 14: sys_mkdirmg_commit1ss_beginss_addss_commitss_next_segid+8