code wiki / _hdl_build / nx_doctor_sov_verify_register.nx

nx_doctor_sov_verify_register.nx

buildroot/runtime/_hdl_build/nx_doctor_sov_verify_register.nx

4351 B64 linesdepth 4pulls 6 transitivereach 0 importersview sourcekind tooltopic doctor
docsdependenciesstructsconstsfunctions

about

nx_doctor_sov_verify_register.nx -- GOVERNED registration of the Doctor's one-step sovereign batch verifier + it FLAGS the root-caused nx_int-alias compiler bug to the PM review log. Engineer gate: run the Doctor on two known-good modules (_min42 + nx_fab_slice_test) and require exit 0 (all pass). license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_cap_register.nx nx_pm_review_log.nx nx_syscalls.nx nx_doctor_sov_verify_register.

imports: nx_cap_register.nxnx_pm_review_log.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 sys_openat_rd sys_close dr_run2 sys_fork sys_openat_wr sys_dup3 sys_mmap sys_execve sys_exit sys_wait4 cr_w sys_write cr_wn sys_mmap ↻ sys_write ↻ ig_engineer ig_documented ig_council ig_decision pm_open sys_openat_append pm_deliverable pm_flag pm_w sys_write ↻ pm_cstr_len pm_gap pm_flag ↻ sys_exit ↻ cr_can_register sml_check_cap sml_layer_valid sml_status_valid sys_openat_append ↻ cr_write_entry cr_w ↻ cr_wn ↻

structs

none

consts

9const DR_LAYER: i64 = 3 // VER -- the Doctor is a verifier organ
10const DR_STATUS: i64 = 2 // ECO_PROVEN
11const DR_IDX: i64 = 211
12const DR_NLAYERS: i64 = 6

functions

15func dr_run2(path: *u8, a1: *u8, a2: *u8) -> i64
called by 1: main calls 7: sys_forksys_openat_wrsys_dup3sys_mmapsys_execvesys_exit+1
29func main() -> i64
calls 16: sys_openat_rdsys_closedr_run2cr_wcr_wnig_engineer+10