nx_rungclose_gate.nx

nx_rungclose_gate.nx -- GATE for the close ruler v2 (nx_rungclose_lib, ecosystem EC57), driven IN-PROCESS on planted rows. v2 measures every stage and signs none, so the teeth prove the EVIDENCE readers and the rules over them: the production roster journal (a trial roster row never tests anything; a longer or prefix gate name is another gate; SKIP is neither verdict; turns are counted only since the land), the clock's actlog rows (a process killed by a signal did not run, a spawn that failed did not run, an MCP call is not a clock run, a prefix program is another program; a row planted EXACTLY as clk_actlog writes it -- the forked path alone, then exit= and job= -- is witnessed by its job name, and a longer or prefix job name is another clock row), the surface census row (each surface class; a prefix name is not the organ), the clock plane's agent command (the LAST declaration of a name wins over a stale first one, as the scheduler applies it), every link's three states and the rule that decided it, the issue classes and their ceilings (a ceiling never RAISES a stage; STALE is not rework), the climb, the stage snapshot the closer diffs against (round trip, cursor wrap, prefix neg-controls), the close-first worklist and the journal grammar, and THE ROSTERS (nx_rosterconf_lib, 2026-09-18): a roster is a (conf, journal) pair derived from a clock plane (the runner's default pair first, then every pair a beat row runs, whatever journal it writes; a beat naming no journal writes the production one; a trial row, an argless row, a PREFIX program and a line with no command add nothing; a CR from another host is not part of a name); a gate is ROSTERED by any conf -- a gate only on the heavy conf is rostered BY the heavy conf, the same gate against the default alone is not, and a gate on none is not; and THE CREDIT: a gate's roster GREEN is read from the production journal (always) and from the journal of every pair whose conf lists it -- a gate the slow beat alone runs is credited from the slow journal and green_in names it, a GREEN in a journal whose conf does NOT list the gate is never credited, a trial row never credits, a journal two rosters share is read once, and a gate rostered only by a beat whose journal cannot be read is UNOBSERVABLE, never HOLDS. Every fixture asserts its own condition first; the neg-controls are named. license_tier: ORIGINAL No hw writes (Rule 26).