Vote percentages in US general elections

If the certified percentage of the popular vote received by Ken Paxton in the 2026 Texas Senate election is 47% to 100%, inclusive of both endpoints, then the market resolves to Yes.