nx_state_spool_gate.nx

nx_state_spool_gate.nx -- liar-killed GATE for the store-and-forward state spool (CR-R1a). Proves NAS-first/local-fallback semantics OFFLINE via the deterministic fixture transport (nx_spool_txfix: argv[1] contains "ok" -> delivered, else fail): spooled lines persist; a working transport drains them; a FAILING transport keeps them (offline = NOTHING LOST -- the negative control); partial failure keeps exactly the failed lines in order without blocking later lines; a MISSING transport binary keeps everything (fail-safe, never fabricates delivery); empty spool is a no-op. usage: nx_state_spool_gate [txfix_elf] license_tier: ORIGINAL expect_exit: 0