Research topic
A matching engine is judged by latency, but the real contract is deterministic priority: price first, time second, with explicit cancellation, tie-breaking, and replay semantics.