# Changelog
All notable changes to this project will be documented in this file.
The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
## [Unreleased]
## [0.1.4](https://github.com/deepcausality-rs/deep_causality/compare/deep_causality_num_complex-v0.1.3...deep_causality_num_complex-v0.1.4) - 2026-07-14
### Added
- *(deep_causality_haft)* add Category + Kleisli (named category, compose = bind) — H2
### Other
- *(miri)* ignore compute-heavy FFT/multivector tests; fix nextest period
- drop Aeneas / L4 from the verification program (non-goal)
- *(num)* add crate-local Lean verification status notes for the numeric tower
- *(openspec)* close out formalize-main-crate — main-crate Lean status note, sync + archive
## [0.1.3](https://github.com/deepcausality-rs/deep_causality/compare/deep_causality_num_complex-v0.1.2...deep_causality_num_complex-v0.1.3) - 2026-07-08
### Other
- release
## [0.1.2](https://github.com/deepcausality-rs/deep_causality/compare/deep_causality_num_complex-v0.1.1...deep_causality_num_complex-v0.1.2) - 2026-07-08
### Other
- Bumping up versions of dual and complex crate.
## [0.1.1](https://github.com/deepcausality-rs/deep_causality/compare/deep_causality_num_complex-v0.1.0...deep_causality_num_complex-v0.1.1) - 2026-07-08
### Other
- updated the following local packages: deep_causality_num