Dem means "Democratic Party." GOP means "Republican Party."
[Party] Congress means "[Party] control of House and Senate."
This market will resolve after all three underlying questions have been resolved.
President (Pres): resolves after the AP calls the race.
House: resolves after the AP calls party control of the House.
If there are independents/3rd party winners that are known to be intending to caucus with a major party (GOP or Democrats), they will be included as part of party control.
If at the time of the general election there are already scheduled special elections on which control hinges, or a runoff is triggered by the general election, we'll wait for those to resolve.
Senate: resolves after the AP calls party control of the Senate.
If there are independents/3rd party winners that are known to be intending to caucus with a major party (Bernie Sanders is a general example), they will be included as part of party control.
If at the time of the general election there are already scheduled special elections on which control hinges, or a runoff is triggered by the general election, we'll wait for those to resolve.
My biggest high-level disagreement with the market (or at least with the market before I traded) is that I think that there's a 75% chance that the House will be controlled by the opposite party of the president. The House is very likely to be close in 2024 and there's been a swing in the House against the incumbent party in nearly all recent midterm elections.