Implement OCaml ledger state machine - #4

Merged

gpu004 merged 17 commits into

trunkfrom

codex/benchmark-status

Jul 13, 2026

Commits on Jul 13, 2026

Replace ledger state machine with OCaml implementation
gpu004
committed
37ec1f7
Add ledger state machine property tests
gpu004
committed
43135c6
Document OCaml ledger core behavior
gpu004
committed
8b36214
Run OCaml CI commands through opam
gpu004
committed
226e25c
Document OCaml ledger core architecture
gpu004
committed
06174c9
Add paired state-machine benchmark
gpu004
committed
bd7e4d8
Adapt Zig benchmark harness input slices
gpu004
committed
a56f619
Document coherent jj commit workflow
gpu004
committed
6a1003e
Clarify benchmark status and remove invalid native runner
gpu004
committed
13c5c19
Configure DeepSource secrets scanning
gpu004
committed
fff7ecd
Configure CodeRabbit review settings
gpu004
committed
6b825e8
Fix ledger review findings and CI
gpu004
committed
d2bf40b
Address follow-up review findings
gpu004
committed
77fc861
Complete TigerBeetle parity fixes and consolidate benchmark
gpu004
committed
898d74c
Fix event timestamp precedence and stored flags
gpu004
committed
3953383
Fix imported time and validation precedence
gpu004
committed
4f6fe28
Match pending expiry to assigned event time
gpu004
committed
5ce4403