chore(main): release 1.0.0

[github-actions]

🤖 I have created a release beep boop

1.0.0 (2026-04-23)

⚠ BREAKING CHANGES

• update TypeScript verifier for new proof format
• remove proofRootHash from InclusionProof
• MerkleTreeStore now takes a mode type parameter. Downstream consumers add 'Full to their types. csmtMerkleTreeStore and mpfMerkleTreeStore now return IO.

Features

• add batch and bucketed insertion for parallel CSMT population (ffa0aa9), closes #92
• add CBOR proof serialization, root export, and RocksDB MPF tests (8d97b9a)
• add compact CSMT inclusion proof CBOR encoding (7adbba2), closes #128
• add completeness proofs to shared MTS interface (828ee3f)
• add CSMT pop (minimum extraction) test vectors (542af6d), closes #81
• add CSMT vs MPF benchmark table to docs with compact proofs (f39763d)
• add csmt-test-vectors executable for Aiken test generation (1c6ab33)
• add csmt-verify sublibrary (pure Haskell, no C FFI) (3d7ba7a)
• add CSMT.Fifo module with counterToKey encoding (ccf9d49)
• add delete support to patchParallel (ad5d382), closes #95
• add FIFO test vectors and FifoSpec (abc7c7d)
• add hexTreePrefix to MPF FromHexKV (f9ab8ae)
• add keyToByteString inverse of byteStringToKey (b8d1be5)
• add MPF (Merkle Patricia Forest) implementation (aa60ceb)
• add MPF exclusion proofs with property parity (2462456)
• add MPF wasm write and verify demo (d616ec0)
• add MTS constructors for CSMT and MPF (85c7f11)
• add mts:rollbacks Haskell sub-library skeleton (1a7396f)
• add mts.cabal and shared property test (9773a07)
• add Ops GADT with bidirectional KVOnly/Full transitions (6875efe)
• add persistent database metrics (kvCount, journalSize) (ab3e20e)
• add Plutus Data encoding for CSMT inclusion proofs (b8d46ff)
• add pop_max, push_min, push_max test vectors (090596f)
• add populateCSMT for parallel tree construction (3ec7a5d)
• add prefix-scoped CSMT operations for dynamic namespaces (b7696e8)
• add prefix-scoped MPF operations for dynamic namespaces (d1a88e6)
• add pruneExcess to MTS.Rollbacks.Store (75f3581)
• add replay tracing callback to patchParallel (6e1f657), closes #100
• add replay tracing with entries-remaining to all replay entry points (b90cc34), closes #99
• add RollbackColumn GADT (da84fd4)
• add shared MTS interface and QuickCheck properties (192b51e)
• add single-path MPF insertion (38x faster, 80x smaller DB) (5b2224b)
• add split-mode MTS with KVOnly bootstrap and journal replay (965db27)
• add Transaction-level rollback operations (23e7351)
• add treePrefix field to FromKV for secondary indexing (8a3d055)
• add unguarded replay runner to mkKVOnlyOps (1a56c7f), closes #109
• add unified CSMT vs MPF benchmark with JS reference (94cf6d1)
• add WithOrigin and RollbackPoint to Types (7391914)
• anchor proofs to their root hash (6b01145), closes #63
• browser demo for in-browser CSMT build + proof (c5fd6c8)
• build csmt-verify as WASM via GHC WASM backend (9ca7989)
• CBOR serialization, fixture generator, and cross-language tests (18cc635)
• compose docs site with wasm-write demo (flake output) (0397389)
• crash recovery sentinel for bucketed replay (faf6996), closes #107
• enable csmt-write for wasm32-wasi (fd065fd)
• exclusion proofs for CSMT (63903c2)
• export packHexKey, nibbleBytes, merkleProof from MPF.Hashes (7c1f9a8)
• expose csmt-test-vectors in nix flake (3a9df26)
• formalize swap-partition model in Lean 4 (5edd966)
• implement completeness proofs with prefix inclusion (f565576), closes #58
• Lean model of bucketed replay and crash recovery (037c218)
• make Ops GADT builders column-parametric (f14e56a)
• persistent rollback point counter (de886a1), closes #110
• prove journal/KV/CSMT invariants in Lean 4 (7f57cd4)
• prove rollback correctness (zero sorry) (effc260)
• publish csmt-verify WASM browser demo in docs (bc554c5)
• remove proofRootHash from InclusionProof (bda4822)
• serializable InMemoryDB round-trip for csmt-write-wasm (bfdbec5)
• support populateCSMT on non-empty trees (701af39)
• three-tag journal with elision for new keys (0f7fc07)
• TypeScript exclusion proof verifier (957e7a6)
• update TypeScript verifier for new proof format (1c0de8a)
• wire DbState state machine into openOps (c7bd2c0)

Bug Fixes

• adapt to rocksdb-kv-transactions snapshot API (80e41c8)
• add missing prefix argument to inserting, deleting, buildInclusionProof, root (4cd37b8)
• add pop to CSMT test vectors import (f0e2d22)
• address fourmolu and hlint warnings (1f26a98)
• address hlint warning in Aiken parser (4cd13f8)
• apply hlint suggestion in namespace test (253ca2e)
• apply hlint suggestion in PlutusData parser (fd7a20d)
• CI failures and hlint warnings (c2a8ddb)
• clean stale nodes in mergeSubtreeRoots + full QC coverage (8962df5)
• correct docs URL in README to lambdasistemi.github.io (3f2f9ec)
• eta reduce storeRollbackPoint per hlint (5c66021)
• exclude storage prefix from pslNeighborKeyPath in proofs (ff5d814), closes #87
• expose transactional MTS constructors for composable operations (2289bac), closes #66
• format mts.cabal with cabal-fmt (d0a2400)
• generalize cf/op phantoms in transactional MTS constructors (106356f)
• generate Leaf/Fork proof steps matching Aiken format (a610227)
• handle prefix queries with path compression in collectValues and generateProof (a93c00f)
• hash MPF browser-demo keys on the Aiken path (cf9354d)
• hlint redundant bracket + metrics QC properties (4f264a8), closes #105
• maintain journalSizeKey counter in mkKVOnlyOps (011f0ad), closes #137
• match upstream Aiken fork-prefix encoding (ace7bea)
• migrate mkdocs gh-deploy to mkdocs-deploy wrapper (4a294e6), closes #89
• remove unused sparse-merkle-trees dependency (1408660), closes #117
• replace partial head with pattern match, fix CI format check (7d5e6a6)
• replace stale haskell-csmt references with haskell-mts (29c04ba), closes #57
• resolve all Lean linter warnings, make warnings errors in CI (b3ecb3a)
• resolve CI format and hlint issues (a935ef1)
• resolve formatting and hlint warnings (d7c3e72)
• revert to bare cachix commands (requires infra PR #58) (c763fd9)
• sanitize nix store paths in asciinema cast files (e46ef73)
• use cachix-action instead of bare cachix command (2d8d91d)
• use cachix-action with cachix from extraPackages (857532c)
• use format-check in CI and add hlint job (c9436d7)
• use nix shell for elan in Lean CI job (5538956)
• write sentinel atomically with expandToBucketDepth (7ecacc2)

---

This PR was generated with Release Please. See documentation.