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 1pulls 1 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 (unresolved)

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 eb_puts ↻ eb_num tally

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
called by 1: run_all calls 2: eb_putseb_num
30func run_all(r: *i64) -> i64
called by 1: main calls 1: ebg_one
37func main() -> i64