nx_proc_gate.nx

buildroot/runtime/nx_proc_gate.nx

1769 B35 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic proc

docs dependencies structs consts functions

about

nx_proc_gate.nx -- gates the process primitive: fork spawns a child, wait4 reaps it, the exit code propagates. Turns the fork/exec/wait axis from LIVE-proven to GATE-proven. license_tier: ORIGINAL

dependencies 3 imports · 0 importers

imports: nx_syscalls.nxnx_gate.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

structs

none

consts

none

functions

7	func main() -> i64 calls 8: gw sys_fork sys_exit gn sys_mmap sys_wait4+2