code wiki / (root) / nx_deploy_capture_selection_gate.nx

nx_deploy_capture_selection_gate.nx

buildroot/runtime/nx_deploy_capture_selection_gate.nx

4693 B90 linesdepth 8pulls 17 transitivereach 0 importersview sourcekind gate/prooftopic deploy
docsdependenciesstructsconstsfunctions

about

Signal-free selector witness. Reads only this gate's owned child's /proc record. Never invokes proc_kill_by_name, deploy, restart, promotion or any signal primitive.

dependencies 2 imports · 0 importers

nx_hostctl.nx nx_gate_verdict.nx nx_deploy_capture_selection_ga

imports: nx_hostctl.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

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

main hc_slen gv_ctr sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gv_head gv_puts sys_write ↻ ds_write ds_read gv_check gv_puts ↻ hc_read_cmdline sys_openat_rd sys_read sys_close hc_contains gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap gv_verdict gv_note_bare_rate gv_bare_rate gv_at gv_obj_has_n

structs

none

consts

5const DS_PIPE_STORAGE: i64 = 8
6const DS_INT32_MASK: i64 = 0xffffffff
7const DS_INT32_SHIFT: i64 = 32
8const DS_RELEASE_BYTES: i64 = 1
9const DS_INTEGER_BUFFER: i64 = 32

functions

11func ds_write(fd: i64, data: *u8, n: i64) -> i64
called by 1: main
18func ds_read(fd: i64, data: *u8, n: i64) -> i64
called by 1: main
25func main(argc: i64, argv: *i64) -> i64