nx_dr_elo_gate.nx

nx_dr_elo_gate.nx -- KAT + neg-control for the sovereign Elo tournament ranker (DR-1). Proves: expected-score table (equal/symmetry/gap/monotonic), correct rating updates (an UPSET is rewarded more than an expected win), a real 3-player tournament ranks the dominant player #1, and the NEG-CONTROL: ignoring match outcomes CANNOT reproduce that ranking (outcomes drive the result). Uses the DRY nx_gate_verdict lib (D001 migrate-on-touch law). exit 0 = GREEN. Sovereign lane (nx_cc->nxasm).