nx_term_kat.nx

nx_term_kat.nx -- KAT (known-answer test) for the unterminated-final-block bug class, distilled from the nx_ttt_evaluate draw-detect miscompile (2026-06-09). The trap shape: a VOID function whose body ends with a while loop that contains an early-return if. The buggy frontend left the loop-exit block (holding the post-loop stores) with NO terminator, so it FELL THROUGH into the if-body block emitted after it -- the post-loop stores were silently clobbered by the early-return stores. This KAT must stay GREEN forever. It prints a marker AND exits 0, so it is judgeable through marker-grep even on channels where $? lies (see feedback-wsl-exit-code-judging-2026-06-09). license_tier: ORIGINAL