If Ilhan Omar has their U.S. citizenship revoked before Jan 1, 2027, then the market resolves to Yes.
Only a final, involuntary revocation counts: a denaturalization judgment, a final USCIS decision, or loss of citizenship triggered by a federal conviction, with all appeals resolved before the deadline. A filed case, investigation, indictment or proposed legislation does not count, and neither does voluntary renunciation.