Linked to this Kalshi question:

If there are more than 250000 federal employees no longer working relative to the January 2025 employee count before Jan 2026, then the market resolves to Yes. Outcome verified from FRED.

Note the resolution...