The order predicate is the most important part of the exchange. It enforces the orders on the exchange. Currently limit and market orders. The file can be viewed once the protocol is open sourced before mainnet launch.