code wiki / _hdl_build / nx_eldermig_register.nx

nx_eldermig_register.nx

buildroot/runtime/_hdl_build/nx_eldermig_register.nx

5748 B92 linesdepth 4pulls 6 transitivereach 0 importersview sourcekind tool

docs dependencies structs consts functions

about

nx_eldermig_register.nx -- GOVERNED registration of the two ELDERMIG data-layer caps (2026-06-10). ENGINEER verdict is MECHANICAL (re-runs the real gates, no typed grades): (a) E0 census: /tmp/_elder_census_authored.sov.elf 149 93 must exit 0 (CENSUS-GATE PASS); expectations 149/93 were derived from the INDEPENDENT block-scoped oracle 2026-06-10 (the naive whole-file grep said 173 = counted volumes:/networks: keys; census corrected it). (b) E1 sqlite reader KAT: /tmp/_sqlite_read_authored.sov.elf on wardrobe.db -> stdout must be BYTE-EXACT the oracle-verified 7 lines (python3-sqlite3 oracle, 4/4 Elder DBs incl. the 785-line content.db frozen snapshot with ~335K-row interior-btree walks). license_tier: ORIGINAL

dependencies 3 imports · 0 importers

imports: nx_cap_register.nxnx_pm_review_log.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 EMR_NLAYERS: i64 = 6

functions

17	func emr_run2(path: u8, a1: u8, a2: u8, outpath: u8) -> i64 called by 1: main calls 7: sys_fork sys_openat_wr sys_dup3 sys_mmap sys_execve sys_exit+1
42	func emr_file_eq(path: u8, want: u8) -> i64 called by 1: main calls 2: sys_mmap sys_read_file
54	func main() -> i64 calls 17: emr_run2 cr_w cr_wn emr_file_eq ig_engineer sys_openat_rd+11