# DF-3237 -- verification pack

Finding: iod-shutdown race strands nfsreq/nfsm_info/bio on a dying queue

Status: **not_reproduced** / impact **leak** / confidence speculative

## What was run
n/a

## How to reproduce
```
n/a (umount -f vs JUKEBOX server race)
```

## Expected
n/a

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