Will Jim Jordan run for Republican House Leader?

This market will resolve to "Yes" if Jim Jordan publicly announces that he is seeking to become the highest-ranking Republican in the United States House of Representatives for the Congress that convenes in January 2027, at any point between market creation and the date the House Republican Conference elects its top leader for that Congress. Otherwise, this market will resolve to "No". For purposes of this market, a person will run to be the "highest-ranking Republican" if they are running for either Speaker of the House or, if that is not applicable, the top leader of the House Republican Conference (usually the Minority Leader). A qualifying announcement must be explicit and unambiguous. Conditional statements, statements that are clearly sarcastic, made in jest, or immediately clarified as not being genuine, and third-party speculation or reports that Jim Jordan may run absent an announcement by him, will not count. Once a qualifying announcement has been made within the market's time frame, this market will resolve to "Yes" regardless of whether Jim Jordan subsequently withdraws, loses, or the position is filled by another person. … (condensed)