nx_suitebench_gate.nx

nx_suitebench_gate.nx -- the regression proof for the suite ruler. It imports nx_suitebench_lib, which is the SAME code the shipped ruler runs, so these teeth verify the instrument rather than a copy of it. The teeth that matter are the negative ones. An instrument that only demonstrates its happy path proves nothing: the whole value of this ruler is that it REFUSES bad input, so the gate has to show the refusals actually fire -- a fabricated citation must not be findable, a stub-worded claim must fall, and a cell an incumbent does not ship must not reach the denominator. T9 goes further and MUTATES a real row to prove the cynical bar is load-bearing: if the mutation does not lower the score, the bar is decoration. license_tier: ORIGINAL expect_exit: 0