code wiki / _hdl_build / nx_build_govern.nx

nx_build_govern.nx

buildroot/runtime/_hdl_build/nx_build_govern.nx

5848 B104 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind tooltopic build
docsdependenciesstructsconstsfunctions

about

nx_build_govern.nx -- R-LIVE-1: first LIVE adoption of backend-build governance. Unlike the hermetic gates, this runs against the REAL tree: it (1) registers the organs WE built this session into a PERSISTENT build-registry (knowledge/registry/build_registry.log, the Librarian SSOT; additive framed store, idempotent via latest-wins), and (2) runs a REAL bypass census of runtime/_hdl_build -- total nx_*.nx organs vs how many are registered -> the honest MIGRATION SURFACE (the unregistered ones, exactly like the Publisher's "real bypassers" finding). Reuses br_* from nx_build_registry_lib. Verdict GREEN iff the session organs registered (distinct >= the count we submitted). license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_build_reg_sov.nx nx_syscalls.nx nx_build_govern.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 gp br2_len 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 ↻

structs

none

consts

10const K_MAGIC_8192: i64 = 8192
11const K_MAGIC_65536: i64 = 65536

functions

13func gp(s: *u8) -> i64 { let n: i64 = br2_len(s); sys_write(1, s, n); return 0 }
called by 1: main calls 2: br2_lensys_write
14func gpn(v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
23func gv_getdents(fd: i64, buf: *u8, count: i64) -> i64 { return __syscall(217, fd, buf, count, 0, 0, 0) }
called by 1: main
25func gv_isorgan(name: *u8) -> i64
called by 1: main calls 1: br2_len
36func in_set(name: *u8, names: *i64, cnt: i64) -> i64 { var k: i64 = 0; while k < cnt { if br2_streq(name, names[k] as *u8) == 1 { return 1 } k = k + 1 } return 0 }
called by 1: main calls 1: br2_streq
38func main() -> i64