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 21 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)

structs

none

consts

none

functions

8func wt_vec(a: i64, b: i64) -> *i64
15func main() -> i64