code wiki / _hdl_build / nx_infomgmt_gate.nx
nx_infomgmt_gate.nx
buildroot/runtime/_hdl_build/nx_infomgmt_gate.nx
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
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
structs
| none |
consts
| 32 | const IG_ROWS: i64 = 15 |
functions
| 34 | func ig_p(s: *u8) -> i64 calls 1: sys_write |
| 41 | func ig_fp(fd: i64, s: *u8) -> i64 |
| 48 | func ig_fn(fd: i64, v: i64) -> i64 |
| 62 | func ig_memeq(a: *u8, b: *u8, n: i64) -> i64 called by 1: main |
| 71 | func ig_streq(a: *u8, b: *u8) -> i64 called by 1: main |
| 81 | func ig_report(logfd: i64, name: *u8, pass: i64) -> i64 |
| 100 | func ig_child_write(prefix: *u8, segid: i64, mode: i64, q: *i64, nq: i64) -> i64 |
| 120 | func main() -> i64 |