code wiki / _hdl_build / nx_spec_ingest.nx

nx_spec_ingest.nx

buildroot/runtime/_hdl_build/nx_spec_ingest.nx

2690 B49 linesdepth 3pulls 4 transitivereach 1 importersview sourcekind librarytopic spec
docsdependenciesstructsconstsfunctions

about

nx_spec_ingest.nx -- the SPEC -> BUILDER -> INGEST bridge that was MISSING (operator: "is it being pushed into spec work for the builder and being ingested?" -- it wasn't). When the Monitor/opportunity loop selects a move, this turns it into a SPEC (in-type -> out-type, must verify), hands it to the BUILDER (bc_compose finds the chain), and on success BANKS a capability record by APPENDING it to a sovereign registry file -- automatic ingestion, written by the TEAM via sys_write, not hand-edited by Claude. The self-model is regenerated FROM this registry. license_tier: ORIGINAL Composes nx_builder_compose (the Builder) + nx_loop_monitor (productive -> emit spec).

dependencies 3 imports · 1 importers

nx_builder_compose.nx nx_ingest_governed.nx nx_syscalls.nx nx_spec_ingest.nx nx_spec_ingest_test.nx

imports: nx_builder_compose.nxnx_ingest_governed.nxnx_syscalls.nx

imported by: nx_spec_ingest_test.nx

structs

none

consts

13const SI_OK: i64 = 1
14const SI_REJECT: i64 = 0

functions

17func si_buildable(in_type: i64, out_type: i64, seq: *i64, maxlen: i64) -> i64
called by 1: main calls 1: bc_compose
23func si_ingest_verdict(chain_len: i64, verified: i64) -> i64
called by 1: main
32func si_bank_if_governed(fd: i64, name: *u8, namelen: i64, chain_len: i64, ingest_decision: i64) -> i64
called by 1: main calls 1: si_bank
39func si_bank(fd: i64, name: *u8, namelen: i64, chain_len: i64) -> i64