If xAI releases Grok 5 before Jul 1, 2026, then the market resolves to Yes. Release must be to the public, outside of a closed beta, though limiting it to a high-cost subscription tier is acceptable. This market will close and expire early if the event occurs.