# DF-3416 -- 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
adhoc_input pre-dispatch mirror of DF-3325/3342 (IBSS). Same verbatim harness compiled -DADHOC.

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

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

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

Kernel references: sys/netproto/802_11/wlan/ieee80211_adhoc.c:356-421