Status: IN
The stock exchange correctly implements price-time priority matching (best price first, FIFO within price, execute at resting price), producing valid trades — but only when callers provide valid order fields, since the engine performs no input validation.
price-time priority is correctly implemented but assumes valid quantity, price, and side; a negative quantity or missing price would propagate through matching and produce nonsensical trades
Depends on (SL): stock-exchange-price-time-priority