nx_vsbench_gate.nx

nx_vsbench_gate.nx -- certifies the head-to-head VS-board (F1148, eats seq1004's second half: the live board NAMED this gate for weeks while it existed nowhere -- a gate that is prose is not a gate). TEETH (each one earned by a defect this lane actually hit): T1 ANTI-FABRICATION: every Tier-3 EXT cell's OURS and THEIRS artifacts exist on disk with REAL bytes (>= a floor; the nx_bunny decoy law -- existence alone is foolable by a blank). T2 HONESTY-CANNOT-ROT: the board source still carries the contract strings (EXT-only headline, UNGROUNDED-on-zero, HYPOTHESIS-NOT-CLAIM) -- the strings that keep declarations from scoring. T3 DERIVED-NOT-FROZEN: the per-title emit must NOT contain the hardcoded "cells_ext":0 literal -- the exact regression that shipped: headline said ext=2 while Breeders' row said NOT-RUN. T4 TIER DISCIPLINE: every cell declaration carries an explicit ctier assignment on its line. T5 NEG-CONTROL: a fabricated evidence path must be ABSENT (T1 is a check, not a rubber stamp). license_tier: ORIGINAL expect_exit: 0