Sub-millisecond order matching, monotonic version tag validation, and atomic double-entry balance ledger.