//! WGSL lowering unavailable for `string_matching.nfa_scan`.
//!
//! Exact CPU parity requires a deduplicated frontier whose worst-case size is
//! proportional to `input_len * program_len`; WGSL has no dynamic allocation
//! and this op's public intrinsic ABI declares no caller-provided scratch arena.
//! Fix: keep this op CPU-only until the spec defines an explicit scratch buffer.
use *;