How-to guide

Handle resolution

A trading pool closes to swaps and added liquidity when its question ends; the market finalizes later, when its outcome is final. Use this guide from question end onward to turn LP tokens, complete sets, and winning shares into their redeemable assets.

Unwind after question end

  1. Remove your LP tokens from the trading pool into Yes and No shares (Remove liquidity).
  2. Redeem matching Invalid, Yes, and No as complete sets while the SecurityPool is Operational and its universe has not forked. If the universe forks while the question is unresolved, follow Handle a universe fork.
  3. After the market finalizes, redeem the winning share through SecurityPool.redeemShares, which requires the SecurityPool to be Operational. Keep redeeming through this pool if its universe forks later; resolved shares cannot migrate.

On an Invalid result, Invalid is the only winning share. Yes and No balances, including trading fees earned as LP, are worth nothing once they lose. Each redemption burns the redeemed shares and pays ETH at the SecurityPool's current collateral rate. A shared portfolio child can also pay recovery REP from its fork claim basket. The receipt can contain REP even when its ETH payout is zero; a new price report or an auction buyer is not required for redemption.

In the UI

Open the market. A closed market opens on its Settlement tab.

The Settlement tab of an ended market with Redeem sets selected, 0.001 entered in ETH to redeem, a Max button, a note that you hold 1.005 complete sets worth 1.0049 ETH, an estimate of about 0.001 ETH received with a 0.0009 ETH minimum, and an enabled Redeem complete sets button.
Settlement after the question ends. The market has not finalized yet, so only complete-set redemption and fork migration are offered.

Check both asset balances in the selected universe after confirmation. REP recovery is shown separately from the portfolio’s ETH total. Every settlement transaction is simulated again at the latest block before your wallet opens, and stops if it would now fail.