# Changelog

All notable changes to this crate will be documented in this file.

The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/).

## [Unreleased]

## [0.8.12] - 2026-02-14

Synced to workspace version 0.8.12. See root CHANGELOG for full history.

## [0.6.0] - 2026-01-17

Initial release (excluded from workspace, requires Z3 installation).

### Added

- Z3 SMT solver integration for static verification
- License gating via Stripe subscription validation
- Socratic error messages for proof failures
- Support for Pro, Premium, Lifetime, and Enterprise plans
- Integration with `logicaffeine-proof` as oracle fallback
