//! Per-user account — one PDA per wallet.
//!
//! Created by the first `BuyTicket` call; `total_purchased` accumulates on
//! each subsequent call. This is the on-chain proof of lifetime ticket revenue.
//!
//! The *spendable* balance (credits available for bets) is tracked off-chain
//! by the indexer in `user_balances`. Bets are debited server-side.
//!
//! PDA seeds: `[USER_TICKET, user_pubkey]`
use *;
use ;
account!;