US government shutdown by October 1?

This market will resolve to "Yes" if the U.S. Office of Personnel Management announces that the U.S. federal government is shut down due to a lapse in appropriations by October 1, 2025, 11:59 PM. Otherwise this market will resolve to "No". If the Office of Personnel Management announces a partial shutdown this will count, however announcements of office closures due to holidays or inclement weather will not qualify. The resolution source for this market will be the website of the U.S. Office of Personnel Management (https://www.opm.gov/policy-data-oversight/snow-dismissal-procedures/current-status/).