code wiki / (root) / nx_zombie_audit_gate.nx

nx_zombie_audit_gate.nx

buildroot/runtime/nx_zombie_audit_gate.nx

1887 B37 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_zombie_audit_gate.nx -- KAT for the zombie detector. Forks a DISTINCTIVE cluster of unreaped children (-> real zombies under this gate), asserts the detector counts that exact cluster, then reaps them and asserts the cluster is gone (neg-control). exit 0 = pass, N = assertion N failed.

dependencies 2 imports · 0 importers

nx_zombie_audit.nx nx_assert.nx nx_zombie_audit_gate.nx

imports: nx_zombie_audit.nxnx_assert.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

7func zg_has_count(cc: *i64, n: i64, target: i64) -> i64 { var i: i64=0; while i<n { if cc[i]==target { return 1 } i=i+1 } return 0 }
9func main() -> i64