Status: IN
The stock exchange implements standard price-time priority matching: incoming orders match aggressively against the best resting price, FIFO within each price level via deque ordering, with trades always executing at the resting order's price.
Three beliefs compose into the canonical exchange matching semantic — aggressive-first + price-level FIFO + maker-price execution
Depends on (SL): stock-exchange-aggressive-then-rest, stock-exchange-fifo-matching, stock-exchange-resting-price-execution