v0.3.0

Full Changelog: v0.2.0...v0.3.0

v0.2.0

Experimental OCaml ledger state machine

This release introduces an experimental, deterministic in-memory OCaml ledger state machine inspired by TigerBeetle. The pinned TigerBeetle source remains the behavior reference.

Included

• Account and transfer creation, linked-batch rollback, and pending transfer post, void, and expiry handling.
• Explicit 128-bit arithmetic, account balance history, ordered lookups, and filtered queries.
• Scenario and property tests covering deterministic execution, balance conservation, idempotency, linked-batch atomicity, pending lifecycle, and query behavior.
• An OCaml state-machine benchmark reporting throughput, batch latency, and allocation metrics.

Current boundary

This is not a TigerBeetle server or a claim of full TigerBeetle compatibility. The copied Zig LSM and VSR components remain unchanged; C-ABI integration, wire-compatible 128-byte codecs, and the complete upstream test corpus are still outside this release. The direct Zig benchmark fixture is not yet valid, so this release makes no cross-implementation performance claim.

Validation

Verified at ae62d301f056edff5ed75083a291c67d0b7c3b34 with the repository formatter, Dune build and documentation build, test suite, benchmark build, and benchmark executable.

v0.1.0

First public release of TigerBeetle in OCaml — a prototype-grade OCaml compatibility build inspired by TigerBeetle.

• Core ledger API with server and CLI compatibility surface for focused experiments
• tb_ocaml/ implementation with unit, property, cram, and blackbox test layers
• Benchmarks and docs for local comparison against the upstream Zig reference in repo/

This is a behavior and tooling spike, not a production-ready reimplementation.