//! Per-user account — one PDA per wallet.
//!
//! Created on first `BuyTicket` call.
//!
//! * `balance` — on-chain ticket credits in µUSDC (from `BuyTicket`).
//! * `total_purchased` — lifetime µUSDC spent on tickets (never decreases).
//! * `last_bet_period` — legacy field (unused; bets are server-authoritative).
//!
//! PDA seeds: `[USER_TICKET, user_pubkey]`
use *;
use ;
account!;