code wiki / _hdl_build / nx_genesis_live_gate.nx

nx_genesis_live_gate.nx

buildroot/runtime/_hdl_build/nx_genesis_live_gate.nx

4483 B101 linesdepth 9pulls 12 transitivereach 0 importersview sourcekind gate/prooftopic genesis

docs dependencies structs consts functions

about

nx_genesis_live_gate.nx -- proves the per-host live driver-sovereignty ingest. T1 real-host-consistent : on the real hwmap.tsv, present>=1 AND the tally sums to present N1 uncovered-seen : a device whose PCI class is unmapped -> uncovered >= 1 (a real gap) N2 gpu-locked-seen : a class-0x03 device -> third_party >= 1 (the GPU lock) N3 storage-sovereign-seen: a class-0x01 device -> sovereign >= 1 (virtio-blk driver) GREEN only if all four hold. Evidence -> knowledge/status/genesis_live_gate.log. Sovereign: imports nx_genesis_live + nx_framed_append + nx_syscalls (no gcc). license_tier: ORIGINAL

dependencies 3 imports · 0 importers

imports: nx_genesis_live.nxnx_framed_append.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

14	const GLG_LOG: *u8 = "knowledge/status/genesis_live_gate.log"

functions

16	func gv_cat(dst: u8, off: i64, s: u8) -> i64 { var i: i64 = 0; while s[i] != 0 as u8 { dst[off + i] = s[i]; i = i + 1 } return off + i } called by 3: gv_tmppath gv_row main
17	func gv_catn(dst: *u8, off: i64, v: i64) -> i64 called by 2: gv_tmppath main calls 1: sys_mmap
27	func gv_write_file(path: u8, content: u8) -> i64 called by 1: main calls 3: sys_openat_wr sys_write sys_close
33	func gv_tmppath(out: u8, stem: u8, epoch: i64, pid: i64) -> i64 called by 1: main calls 2: gv_cat gv_catn
37	func gv_row(name: *u8, pass: i64) -> i64 called by 1: main calls 4: sys_mmap gv_cat fa_appendz gl_puts
50	func main() -> i64 calls 10: gl_puts sys_now_realtime_sec sys_mmap gl_analyze gv_tmppath gv_write_file+4