code wiki / _hdl_build / nx_procgen_p4_register.nx

nx_procgen_p4_register.nx

buildroot/runtime/_hdl_build/nx_procgen_p4_register.nx

3810 B48 linesdepth 4pulls 7 transitivereach 0 importersview sourcekind tooltopic procgen
docsdependenciesstructsconstsfunctions

about

nx_procgen_p4_register.nx -- registers PROCGEN P4 (causal water) + the refine-loop verdict-autonomy upgrade via the Librarian. ENGINEER evidence = real re-runs: the gate-built P4 KAT elf green AND the durable verdict bank exists (the autonomy organ's first row fired). license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_cap_register.nx nx_capreg_librarian.nx nx_syscalls.nx nx_procgen_p4_register.nx

imports: nx_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 p4r_run sys_fork sys_openat_wr sys_dup3 sys_mmap sys_execve sys_exit sys_wait4 sys_openat_rd sys_close cr_w sys_write cr_wn sys_mmap ↻ sys_write ↻ ig_engineer ig_decision ig_council sys_exit ↻ 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 sys_close ↻ cl_is_entry cl_parse_int cl_line_end cl_register_dual sys_openat_append cl_w sys_write ↻

structs

none

consts

none

functions

10func p4r_run(path: *u8) -> i64
called by 1: main calls 7: sys_forksys_openat_wrsys_dup3sys_mmapsys_execvesys_exit+1
27func main() -> i64
calls 12: p4r_runsys_openat_rdsys_closecr_wcr_wnig_engineer+6