Several related bets at Kalshi, not sure which one(s) Mr. Cole wagered on. Here is one of the “spending reduction” wagers:
https://kalshi.com/markets/kxgovtcuts/government-budget-cuts?utm_source=kalshiweb_eventpage
Thanks. That helps. A bet has to be based on a measurable item.