# DF-3131 -- verification pack

Finding: msdosfs_mount ignores copyinstr(fspec) return; memset with stale size

Status: **reproduced** / impact **corruption** / confidence likely

## What was run
guest: cc -O -o race2 race2.c -lpthread

## How to reproduce
```
guest: race2 /dev/vn0 /mnt/raceroot 800
```

## Expected
GARBLED mntfromname lines proving the ignored copyinstr + stale-size memset executed; OOB variant depends on the stale stack value

See VERDICT.md for the full narrative and verdict.json for the persisted
machine verdict. Artifacts: race_mount.c, race2.c, run.log.