code wiki / _hdl_build / nx_infomgmt_gate.nx

nx_infomgmt_gate.nx

buildroot/runtime/_hdl_build/nx_infomgmt_gate.nx

27105 B680 linesdepth 6pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic infomgmt
docsdependenciesstructsconstsfunctions

about

nx_infomgmt_gate.nx -- THE INFORMATION-MANAGEMENT GATE: one command re-proves the sovereign storage substrate rung-1 claim set (segment store + canonical CID), evidence-driven + durable. Pure NishiLang, NO SQL, no .sh. Rows (each = a claim; FAIL on any row = RED, never silenced): canon-determinism same logical record, two field insertion orders => IDENTICAL canonical bytes => IDENTICAL CID canon-distinct different record => different CID (no collisions by construction of the encoding) fresh-process-read records written+committed by a CHILD PROCESS that exits; parent reads byte-exact (no shared memory -- the bytes came off disk) time-travel v2 shadows v1 on get(); BOTH versions remain readable in history (the additive law as a query surface) tombstone-additive delete = tombstone: get() says GONE, history still serves the old bytes (nothing is ever destroyed) crash-invisibility fault injection: child dies BEFORE the commit point (temp written, no rename/manifest) => key absent, prior data intact, manifest unchanged reopen-determinism all reads repeated from scratch are byte-identical and the canonical CID re-derives identically EXCEED rows vs SQL-class stores: time-travel + tombstone-additive + crash-invisibility are capabilities SQLite does not give by default. Durable verdicts: knowledge/status/infomgmt_gate.log. license_tier: ORIGINAL

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_canon_cid.nx nx_seg_store.nx nx_gate_verdict.nx nx_infomgmt_gate.nx

imports: nx_syscalls.nxnx_canon_cid.nxnx_seg_store.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

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

main sys_openat_append ig_fp sys_write ig_fn sys_mmap nxa_die sys_write ↻ sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ sys_write ↻ sys_now_realtime_sec sys_mmap ↻ sys_clock_gettime_real sys_mmap ↻ ss_cat ss_catn sys_mmap ↻ sys_now_us sys_mmap ↻ sys_clock_gettime_mono canon_encode sys_mmap ↻ cc_cmp cc_w32 cc_len sys_munmap cid_of sys_mmap ↻ sha256_digest

structs

none

consts

33const IG_ROWS: i64 = 15

functions

35func ig_p(s: *u8) -> i64
calls 1: sys_write
42func ig_fp(fd: i64, s: *u8) -> i64
called by 2: ig_reportmain calls 1: sys_write
49func ig_fn(fd: i64, v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
63func ig_memeq(a: *u8, b: *u8, n: i64) -> i64
called by 1: main
72func ig_streq(a: *u8, b: *u8) -> i64
called by 1: main
82func ig_report(logfd: i64, name: *u8, pass: i64) -> i64
called by 1: main calls 1: ig_fp
101func ig_child_write(prefix: *u8, segid: i64, mode: i64, q: *i64, nq: i64) -> i64
121func main() -> i64