Will the number of federal employees decrease be unknown?

This market will resolve based on the seasonally adjusted number of federal employees, as reported by the U.S. Bureau of Labor Statistics (BLS) under the "All Employees, Federal" series (CES9091000001), displayed here (https://fred.stlouisfed.org/series/CES9091000001) This market will resolve to “Yes” if the seasonally adjusted number of federal employees decreases between December and June is not known by July 31, 2025 11:59 PM ET. Otherwise, it will resolve to "No". The resolution source will be the BLS Employment Situation data, specifically the series CES9091000001, available at https://fred.stlouisfed.org/series/CES9091000001 or the official BLS website.