nx_dr_ocm_gate.nx

nx_dr_ocm_gate.nx -- KAT + neg-control for the opportunity-cost research ranker (DR-6). Proves: priority monotonic up in value/momentum and DOWN in cost (the opportunity- cost denominator), integer sqrt + FutureWeaver geomean pre-score, cost-aware ranking, opportunity-cost = forgone best alternative, budget-aware greedy selection, and the NEG-CONTROL: a cost-IGNORING ranker leads a DIFFERENT vector (so the cost denominator genuinely changes the decision). DRY nx_gate_verdict lib (D001 migrate-on-touch).