code wiki / _hdl_build / nx_engineer_build_gate_test.nx

nx_engineer_build_gate_test.nx

buildroot/runtime/_hdl_build/nx_engineer_build_gate_test.nx

2591 B47 linesdepth 4pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic engineer
docsdependenciesstructsconstsfunctions

about

nx_engineer_build_gate_test.nx -- prove the ENGINEER's managed build gate: it runs the four-pillar pipeline (compile -> scan -> heal -> link -> run) and classifies honestly, healing the miscompile when the probe finds it. The gate is the standing owner of this discipline going forward. Known answer: clean PASS, badsrc COMPILE-FAIL, a real test PASS.

dependencies 1 imports · 0 importers

nx_engineer_build_gate.nx nx_engineer_build_gate_test.nx

imports: nx_engineer_build_gate.nx

imported by: nobody (leaf or entry point)

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

main eb_puts run_all ebg_one eng_build_gate eng_compile_diag sys_mmap sys_fork sys_openat_wr sys_dup3 sys_close sys_execve sys_exit sys_wait4 sys_openat_rd sys_read eng_link sys_mmap ↻ sys_fork ↻ sys_openat_wr ↻ sys_dup3 ↻ sys_close ↻ sys_execve ↻ sys_exit ↻ sys_wait4 ↻ eng_run sys_mmap ↻ sys_fork ↻ sys_openat_wr ↻ sys_dup3 ↻ sys_close ↻ sys_execve ↻ sys_exit ↻ sys_wait4 ↻ eng_crashed eng_asm_scan sys_mmap ↻ sys_read_file sys_openat_rd ↻ sys_lseek

structs

none

consts

none

functions

8func eb_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 2: ebg_onemain
9func eb_num(v: i64) -> i64
called by 1: ebg_one
17func tally(r: *i64, n: i64) -> i64 { var ec: i64 = 0; var i: i64 = 0; while i < n { if r[i] != 1 { if ec == 0 { ec = i + 1 } } i = i + 1 } return ec }
called by 1: main
19func ebg_one(src: *u8, label: *u8, expect: i64, r: *i64, slot: i64) -> i64
30func run_all(r: *i64) -> i64
called by 1: main calls 1: ebg_one
37func main() -> i64