Auditor de Lógica com Casos Limite

Auditor de Lógica com Casos Limite foi criado para códigos que parecem corretos à primeira vista, mas falham com entradas incomuns. Ele pede ao modelo que inspecione condições, ramificações, loops e valores de fronteira para identificar bugs escondidos. Isso é especialmente valioso quando uma função lida com datas, paginação, coleções vazias, valores nulos ou intervalos com erro de um (off-by-one). Em vez de focar apenas em problemas óbvios de sintaxe, o prompt incentiva o modelo a buscar falhas raras, porém caras.

O modelo é ideal para engenheiros seniores, desenvolvedores com mentalidade de QA e revisores que trabalham com lógica voltada ao usuário ou cálculos críticos. Ele destaca testes de limites, entradas inválidas e transições de estado. A saída ajuda você a entender quais casos são seguros, quais são suspeitos e quais devem virar testes imediatamente. Isso o torna útil durante refatorações, caça a bugs e auditorias pré-lançamento, quando a confiança importa mais do que a velocidade.

Personalize colando o código em {{CODE_BLOCK}}, descrevendo o comportamento esperado em {{EXPECTED_BEHAVIOR}} e listando entradas conhecidas e difíceis em {{EDGE_CASES}}. Se a função fizer parte de um fluxo maior, inclua esse contexto em {{SYSTEM_CONTEXT}} para que o modelo possa raciocinar sobre dependências. A resposta deve incluir um resumo da auditoria, uma tabela de ramificações arriscadas e casos de teste concretos. Use este prompt de auditoria de lógica quando quiser que o modelo pense como um testador cético.