code wiki / _hdl_build / nx_builder_synth.nx

nx_builder_synth.nx

buildroot/runtime/_hdl_build/nx_builder_synth.nx

2988 B54 linesdepth 3pulls 3 transitivereach 2 importersview sourcekind librarytopic builder
docsdependenciesstructsconstsfunctions

about

nx_builder_synth.nx -- the BUILDER's SYNTHESIS engine: the team AUTHORS solutions to a spec by SEARCH, instead of Claude hand-coding each answer (operator: "build the team to build the capabilities, not just you doing it"; the test is "who wrote the answer?"). Given only a SPEC -- an objective to minimize over a bit-allocation -- the Builder runs a GENERIC local search (hill-climb over bit-transfer moves) and DISCOVERS the optimal allocation itself. It is handed the objective, never the answer. Because the search is objective-agnostic, the team can author allocations for ANY spec (importance-weighted today; perception-weighted, energy-weighted next) -- that is a capability-to-build, not one artifact. The ENGINEER then verifies the searched solution beats the naive baseline; the CRITIC evaluates; the Librarian banks. RACI: Builder authors-by- search, Engineer verifies. license_tier: ORIGINAL Refs: mechanizable-invention doctrine; superopt search.

dependencies 1 imports · 2 importers

nx_imatrix.nx nx_builder_synth.nx nx_builder_synth_test.nx nx_spec_synth_test.nx

imports: nx_imatrix.nx

imported by: nx_builder_synth_test.nxnx_spec_synth_test.nx

structs

none

consts

none

functions

17func bsy_author_alloc(n: i64, imp: *i64, budget: i64, out: *i64) -> i64
48func bsy_verify(n: i64, imp: *i64, budget: i64, authored: *i64) -> i64