# DF-3342 -- verification pack

**Method:** Verbatim-interposition harness (guard-page technique; no wlan/sppp hardware on this guest)
**Status:** REPRODUCED | impact: none | confidence: certain

## What this is
sta_input pre-dispatch mirror of DF-3325: gettid()/check_rxseq read i_qos/i_seq past short non-NODS frames. Same verbatim harness compiled -DSTA.

## Build
```
./build.sh
```

## Run
```
df3342h oob
```
(success criterion: see VERDICT.md)

## Evidence
identical to DF-3325 (df3342h binary in allruns.log)

Kernel references: sys/netproto/802_11/wlan/ieee80211_sta.c:620-650, sys/netproto/802_11/ieee80211_proto.h:337-350