nx_gate_green_test.nx

nx_gate_green_test.nx -- KATs for the shared last-verdict-line judge (GATE). T3 is the construction that caught the scorecard's false-green bug: the LAST anchor line says rc=1, a LATER unrelated line says rc=0 -- the judge must say RED (the buggy whole-tail window said GREEN). seq585 (2026-07-23): THIS KAT USED TO CERTIFY THE BUG. Its case 4 read // 4: anchor absent = ABSENT = red and asserted 0 -- pinning as INTENDED the exact conflation that made 953 runnable, genuinely PASSING gates machine-read as NOT-GREEN. The 1/0 cases are KEPT (they prove the wrapper contract is unbroken for all 14 live call sites, rule 19); T7-T13 are the discriminating teeth: an absent anchor must read UNJUDGEABLE, a missing file UNREADABLE, and neither may equal RED. MIGRATE-ON-TOUCH (D001): this gate now emits via nx_gate_verdict, so the judge's own test is no longer one of the unjudgeable gates it exists to protect against. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0