Walks through UMA's Optimistic Oracle pipeline as used by Polymarket: assertion, liveness period, dispute, and DVM token-holder voting. Uses the $240M Zelenskyy suit market as a case study where semantic ambiguity ('Is a militarized black outfit a suit?') triggered a disputed resolution ultimately decided by whale token holders, illustrating how the system's 'decentralized courtroom' handles edge cases.

Post-mortem of Polymarket's US government shutdown market, where the market resolved 'Yes' to a shutdown that never happened. Traces the failure to structural issues in oracle design: token holders who can trade and vote, retroactive rule changes, and a corruption cost lower than the value at stake.

Case study of Polymarket's Venezuelan election market, where UMA token-holders overrode the platform's own resolution rules to declare opposition candidate Gonzalez the winner despite official results. Highlights conflicts of interest when oracle voters can also bet on outcomes.