# DF-3269 -- verification pack

Finding: deflateInit2_ failure path: uninitialized status read makes deflateEnd leak everything

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

## What was run
guest: cc -O -o zharness zharness.c zlib_userland.c -I.

## How to reproduce
```
guest: ./zharness
```

## Expected
deflateEnd -> Z_STREAM_ERROR (status garbage) and 4 live allocations after the failed init; clean case leaks nothing

See VERDICT.md for the full narrative and verdict.json for the persisted
machine verdict. Artifacts: zharness.c, zlib_userland.c, zlib.h, run.log.