code wiki / _hdl_build / nx_offc_install.nx

nx_offc_install.nx

buildroot/runtime/_hdl_build/nx_offc_install.nx

28956 B473 linesdepth 2pulls 2 transitivereach 3 importersview sourcekind tooltopic offc

docs dependencies structs consts functions

about

nx_offc_install.nx -- ENGINEER GUARDRAIL against LM-026 (the stale-_offc landmine that cost a full session on the MMU instruction-fetch rung): `nx_sov_build_run <name>` builds the FRESH binary to /tmp/<name>.sov.elf and runs THAT as its smoke, but does NOT reliably install it to _offc/<name>.elf. Gates/organs fork _offc/*.elf, so they silently test a STALE binary -- source edits never take effect and diagnostics never fire. This organ is the structural prevention: it DETECTS the staleness (byte mismatch between the installed _offc artifact and the fresh /tmp build) and ATOMICALLY installs the fresh build (write temp + renameat = rule 16 immutable/atomic deploy), then VERIFIES byte-equal. It is the AUTO remedy seeded as known-issue LM-026 (nx_known_issue_seed): when any Engineer/Doctor diagnostic contains the signature "STALE-OFFC-ARTIFACT", ki_recall routes here (nx_offc_install:oi_install) so the team auto-heals instead of chasing phantom logic bugs. oi_stale(name) -> 1 if _offc/<name>.elf differs from /tmp/<name>.sov.elf (or _offc absent while a fresh /tmp build exists); 0 if byte-identical (fresh) or no /tmp build to judge. oi_install(name) -> atomically copy /tmp/<name>.sov.elf -> _offc/<name>.elf + verify; 1 on success. main <name> -> detect; install-if-stale; emit the STALE-OFFC-ARTIFACT recall signature + verdict. Sovereign, no gcc/.sh. license_tier: ORIGINAL

dependencies 1 imports · 3 importers

imports: nx_syscalls.nx

imported by: _freshness_gate.nx_offc_install_gate.nx_sbr_install_gate.nx

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

structs

none

consts

19	const OI_MAGIC_1024: i64 = 1024
20	const OI_MAGIC_1000000000: i64 = 1000000000
22	const OI_SIG: *u8 = "STALE-OFFC-ARTIFACT"
23	const OI_LOG: *u8 = "knowledge/status/offc_install.log"
24	const OI_ATFDCWD: i64 = 0 - 100
114	const OI_STAT_MODE_OFF: i64 = 24
115	const OI_S_IXUSR: i64 = 64
236	const OI_DIRBUF: i64 = 65536

functions

26	func oi_len(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 4: oi_p oi_fp oi_ends oi_census
27	func oi_p(s: *u8) -> i64 { sys_write(1, s, oi_len(s)); return 0 } called by 2: oi_census main calls 2: sys_write oi_len
28	func oi_fp(fd: i64, s: *u8) -> i64 { sys_write(fd, s, oi_len(s)); return 0 } called by 1: main calls 2: sys_write oi_len
31	func oi_cat(out: u8, a: u8, b: u8, c: u8) -> i64 called by 4: oi_offc_path oi_tmp_path oi_tmpinstall_path oi_has_source
42	func oi_offc_path(name: u8, out: u8) -> i64 { return oi_cat(out, "_offc/" as u8, name, ".elf" as u8) } called by 5: oi_stale oi_install_from oi_refresh oi_stale_vs main calls 1: oi_cat
43	func oi_tmp_path(name: u8, out: u8) -> i64 { return oi_cat(out, "/tmp/" as u8, name, ".sov.elf" as u8) } called by 1: oi_src_pick calls 1: oi_cat
44	func oi_tmpinstall_path(name: u8, out: u8) -> i64 { return oi_cat(out, "_offc/" as u8, name, ".elf.oitmp" as u8) } called by 1: oi_install_from calls 1: oi_cat
45	func oi_cat2(out: u8, a: u8, b: *u8) -> i64 called by 2: oi_src_pick oi_promoted_path
63	func oi_src_pick(name: u8, out: u8) -> i64 called by 3: oi_stale oi_install oi_census calls 4: oi_tmp_path sys_mmap sys_read_file oi_cat2
89	func oi_differ(a: u8, alen: i64, b: u8, blen: i64) -> i64 called by 3: oi_stale oi_install_from oi_stale_vs
116	func oi_executable(path: *u8) -> i64 called by 1: oi_stale calls 2: sys_mmap sys_fstatat
123	func oi_stale(name: *u8) -> i64 called by 3: main oi_census main calls 6: sys_mmap oi_offc_path oi_src_pick sys_read_file oi_executable oi_differ
142	func oi_install_from(name: u8, tp: u8) -> i64 called by 2: oi_install oi_install_promoted calls 9: sys_mmap oi_offc_path oi_tmpinstall_path sys_read_file sys_openat_wr sys_write+3
161	func oi_install(name: *u8) -> i64 called by 2: main main calls 3: sys_mmap oi_src_pick oi_install_from
171	func oi_install_promoted(name: *u8) -> i64 called by 2: oi_refresh main calls 3: sys_mmap oi_promoted_path oi_install_from
184	func oi_fresh(path: *u8) -> i64 called by 3: main main main calls 2: sys_mmap sys_read_file
194	func oi_mtime_ns(path: *u8) -> i64 called by 2: main oi_src_stale calls 2: sys_mmap sys_fstatat
208	func oi_src_stale(artifact: u8, source: u8) -> i64 called by 1: main calls 1: oi_mtime_ns
217	func oi_wn(fd: i64, v: i64) -> i64 { let bb: u8=sys_mmap(28); var m: i64=v; if m<0{m=0-m;sys_write(fd,"-" as u8,1)}; let t: *u8=sys_mmap(28); var k: i64=0; if m==0{t[0]=48;k=1}; while m>0{t[k]=(48+(m%10)) as u8;m=m/10;k=k+1}; var i: i64=0; while i<k{bb[i]=t[k-1-i];i=i+1}; sys_write(fd,bb,k); return 0 } called by 5: main main main oi_census main calls 2: sys_mmap sys_write
238	func oi_streq(a: u8, b: u8) -> i64 called by 1: main
245	func oi_ends(s: u8, suf: u8) -> i64 called by 1: oi_census calls 1: oi_len
254	func oi_promoted_path(name: u8, out: u8) -> i64 { return oi_cat2(out, name, ".elf" as *u8) } called by 2: oi_install_promoted oi_census calls 1: oi_cat2
263	func oi_refresh(name: *u8) -> i64 called by 1: main calls 4: sys_mmap oi_offc_path sys_read_file oi_install_promoted
279	func oi_stale_vs(name: u8, sp: u8) -> i64 called by 1: oi_census calls 4: sys_mmap sys_read_file oi_offc_path oi_differ
296	func oi_has_source(name: u8, out: u8) -> i64 called by 1: oi_census calls 3: oi_cat sys_mmap sys_read_file
306	func oi_census() -> i64 called by 1: main calls 16: sys_openat_rd oi_p sys_mmap sys_getdents64 dirent_reclen dirent_name+10
413	func main(argc: i64, argv: *i64) -> i64 calls 14: oi_p oi_streq oi_census oi_refresh oi_install_promoted oi_wn+8