Will the Government shutdown end October 31-November 3?

This market will resolve to the calendar date range (ET) of the first day after September 30, 2025 which the U.S. The Office of Personnel Management (OPM) announces that the U.S. federal government is not shut down due to a lapse in appropriations. Partial shutdowns count as shutdowns; announcements of office closures due to holidays or inclement weather do not qualify as a shutdown. The resolution source for this market will be OPM’s Operating Status page (https://www.opm.gov/policy-data-oversight/snow-dismissal-procedures/current-status/).