code wiki / _hdl_build / nx_synth_register.nx

nx_synth_register.nx

buildroot/runtime/_hdl_build/nx_synth_register.nx

4615 B76 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind tooltopic synth
docsdependenciesstructsconstsfunctions

about

nx_synth_register.nx -- GOVERNED registration of the four S3-S4 code-synthesis capabilities (the Librarian's path, not Claude hand-editing the registry). Evidence is REAL, not asserted: each cap's Engineer verdict comes from fork/exec of its actual SOVEREIGN-BUILT gate ELF (/tmp/<name>.sov.elf, produced by nx_sov_build_run = nx_cc->nxasm_x86->run, no gcc) and the raw wait4 status. Scribe = the CAPABILITY_CATALOG.md synthesis section (written before this run). Council = separation of duties + additive-only. Only IG_INGEST writes a CAPREG line. Mirrors nx_fab_register. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_cap_register.nx nx_syscalls.nx nx_synth_register.nx

imports: nx_cap_register.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

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

main cr_w sys_write sr_register_one sys_openat_rd sys_close sr_run_status sys_fork sys_mmap sys_execve sys_exit sys_wait4 ig_engineer cr_w ↻ cr_wn sys_mmap ↻ sys_write ↻ ig_documented ig_council ig_decision ig_held_reason cr_can_register sml_check_cap sml_layer_valid sml_status_valid cr_refusal_reason sml_check_cap ↻ sys_openat_append cr_write_entry cr_w ↻ cr_wn ↻ cr_wn ↻ sys_exit ↻

structs

none

consts

11const SR_LAYER: i64 = 2 // GEN -- these caps generate code
12const SR_STATUS: i64 = 2 // ECO_PROVEN
13const SR_NLAYERS: i64 = 6

functions

15func sr_run_status(path: *u8) -> i64
called by 1: sr_register_one calls 5: sys_forksys_mmapsys_execvesys_exitsys_wait4
32func sr_register_one(idx: i64, elf: *u8, name: *u8) -> i64
called by 1: main calls 14: sys_openat_rdsys_closesr_run_statusig_engineercr_wcr_wn+8
65func main() -> i64
calls 4: cr_wsr_register_onecr_wnsys_exit