The Texas Lottery is the government-operated lottery available throughout Texas. It is operated by the Texas Lottery Commission, headquartered in downtown Austin, Texas. From Wikipedia
The lawsuit, filed three months after the February win, challenges the Texas Lottery Commission’s refusal to pay due to the ticket’s purchase via the Jackpocket app.