gargamelle-persistence-0.1.0.0: CHANGELOG.md

# Changelog for gargamelle-persistence

## 0.1.0.0 — Initial Release

- Beam SQLite database persistence for evidence and run tracking.
- Schema definitions, migrations, and query interfaces.
- Transactional persistence of verification proofs and synthesis traces.