Will DOGE audit the IRS before May?

This market will resolve to "Yes" if the Department of Government Efficiency (DOGE) initiates an official audit of the US Internal Revenue Service (IRS) by April 30, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No". An audit must be explicitly referred to as such in official government documents, press releases, or credible news reports for it to count as an audit. The primary resolution source for this market will be information from DOGE and the US federal government, however a consensus of credible reporting will also be used.