Sistemas críticos exigem rastreabilidade entre requisitos, código e testes. É obrigatório gerar evidências de que o código foi testado para todas as condições e inputs mapeados nos requisitos e que cada linha de código existe para cumprir algum requisito. Eu não tenho o menor problema com a IA gerando o código, desde que o pacote de certificação contendo essas evidências seja gerado por um humano.