# Changelog

## 0.1.0 - 2026-08-01

- Decode and validate finite and lasso Apalache ITF traces.
- Represent all ADR-015 expression forms with path-aware errors and safety limits.
- Add committed Apalache 0.58.3 evidence and an `itf-rs` 0.4.0 test oracle.