Research topic
anvil
Deterministic Replay for Trading Systems
A trading system that cannot explain a run from its recorded inputs is hard to debug and harder to trust. Deterministic replay turns reproducibility into a runtime contract.
Determinism as a Correctness Contract
Why Anvil treats bit-for-bit reproducibility as a testable property — and how an event-sourced core makes a backtest and a production run literally the same program.