code wiki / _hdl_build / nx_autonomy_expand.nx

nx_autonomy_expand.nx

buildroot/runtime/_hdl_build/nx_autonomy_expand.nx

7926 B104 linesdepth 4pulls 10 transitivereach 0 importersview sourcekind tooltopic autonomy
docsdependenciesstructsconstsfunctions

about

nx_autonomy_expand.nx -- Expands the library by selecting and registering novel primitives that solve out-of-coverage specifications.

dependencies 6 imports · 0 importers

nx_gate_gn.nx nx_gate_base.nx nx_synth_fit.nx nx_cap_register.nx nx_capreg_librarian.nx nx_syscalls.nx nx_autonomy_expand.nx

imports: nx_gate_gn.nxnx_gate_base.nxnx_synth_fit.nxnx_cap_register.nxnx_capreg_librarian.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 gw sys_write sys_mmap sf_powsum sf_pow_i lib_solves sf_keep sys_mmap ↻ sf_fit sys_mmap ↻ sf_rand_coef sf_lcg sf_merr sf_model sf_powsum ↻ sf_lcg ↻ sf_model ↻ gn expand_one sys_mmap ↻ sf_powsum ↻ lib_solves ↻ sf_keep ↻ reg_emitter ig_engineer ig_council ig_decision cr_can_register sml_check_cap sml_layer_valid sml_status_valid cl_next_idx cl_max_idx sys_mmap ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read

structs

none

consts

none

functions

22func grow(name: *u8, ok: i64) -> i64 { if ok==1 { gw(" PASS " as *u8) } else { gw(" FAIL " as *u8) } gw(name); gw("
calls 1: gw
24func lib_solves(known: *i64, kn: i64, xs: *i64, ys: *i64, n: i64, hy0: i64, hy1: i64) -> i64
29func reg_emitter(desc: *u8) -> i64
43func expand_one(k_true: i64, known: *i64, knb: *i64, pool: *i64, pooln: i64, desc: *u8) -> i64
62func main() -> i64