Auditor de Lógica para Casos Límite

Auditor de Lógica para Casos Límite está diseñado para código que parece correcto a primera vista, pero falla con entradas poco comunes. Pide al modelo que inspeccione condiciones, ramas, ciclos y valores de frontera para detectar errores ocultos. Esto es especialmente valioso cuando una función maneja fechas, paginación, colecciones vacías, valores nulos o rangos con errores de “uno de más/uno de menos”. En lugar de enfocarse solo en problemas obvios de sintaxis, el prompt impulsa al modelo a buscar fallas raras pero costosas.

La plantilla es ideal para ingenieros senior, desarrolladores orientados a QA y revisores que trabajan con lógica para usuarios o cálculos críticos. Enfatiza el testing de límites, entradas inválidas y transiciones de estado. La salida te ayuda a entender qué casos son seguros, cuáles son sospechosos y cuáles deberían convertirse en pruebas de inmediato. Esto la hace útil durante refactors, cacerías de bugs y auditorías previas al lanzamiento, donde la confianza importa más que la velocidad.

Personalízala pegando el código en {{CODE_BLOCK}}, describiendo el comportamiento esperado en {{EXPECTED_BEHAVIOR}} y listando entradas difíciles conocidas en {{EDGE_CASES}}. Si la función forma parte de un flujo de trabajo más grande, incluye ese contexto en {{SYSTEM_CONTEXT}} para que el modelo pueda razonar sobre dependencias. La respuesta debe incluir un resumen de la auditoría, una tabla de ramas riesgosas y casos de prueba concretos. Usa este prompt de auditoría de lógica cuando quieras que el modelo piense como un tester escéptico.