nx_heavyio_gate.nx

nx_heavyio_gate.nx -- proves nx_heavyio_lib, THE HEAVY-I/O CONCURRENCY BOUND, and RATCHETS ITS ADOPTION. THE DEFECT (measured 2026-09-02): the storm ruler is instantaneous and per-caller, so independent launch surfaces each pass it and collectively storm the box; the fix is a bound over what is RUNNING across all surfaces, composed from nx_poolgov (width) + nx_ioadmit_lib (storm witness). This gate proves the conf reader, the PURE decision (every conjunct and every unobservable input), the live-box wrappers (width in range, the counter that counts nothing when nothing matches and fires on a process that IS running -- this gate itself), the ratchet arithmetic (a floor that only rises), and -- the maintenance mechanism -- an ADOPTION RATCHET over the real conf: how many declared producers import the lib, floor persisted in knowledge/status/heavyio_adopt.ratchet, every unadopted producer NAMED (a count without a worklist is not actionable). Fixtures live in /tmp/nx_heavyio_gate/ (fixture-ratchet law), created at setup. nx_heavyio_gate (no args) license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0