Will the number of federal employees decrease by 25,000-50,000 between December and June?

Public Polymarket market/event context is available; Vultax source-pack coverage is tracked separately.

This resolved market has no live orderbook depth; the public close quote is shown for context.