Habilidad de Explicador y Probador de Patrones Regex

--- name: regex-pattern-explainer-and-tester description: Explica expresiones regulares de Python token por token, las prueba en muestras que deben coincidir y que no deben coincidir con rangos y grupos nombrados, y señala patrones riesgosos: cuantificadores anidados que retroceden catastróficamente, [A-z], puntos sin escapar, coincidencias vacías y anclas faltantes, luego propone una reescritura más segura. Úsalo cuando el usuario pregunte "¿qué hace esta regex?", "¿por qué no coincide?" o "¿es segura esta regex?". Incluye un verificador de Python estándar probado. --- # Explicador y Probador de Patrones Regex Ayudas a las personas a entender, corregir y confiar en expresiones regulares. Explicas un patrón en palabras simples, demuestras lo que hace con casos de prueba reales y encuentras las trampas que hacen que las regex fallen en producción: entradas que no deberían pasar, entradas que deberían pasar pero no lo hacen y patrones que se cuelgan con entradas largas. Devuelves un patrón corregido con una tabla de pruebas, no solo una opinión. ## Archivos en esta habilidad - `scripts/regex_check.py` - explica un patrón desde el propio analizador de regex de Python, ejecuta entradas de muestra con expectativas "+" (debe coincidir) y "-" (no debe coincidir), e informa riesgos HIGH, WARN e INFO; `--probe` mide el tiempo del patrón en una entrada de peor caso generada en un subproceso (solo biblioteca estándar de Python 3) - `references/regex-pitfalls.md` - cada riesgo que el verificador informa, por qué importa y el patrón seguro para usar en su lugar - `references/flavor-differences.md` - cómo Python `re` difiere de JavaScript, PCRE, Go RE2, .NET, Java y POSIX grep, para que una corrección funcione donde el usuario la ejecuta - `templates/regex-review.md` - el informe de revisión a devolver - `examples/example-email-validation-review.md` - una revisión trabajada de una verificación de correo que se cuelga con entradas largas ## Flujo de trabajo ### 1. Recopila los hechos Pregunta, o asume y dilo: - El patrón exactamente como está escrito en el código (cadena cruda o literal de cadena escapada) y el lenguaje o herramienta que lo ejecuta. - Lo que debe aceptar y lo que debe rechazar: de 4 a 10 ejemplos reales de cada uno, incluidos casos límite (entrada vacía, espacios, Unicode, entrada muy larga). - Cómo se usa: validar un valor completo (fullmatch), encontrar la primera coincidencia (search), extraer todas las coincidencias (findall) o reemplazar. - De dónde viene la entrada. La entrada no confiable (formularios web, registros, cargas de API) hace que el retroceso catastrófico sea un problema de seguridad. ### 2. Ejecuta el verificador ```bash python3 scripts/regex_check.py 'PATTERN' -t 'muestra uno' -t 'muestra dos' python3 scripts/regex_check.py 'PATTERN' --cases casos.txt --mode fullmatch --flags a python3 scripts/regex_check.py 'PATTERN' --probe --no-explain # confirma un riesgo de retroceso python3 scripts/regex_check.py 'PATTERN' --cases - --json < casos.txt ``` Un archivo de casos tiene una muestra por línea: `+ texto` debe coincidir, `- texto` no debe coincidir, `# ...` es un comentario. Siempre cita el patrón entre comillas simples en el shell. El verificador usa `re` de Python; para otros sabores, lee `references/flavor-differences.md` y traduce el resultado. Si no puedes ejecutar el script, explica el patrón manualmente con la misma estructura y aplica `references/regex-pitfalls.md`. ### 3. Explica, luego corrige 1. Explica el patrón de arriba a abajo en palabras simples, una línea por token o grupo, usando la explicación del verificador como base. 2. Muestra la tabla de pruebas: cada muestra, resultado esperado, resultado real y el texto coincidente o grupos. 3. Corrige en este orden: patrones que pueden colgarse (HIGH), aceptaciones incorrectas y rechazos incorrectos (expectativas fallidas), luego claridad y notas INFO. 4. Prefiere reescrituras simples y legibles: una repetición en lugar de anidadas, clases negadas como `[^,]*` en lugar de `.*`, anclas explícitas `\A...\Z` o `fullmatch`, y `re.VERBOSE` con comentarios para patrones largos. 5. Vuelve a ejecutar el verificador en el patrón corregido con los mismos casos más cualquier caso límite nuevo hasta que cada expectativa pase y no haya riesgo HIGH. Ejecuta `--probe` en la corrección si el original tenía un riesgo HIGH. ### 4. Entrega Completa `templates/regex-review.md`: la explicación en lenguaje simple, la tabla de pruebas antes y después, los riesgos encontrados, el patrón corregido en el lenguaje del usuario con el escape correcto y una lista corta de casos de prueba para mantener en su suite de pruebas. Sigue el estilo de `examples/example-email-validation-review.md`. ## Reglas - Nunca afirmes que un patrón es correcto sin mostrarlo en casos de prueba; agrega los casos límite que el usuario olvidó. - No sobrevalides: para correos, URLs y nombres, recomienda una verificación de forma simple más un paso de verificación real (enviar un correo, analizar la URL) en lugar de un patrón gigante. - Mantén el sabor del usuario: no sugieras lookbehind, cuantificadores posesivos o grupos atómicos donde su motor no los soporte. - Escapa correctamente para el lenguaje objetivo (cadenas crudas en Python, dobles barras invertidas en Java y cadenas de C#, barras en literales de JavaScript). - Trata el retroceso catastrófico en entrada no confiable como un error de seguridad (ReDoS) y dilo claramente; sugiere límites de longitud de entrada como segunda defensa.