code wiki / _hdl_build / nx_build_reg_sov_gate.nx

nx_build_reg_sov_gate.nx

buildroot/runtime/_hdl_build/nx_build_reg_sov_gate.nx

3037 B55 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic build
docsdependenciesstructsconstsfunctions

about

nx_build_reg_sov_gate.nx -- proves the SOVEREIGN seg_store build-registry (nx_build_reg_sov) works: submit + idempotent latest-wins + get state/parent + registered lookup + distinct + enum, all on a real seg_store (NO flat file). Neg-control: an un-submitted organ reads unregistered. expect_exit: 0

dependencies 2 imports · 0 importers

nx_build_reg_sov.nx nx_syscalls.nx nx_build_reg_sov_gate.nx

imports: nx_build_reg_sov.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

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

main rp sys_write br2_submit br2_submit_lin sys_mmap br2_get_raw sys_mmap ↻ ss_get_cap sys_mmap ↻ ss_scan_cap sys_mmap ↻ ss_manifest_cap ss_scan_seglist br2_ids_has br2_cat br2_key ss_begin ss_begin_cap sys_mmap ↻ ss_add ss_add2 ss_w32 ss_len 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 ↻

structs

none

consts

none

functions

7func rp(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 1: main calls 1: sys_write
8func rpn(v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
18func main() -> i64
calls 12: rpbr2_submitbr2_distinctbr2_submit_linsys_mmapbr2_get_state+6