Thinking-native compiler for LEET Language Understanding item sets — killer-item design grammar, verification separation, deterministic gate chain, 3-model benchmark