Will the government be shut down on January 31?

If the website of the U.S. Office of Personnel Management contains a notice that the government at least partially shut down on January 31, 2026 at 11:00 AM ET due to a lapse in appropriations, then the market resolves to Yes.