Skip to content

v0.2.0

Choose a tag to compare

View all tags
@gpu004 gpu004 released this 13 Jul 06:48
· 4 commits to trunk since this release
v0.2.0
ae62d30
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

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.

Assets 2
Loading