nx_synthroom_gate.nx

nx_synthroom_gate.nx -- GATE for the room protocol (nx_synthroom_lib, /compare/synthroom rung SR1). THE LOAD-BEARING TEETH ARE T8 AND T9: the SAME log replayed twice yields BYTE-IDENTICAL intent streams, and the intent count is a PARTITION of the log (one row per event, none skipped). Everything else here checks a shape; those two check the contract the board promises. The neg-controls are the wire's three rules made falsifiable: a duplicate nonce is REFUSED (never double-applied), an unknown verb is REFUSED on the way in, a corrupt row is REFUSED on the way out with its index, and a menu without a fallback is REFUSED before the first tip. The lib is exercised IN-PROCESS so a mutation bite reaches it; the fixture lives under /tmp/<gate>/ created at SETUP (a teardown does not run when a run crashes) and the log is unlinked at setup so the gate is idempotent -- a gate that is not idempotent reports on its first run and lies about every run after. The comment character is CONSTRUCTED (SR_CH_HASH) because a literal hash inside a string is an nx_cc lexer trap. license_tier: ORIGINAL No hw writes (Rule 26).