code wiki / _hdl_build / nx_oo_extract_gate.nx

nx_oo_extract_gate.nx

buildroot/runtime/_hdl_build/nx_oo_extract_gate.nx

18030 B293 linesdepth 3pulls 6 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_oo_extract_gate.nx -- GATE for the byte-proven OO extractor (5 teeth, REAL builds via nx_buildonly). PREREQ: stage _offc/nx_oo_extract.elf + _offc/nx_buildonly.elf. Fixtures go to buildroot/runtime/_hdl_build/ -- NOT runtime/_hdl_build/, which only exists when CWD is the nxc2 source root; /api/gate_run runs from the SERVING root where no runtime/ tree exists, so ss_writefile wrote nothing, the extractor found no consumer, and T1 reported ABORTED(consumer-ooc1-does-not-build-standalone) -- the gate accusing the EXTRACTOR of its own fixture bug. One extractor fork per tooth (self-exec chain). Fixtures written into runtime/_hdl_build/ (so bare-name build resolves them), cleaned up each tooth. T1 identical oohelp across 2 consumers -> EXTRACTED, base created, consumers import it + no longer define it, each rebuilt BYTE-IDENTICAL | T2 NEG different bodies -> REFUSED + consumers UNCHANGED | T3 the REFUSED carries reason= AND fix= (feedback law) | T4 NEG function-not-defined -> ABORTED | T5 EXTRACTED carries reason= AND fix=. license_tier: ORIGINAL No hw writes (Rule 26).

dependencies 5 imports · 0 importers

nx_seat_drive_lib.nx nx_seg_store.nx nx_deploy_lib.nx nx_syscalls.nx nx_gate_verdict.nx nx_oo_extract_gate.nx

imports: nx_seat_drive_lib.nxnx_seg_store.nxnx_deploy_lib.nxnx_syscalls.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

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

main og_streq og_lock_release sys_unlinkat sd_w sys_write og_wnum sys_mmap nxa_die sys_write ↻ sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ sd_w ↻ og_itoa sys_mmap ↻ sys_write ↻ sys_exit ↻ og_atoi sys_openat_rd sys_close gv_ctr sys_mmap ↻ gv_need gv_puts sys_write ↻ gv_verdict gv_note_bare_rate gv_bare_rate gv_at gv_obj_has_n

structs

none

consts

59const OG_LOCK: *u8 = "/tmp/nx_oo_extract_gate.lock" as *u8

functions

16func og_atoi(s: *u8) -> i64 { var v: i64 = 0; var i: i64 = 0; while s[i] != (0 as u8) { let c: i64 = s[i] as i64; if c >= 48 { if c <= 57 { v = v * 10 + (c - 48) } } i = i + 1 } return v }
called by 1: main
17func og_itoa(dst: *u8, v: i64) -> i64 { var m: i64 = v; let t: *u8 = sys_mmap(24); var k: i64 = 0; if m == 0 { t[0] = 48 as u8; 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 { dst[i] = t[k - 1 - i]; i = i + 1 } dst[k] = 0 as u8; return k }
called by 3: og_wnumog_lock_acquiremain calls 1: sys_mmap
18func og_len(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
called by 1: main
23func og_wnum(v: i64) -> i64
called by 1: main calls 4: sys_mmapsd_wog_itoasys_write
39func og_has(p: *u8, lit: *u8) -> i64
called by 1: main calls 3: sys_mmapsys_read_filesd_count
60func og_lock_acquire() -> i64
called by 1: main calls 5: sys_mmapog_itoasys_now_ussys_writesys_close
71func og_lock_release() -> i64 { return sys_unlinkat(OG_LOCK) }
called by 1: main calls 1: sys_unlinkat
79func og_streq(a: *u8, b: *u8) -> i64
called by 1: main
86func og_clean() -> i64
called by 1: main calls 1: sys_unlinkat
95func og_run(c2: i64, outp: *u8) -> i64
called by 1: main calls 2: sys_mmapdep_run_capture
106func main(argc: i64, argv: *i64) -> i64
calls 23: og_streqog_lock_releasesd_wog_wnumsys_exitog_atoi+17