# DF-3109 -- verification pack

Finding: hammer_init_cursor error contract broken: KKASSERT + no cleanup on root-node load failure

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

## What was run
guest: cc -O -o corrupt_root corrupt_root.c; image: vnconfig -c -S 2g /dev/vn0 h1.img && newfs_hammer -f /dev/vn0 && vnconfig -u vn0 && ./corrupt_root h1.img

## How to reproduce
```
guest: vnconfig -c -S 2g /dev/vn0 h1.img && mount_hammer /dev/vn0 /mnt/h1
```

## Expected
panic: assertion error == 0 failed in hammer_init_cursor at hammer_cursor.c:202 (see panic.txt)

See VERDICT.md for the full narrative and verdict.json for the persisted
machine verdict. Artifacts: corrupt_root.c, panic.txt, run.log.