gargamelle-model-0.1.0.0: CHANGELOG.md

# Changelog for gargamelle-model

## 0.1.0.0 — Initial Release

- Observable runtime models and free verifier ASTs for Gargamelle.
- Proof-carrying satisfaction structures and semantics.
- Functorial state interpretation and structural validation.