I'm also confused about these contradicting statements:
When a lottery ticket is played, the coins used as a stake are destroyed.
Thus as the lottery is played 15% of the total stake is destroyed, making other players richer.
So which one is it? All coins destroyed or just the 15% of the stake?
So the winnings come from the coinbase.
For a single played lottery ticket, 100% of the stake is destroyed.
Cumulatively, across all lottery tickets, 85% of the total stakes is recreated in the coinbase, and awarded as prizes.
So for every 100 coins destroyed in playing, on average, 85 will later be created in prizes.