nx_gate_subjects_gate.nx

nx_gate_subjects_gate.nx -- proves gv_subjects makes THE EMPTY-SET LAW structural. THE DEFECT IT EXISTS FOR: gv_check counts TEETH, never SUBJECTS. A gate with ten teeth over ZERO files reports 10/10 GREEN and every consumer reads a pass. The estate had written that law repeatedly and never built the mechanism, so it lived hand-rolled per-organ and was forgotten by default. MEASURED the day gv_subjects was added: a ship harness skipped its work behind a load guard, wrote no log, and EXITED 0 -- inconclusive reading as success. WHY SKIP AND NOT RED: a zero population is the ABSENCE OF EVIDENCE about the subject, not a failure of it. gv_subjects therefore composes gv_need (ctr[2]) instead of inventing a fourth state, which means it inherits the proven ordering -- a SKIP co-occurring with a real failure still escalates to RED and can never amnesty it. T5 pins exactly that.