Pump.fun buybacks $40M worth of $PUMP before September?

This market will resolve to “Yes” if the total amount of $PUMP tokens bought back by Pump.fun is worth $40M or more, based on the token price at the moment the threshold is crossed, using the most highly liquid source available, by August 31, 2025, 23:59 ET. Otherwise, it will resolve to “No.” The primary resolution source for this market is official information from Pump.fun or a consensus of credible sources.