開発の一端として実装を考えるなら、ゲッチャレは開始時じゃなくて５枚のカードのうちどれかを選択したときに初めて抽選処理やな

まず、ゲッチャレを開始してカードを選ばずにアプリを落とすと開始前に戻るので、開始時にカード入手は確定されない。
開始時に抽選だけ実行して、選択時に確定させる実装はDBのトランザクションが破綻する（処理タイミングが独立）ので普通に拒否案件。