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.

Argues the hardest PM problem isn't pricing but deciding what actually happened. Proposes cryptographically-committed LLMs as resolution judges—trading human bias and conflicts of interest for more tractable technical vulnerabilities. Cites Polymarket disputes (Venezuela election, Ukraine map, government shutdown) as evidence current systems fail at scale.

Examines a $10 million Polymarket dispute over whether events in Venezuela constitute an 'invasion,' exposing how semantic ambiguity in market resolution criteria can create massive financial consequences. Raises fundamental questions about who controls truth determination when contract language is open to interpretation.

Explains why apparent arbitrage opportunities between Polymarket and Kalshi often aren't risk-free. Different rule definitions, resolution criteria, and oracle systems mean seemingly identical markets can resolve differently. Argues prediction markets are fundamentally non-fungible due to differing referee systems, leading to permanent landscape fragmentation.

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.

Speculates on how Polymarket's 2024 presidential election market could be manipulated through its oracle system. Argues that Fox News was chosen as an oracle despite being unlikely to call the election for a non-Trump candidate, and that UMA token holders could sway disputed resolution votes given UMA's small market cap.

Research report on Polymarket's growth (35x increase in weekly active users from May to September 2024) and competitive positioning. Covers technical infrastructure (Gnosis CTF, UMA oracles, PolyLend), participant biases, and oracle complications like the Venezuelan election dispute.

Technical explainer of how onchain prediction markets work, using Polymarket as the primary case study. Covers the Gnosis Conditional Token Framework, Central Limit Order Books vs AMMs, UMA Oracle dispute resolution mechanics, and liquidity incentive programs.

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.