Something I keep noticing about prediction market design here: the resolution source matters more than the market mechanism, and it gets a fraction of the attention. You can have perfect matching, perfect liquidity incentives, and clean settlement, and none of it saves you if the oracle that decides the outcome is ambiguous or slow. Most disputes I have watched were not about price discovery. They were about what the question actually meant. Write the resolution criteria first. The market design is the easy half.