A limit order book that can run inside consensus: deterministic price-time-priority matching, a frequent batch auction that removes the block producer's positional advantage, integer settlement with explicit locks, and a harness that proves independent nodes agree.