v0.1.0

What's Changed

• Add formal verification proofs and spec-sync tooling by @avrabe in #2
• feat: proofs, adapters, verification, and docs alignment by @avrabe in #4
• feat: multi-memory fusion, P2 component wrapping, and fully-closed formal proofs by @avrabe in #5
• fix(component): replace bump allocator with indirect table pattern by @avrabe in #6
• ci: add release workflow by @avrabe in #7
• fix(ci): use macos-14 for x86_64-apple-darwin release build by @avrabe in #8

New Contributors

• @avrabe made their first contribution in #2

Full Changelog: https://github.com/pulseengine/meld/commits/v0.1.0