code wiki / _hdl_build / nx_opaque_kat_register.nx

nx_opaque_kat_register.nx

buildroot/runtime/_hdl_build/nx_opaque_kat_register.nx

4859 B52 linesdepth 4pulls 7 transitivereach 0 importersview sourcekind tooltopic opaque
docsdependenciesstructsconstsfunctions

about

nx_opaque_kat_register.nx -- registers the OPAQUE auth arc (V-MODAUTH-2/4/6/7). ENGINEER evidence = all three gates are REBUILT + rerun here (prove-all): nx_opaque_rfc_kat RFC 9807 C.1.5 + C.1.6 byte-exact + negatives nx_modauth_e2e_gate register/login/validate full stack 10/10 nx_wiki_login_live_gate HTTP login + session gate 8/8 Atomic alloc via the Librarian. license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_cap_register.nx nx_capreg_librarian.nx nx_syscalls.nx nx_opaque_kat_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 okr_build_run 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_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 ↻ cl_wn nxi_fd

structs

none

consts

none

functions

11func okr_build_run(name: *u8) -> i64
called by 1: main calls 7: sys_forksys_openat_wrsys_dup3sys_mmapsys_execvesys_exit+1
28func main() -> i64
calls 10: okr_build_runcr_wcr_wnig_engineerig_decisionig_council+4