Replace ledger state machine with OCaml implementation - #3

Closed

gpu004 wants to merge 11 commits into

codex/rewrite-ledger-state-machinefrom

codex/ocaml-ledger-rewrite

Commits on Jul 13, 2026

Remove stale rewrite plan link from README
gpu004
committed
ae30a8f
Replace ledger state machine with OCaml implementation
gpu004
committed
6115b08
Add ledger state machine property tests
gpu004
committed
aa6ff23
Document OCaml ledger core behavior
gpu004
committed
ef849d1
Run OCaml CI commands through opam
gpu004
committed
f7c770c
Document OCaml ledger core architecture
gpu004
committed
4e7e26f
Add paired state-machine benchmark
gpu004
committed
0860340
Adapt Zig benchmark harness input slices
gpu004
committed
1c7501c
Document coherent jj commit workflow
gpu004
committed
07b97f4
Fix ledger review findings and CI
gpu004
committed
b10615d
Address follow-up review findings
gpu004
committed
f2869b0