Lo que se rompe al convertir

Al convertir una regla pueden pasar tres cosas. Puede fallar con un error: el conversor dice que no sabe traducir algo (por ejemplo, una condición que el destino no admite) y no genera consulta. Puede convertirse con un aviso: genera la consulta y advierte de que algo es distinto. O puede convertirse sin decir nada y cambiar de significado: el valor se compara distinguiendo mayúsculas, un comodín se toma como un carácter, un número se compara como texto.

El primer caso es incómodo y seguro: alguien lo ve el mismo día. El tercero es el peligroso: la regla se carga, no da errores y deja de detectar lo que detectaba.

Abre el panel. informe_del_conversor dice qué estado dio cada una de las seis reglas al traducirla al destino alfa. Una de ellas usa una construcción que este destino no soporta y no generó consulta. Esas reglas no se pierden en silencio: se ven en el informe, y lo que hay que decidir es qué se hace con ellas (reescribir la lógica de otra forma o dejar la regla fuera del destino con una nota).

Un destino puede imponer límites a lo que acepta: una longitud máxima de consulta, un número máximo de valores en una lista. Una regla con una lista enorme de valores se convierte sin problema (el conversor hace su trabajo) y falla al cargarse. Compara la longitud de cada consulta (longitud_de_consultas) con los límites del destino (limites_del_destino).

La tabla diferencias_de_comportamiento recoge lo que el destino hace distinto de lo que dice la regla y si el conversor lo advirtió. Es la tabla que importa para el riesgo: las filas donde el conversor no avisó son las que ningún informe va a mostrar. Un informe de conversión «sin errores» no dice nada de ellas.

Ningún informe del conversor va a mostrar las roturas silenciosas, porque el conversor no las conoce: son propiedades del destino. Lo único que las revela es comparar lo que la regla debe hacer con lo que la consulta hace, sobre los mismos eventos. Esa comparación se prepara de antemano, con casos de prueba de cada tipo.