code wiki / _hdl_build / nx_spec_author.nx

nx_spec_author.nx

buildroot/runtime/_hdl_build/nx_spec_author.nx

2333 B35 linesdepth 3pulls 3 transitivereach 1 importersview sourcekind librarytopic spec
docsdependenciesstructsconstsfunctions

about

nx_spec_author.nx -- the team BUILDS ITS OWN SPECS from research (operator: "the ability to turn research into specs is key"). A spec is the OBJECTIVE the Builder's search optimizes. Instead of Claude deciding what to optimize, the team COMPOSES the objective from CONFIRMED research findings: each finding that survived the Researcher+Critic gates about "what matters" sets a weight on an objective component. So the Blau-Michaeli finding (perception != distortion, Critic-blessed) RAISES the perception weight; the imatrix finding raises the importance/distortion weight. The composed objective is then handed to the WIDENED search (nx_builder_synth's hill-climb works on ANY composed importance -- that is the widening: specs are now arbitrary weighted objectives, not one hardcoded error). research -> spec -> search -> verified solution, all team-owned. license_tier: ORIGINAL

dependencies 1 imports · 1 importers

nx_imatrix.nx nx_spec_author.nx nx_spec_synth_test.nx

imports: nx_imatrix.nx

imported by: nx_spec_synth_test.nx

structs

none

consts

none

functions

15func spec_weight_from_findings(target_obj: i64, n: i64, finding_obj: *i64, finding_confirmed: *i64, finding_strength: *i64) -> i64
called by 1: main
27func spec_compose_importance(n: i64, w_dist: i64, w_perc: i64, dist_sens: *i64, perc_sens: *i64, out: *i64) -> i64
called by 1: main
35func spec_objective(n: i64, composed_imp: *i64, bits: *i64) -> i64 { return imat_weighted_error(n, composed_imp, bits) }