# M09-L04 — Lab contract

**Build:** Local simulation executes swaps in two different orders.

**Pass:** Outputs differ; minOut rejects unfavorable ordering.

**Failure injection:** Assuming first broadcast means first execution is wrong.

**Review question:** Why is private order flow not a complete guarantee?

Status: specification; only count as executable when source and tests are present and verified.