Oi, Natanael! Como vai?
Agradeço por compartilhar.
Sua solução para o controle de estoque está ótima. Você usou o laço while perfeitamente, definindo a condição estoque > 0 para manter o laço rodando. A lógica de decremento (estoque -= 1) dentro do laço simula corretamente a venda de cada item.