Will Pump.fun launch a token by July 31?

This market will resolve to "Yes" if Pump.fun (https://pump.fun/board) officially launches a token by July 31, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No". The token must be publicly announced and transferable on a blockchain. If a first such token launch occurs outside of this market's timeframe, this market will immediately resolve to "No". The resolution source will be public announcements from Pump.fun.