nx_handoff_gate_proof.nx

nx_handoff_gate_proof.nx -- GATE proving the shared deep-gate library (runtime/, see the import below). NOTE: the lib filename appears ONLY in the import line -- nx_gate_mutation_probe splices that line to point at a mutated copy; a second textual occurrence would eat the splice and false-GREEN the probe. Oracle = TRUTH TABLES (math ground truth -- the correct external judge for pure logic, same class as RFC/NIST KAT vectors): every primitive is exercised on cases whose right answer is known a priori, including the ADVERSARY cases (a gamed 9999 score MUST be caught by the neg-control; a backslid count MUST trip the regression guard; an absent baseline/evidence file MUST report absent, never fabricate). T1 hg_neg_control -- honest wrong-input score passes; GAMED high score is CAUGHT (liar-killer). T2 hg_monotonic_* -- monotone passes, a reversal is caught (physics invariant). T3 hg_invariant_le/ge -- bound truth table incl equality edge. T4 hg_parse_ints -- mixed tab/space/newline ints parse exactly; empty buffer = 0. T5 hg_no_backslide/worsen-- equal holds; a single worse value = REGRESSION caught. T6 hg_baseline_load -- ABSENT file => -1 (evidence-grounding: never fabricated). T7 hg_evidence_file -- real file (this gate itself) opens=1; fake path=0 (liar-kill). T8 telemetry chain -- per-stage handoff report; fail count, worst-quality-drop + max-time LOCALIZERS correct; deterministic on re-run. Read-only, bounded, deterministic (never-brick). GREEN iff ALL pass. Run with CWD=nxc2 root. Sovereign nx_cc->nxasm (no gcc). expect_exit: 0 license_tier: ORIGINAL