code wiki / _hdl_build / nx_engineer_build_gate.nx

nx_engineer_build_gate.nx

buildroot/runtime/_hdl_build/nx_engineer_build_gate.nx

3962 B69 linesdepth 3pulls 5 transitivereach 7 importersview sourcekind gate/prooftopic engineer
docsdependenciesstructsconstsfunctions

about

nx_engineer_build_gate.nx -- the ENGINEER's MANAGED build: the four-pillar miscompile discipline as ONE standing step, owned by the Engineer historically and going forward, so nobody hand-works-around the register-pressure miscompile again. For any source it runs, in <10ms, the whole pipeline and IGNORES NOTHING: PILLAR 1 GUARD eng_compile_diag -- compile; loud-fail on rc!=0 or empty .s PILLAR 2 PROBE eng_asm_scan -- scan the EMITTED machine code for the live-across- call caller-saved clobber (the miscompile, where it lives) PILLAR 3 HEAL doc_asm_fix -- if found, the Doctor spills/reloads it, additively into a NEW .s (the protected source is untouched) PILLAR 4 VERIFY eng_link+eng_run -- link the (healed) asm and run; classify the outcome Verdicts: COMPILE-FAIL / LINK-FAIL / CRASH(signal) / FAIL(exit) / PASS. out[0]=#regs the Doctor healed, out[1]=signal or exit code. RACI: Engineer detects+verifies, Doctor heals, nobody blesses their own fix. license_tier: ORIGINAL

dependencies 3 imports · 4 importers

nx_engineer_crash.nx nx_eng_asm_scan.nx nx_doctor_asm_fix.nx nx_engineer_build_gate.nx nx_engineer_build_gate_test.nx nx_heal_selfix.nx nx_team_build.nx nx_warden_build.nx

imports: nx_engineer_crash.nxnx_eng_asm_scan.nxnx_doctor_asm_fix.nx

imported by: nx_engineer_build_gate_test.nxnx_heal_selfix.nxnx_team_build.nxnx_warden_build.nx

structs

none

consts

19const EBG_PASS: i64 = 0
20const EBG_COMPILE_FAIL: i64 = 1
21const EBG_LINK_FAIL: i64 = 2
22const EBG_CRASH: i64 = 3
23const EBG_FAIL: i64 = 4

functions

34func eng_build_gate(compiler: *u8, src: *u8, sout: *u8, healed: *u8, eout: *u8, capf: *u8, out: *i64) -> i64
63func ebg_verdict_name(v: i64) -> *u8
called by 3: ebg_onemaintb_one