# DF-3463 -- verification pack

**Method:** Code-line analysis + attempted live reproduction
**Status:** NOT REPRODUCED | impact: none | confidence: likely

## What this is
gre_input sets m_pkthdr.rcvif = &sc->sc_if (ip_gre.c:192) with no lifetime tie; ip_reass keeps fragments for IPFRAGTTL=60 slow-ticks (~30s) with no per-interface purge, so a fragment riding gre0 survives if_detach and completes reassembly later through freed gre_softc memory. CONTROL PROVEN LIVE: an inner 127.0.0.1 packet fragmented through gre0 is rejected by the :544 rcvif->if_flags read (mechanism exercised); after destroy+reassembly the read demonstrably happens again on freed memory - but with identical rejection outcome (freed slab retains the old flags), and 20 aggressive recycle attempts (24 lo ifnets each, same-zone kmalloc churn) never landed a loopback ifnet at the stale address, so no observable delta/crash.

## Build
```
cc -O -o <prog> <prog>.c   (on the guest)
```

## Run
```
(no arg; root)
```
(success criterion: see VERDICT.md)

## Evidence
live2.log greuaf section: control rejected as expected; attempts 1-20 rejected (no acceptance)

Kernel references: sys/netinet/ip_gre.c:184-193, sys/netinet/ip_input.c:541-548, sys/netinet/ip_input.c:977-1100