code wiki / _hdl_build / nx_engineer_verify.nx

nx_engineer_verify.nx

buildroot/runtime/_hdl_build/nx_engineer_verify.nx

7089 B141 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind tooltopic engineer

docs dependencies structs consts functions

about

nx_engineer_verify.nx -- the NISHI ENGINEER's one-step batch sovereign VERIFIER / TEST gate. RACI CORRECTION (operator: "the doctor doesnt test the engineer does, the doctor fixes"): TESTING / VERIFICATION is the ENGINEER's responsibility -- this gate was originally MISNAMED "doctor". The DOCTOR's job is to HEAL a failed build (nx_doctor_build::doc_rebuild); the ENGINEER runs the gate. Clean pipeline: Builder AUTHORS -> ENGINEER VERIFIES (this) -> on fail DOCTOR HEALS -> re-verify -> Council ADMITS. ONE invocation builds + runs + reports MANY modules through the pure-sovereign path (nx_cc -> nxasm_x86 -> run, NO gcc/.sh/shell-loop). Each module: compile (recompile-retry), assemble, run under the <10s watchdog, capture the real exit via sys_wait4. Exits 0 iff all passed. Usage: nx_engineer_verify <module1> <module2> ... license_tier: ORIGINAL Reuses the sovereign spine from nx_sov_build_run.

dependencies 2 imports · 0 importers

imports: nx_syscalls.nxnx_itoa_lib.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

13	const DSV_MAGIC_4096: i64 = 4096
15	const DSV_MIN_ASM_BYTES: i64 = 128
16	const DSV_MAX_RETRIES: i64 = 12
17	const DSV_RUN_TIMEOUT_MS: i64 = 8000 // the <10s law: a hung module is KILLED + reported, never waited on

functions

19	func dsv_puts(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
24	func dsv_putn(v: i64) -> i64 { nxi_out(v); return 0 } called by 1: main calls 1: nxi_out
25	func dsv_cat(dst: u8, off: i64, s: u8) -> i64 { var i: i64 = 0; while s[i] != (0 as u8) { dst[off+i] = s[i]; i = i + 1 } return off + i } called by 1: dsv_build_run_one
28	func dsv_run(path: u8, argv: i64, envp: *i64, redir_out: i64, redir_err: i64) -> i64 called by 1: dsv_build_run_one calls 6: sys_fork sys_dup3 sys_execve sys_exit sys_mmap sys_wait4
41	func dsv_filesize(path: *u8) -> i64 called by 1: dsv_build_run_one calls 4: sys_openat_rd sys_mmap sys_read sys_close
54	func dsv_build_run_one(name: u8, compiler: u8, asm_tool: u8, envp: i64, devnull: i64) -> i64 called by 1: main calls 8: sys_mmap dsv_cat sys_openat_rd sys_close sys_openat_wr dsv_run+2
92	func dsv_run_watchdog(path: u8, argv: i64, envp: *i64, timeout_ms: i64) -> i64 called by 1: dsv_build_run_one calls 7: sys_fork sys_execve sys_exit sys_sleep_ms nx_kill sys_mmap+1
113	func main(argc: i64, argv: *i64) -> i64 calls 6: dsv_puts sys_exit sys_mmap sys_openat_wr dsv_build_run_one dsv_putn