# DF-3265 -- verification pack

Finding: recursive lockmgr panic in pf_state_key_attach under allocation failure

Status: **not_reproduced** / impact **panic** / confidence certain

## What was run
n/a (cannot force the M_NOWAIT failure)

## How to reproduce
```
n/a
```

## Expected
n/a

See VERDICT.md for the full narrative and verdict.json for the persisted
machine verdict. Artifacts: fix.diff.