Jumper FDV one day after launch?

This market will resolve to "Yes" if the Fully Diluted Valuation (FDV) of Jumper's token is greater than the listed value at the measurement time. Otherwise, this market will resolve to "No". A token is considered launched the first time it is actively and publicly tradable. The measurement time is 4:00 PM ET on the calendar day following launch. The FDV is the token price at the measurement time multiplied by the token's total supply at that time, which includes tokens that are locked, vested or otherwise non-circulating. For a token issued by a contract, the total supply is the figure recorded by that contract onchain; for the native coin of its own blockchain, it is the figure recorded by that blockchain. Tokens not yet minted or issued at the measurement time are not counted. The FDV is computed without rounding. Only an official token launched by Jumper after the creation of this market will qualify. Stablecoins, memecoins, LSTs and synthetic tokens will not be considered for resolution. An FDV exactly equal to the listed value will resolve to "No". If Jumper (https://x.com/jumperapp) does not launch a token by December 31, 2027, 11:59 PM ET, this market will resolve to "No". … (condensed)