code wiki / _hdl_build / nx_warden_build_test.nx

nx_warden_build_test.nx

buildroot/runtime/_hdl_build/nx_warden_build_test.nx

5913 B111 linesdepth 6pulls 24 transitivereach 0 importersview sourcekind gate/prooftopic warden
docsdependenciesstructsconstsfunctions

about

nx_warden_build_test.nx -- ENGINEER's gate for the Warden's one-command build: four REAL specs go in as feature vectors + params; three covered shapes must come out ADMITTED with their authored tests green and ZERO hand-driving between steps; the novel one must come out NEEDS_TUTOR (honest). Batch autonomy must measure exactly 750 permil (3 of 4) -- measured, not asserted. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_warden_build.nx _pm_log_spec.nx nx_warden_build_test.nx

imports: nx_warden_build.nx_pm_log_spec.nx

imported by: nobody (leaf or entry point)

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

main wb_build plc_classify plc_table sys_mmap plc_table_rows wb_dispatchable wb_author wb_cat pe_author sys_openat_wr pe_emit_verdict_gate pe_w sys_write pe_wn sys_mmap ↻ sys_write ↻ pe_emit_comparator pe_w ↻ pe_emit_accumulator pe_w ↻ sys_close pe_emit_verdict_test pe_w ↻ pe_wn ↻ pe_emit_comparator_test pe_w ↻ pe_emit_accumulator_test pe_w ↻ pe_author_threshold sys_openat_wr ↻ pe_emit_threshold_table pe_w ↻ pe_wn ↻ sys_close ↻ pe_emit_threshold_test pe_w ↻ pe_wn ↻ pe3_author_state_flow sys_openat_wr ↻

structs

none

consts

none

functions

8func wt_vec(a: i64, b: i64) -> *i64
called by 1: main calls 1: plc_new_features
15func main() -> i64