code wiki / _hdl_build / nx_infomgmt_gate.nx

nx_infomgmt_gate.nx

buildroot/runtime/_hdl_build/nx_infomgmt_gate.nx

26571 B672 linesdepth 6pulls 7 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 3 imports · 0 importers

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

imports: nx_syscalls.nxnx_canon_cid.nxnx_seg_store.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 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 sys_mmap ↻ sha256_init sys_mmap ↻ sha256_k sha256_update sha256_compress_ni_blocks blk_set_byte sha256_compress sha256_compress_ni blk_word blk_byte sha256_final blk_set_byte ↻ sha256_compress ↻

structs

none

consts

32const IG_ROWS: i64 = 15

functions

34func ig_p(s: *u8) -> i64
calls 1: sys_write
41func ig_fp(fd: i64, s: *u8) -> i64
called by 2: ig_reportmain calls 1: sys_write
48func ig_fn(fd: i64, v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
62func ig_memeq(a: *u8, b: *u8, n: i64) -> i64
called by 1: main
71func ig_streq(a: *u8, b: *u8) -> i64
called by 1: main
81func ig_report(logfd: i64, name: *u8, pass: i64) -> i64
called by 1: main calls 1: ig_fp
100func ig_child_write(prefix: *u8, segid: i64, mode: i64, q: *i64, nq: i64) -> i64
120func main() -> i64