code wiki / proc
topic: proc
12 modules sharing the proc name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_proc.nx | process management syscalls (fork / execve / wait4 / clone). | 149 | 11 |
| nx_proc_ctl.nx | shared sovereign /proc process control: kill-by-name + alive-by-name, EXTRACTED VERBATIM | 263 | 11 |
| nx_proc_ctl_cmdl.nx | canonical sovereign process control: kill by FULL /proc/<pid>/cmdline. THE one true copy that | 67 | 2 |
| nx_proc_ctl_gate.nx | proves the canonical full-cmdline matcher, including the EXACT disaster case: a 22-char | 42 | 2 |
| nx_proc_ctl_hb.nx | shared sovereign /proc process control: kill-by-name + alive-by-name, EXTRACTED VERBATIM | 96 | 6 |
| nx_proc_gate.nx | gates the process primitive: fork spawns a child, wait4 reaps it, the exit code propagates. | 35 | 1 |
| nx_proc_kat.nx | KAT for nx_proc (process syscalls + wait-status decoders). HONESTY [W] weak point | 44 | 3 |
| nx_proc_kill.nx | sovereign "kill by FULL /proc/<pid>/cmdline" CLI (retires pkill). Now composes the canonical | 34 | 2 |
| nx_proc_list.nx | SOVEREIGN process lister (no ps/shell). Scans /proc, prints "pid<TAB>comm" for | 60 | 5 |
| nx_proc_snapshot.nx | ONE /proc walk answers EVERY liveness question (seq1318 root fix). | 246 | 16 |
| nx_proc_snapshot_gate.nx | proves the seq1318 fix is CORRECT (same answers) and ACTUALLY O(P) | 198 | 5 |
| nx_proc_spawn.nx | HIGH-LEVEL spawn-with-capability-gate layer above | 166 | 7 |