Will the number of federal employees decrease by 100,000-200,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.