Qué significa una regla
Una regla es una expectativa sobre el comportamiento de una función. Puede describir lo que devuelve la función, lo que esperan los llamadores o un requisito que añades tú. Las reglas derivadas de tu código pueden ser incorrectas; puedes corregirlas.
Qué comprueba la verificación
La arquitectura se obtiene analizando el código fuente y describe funciones, llamadores y dependencias. Un modelo propio deriva expectativas a partir de esa arquitectura. La verificación comprueba los cambios frente a esas expectativas.
El modelo decide qué debería ser cierto. Las reglas comprueban si lo sigue siendo.
Lee un fallo
Lee la función, la regla, lo que ocurrió en su lugar, la ubicación y los llamadores afectados. Sigue la evidencia hasta el código antes de decidir qué cambiar. Un fallo puede afectar a llamadores fuera del archivo que editaste.
Entiende el estado
Un resultado correcto significa que la regla evaluada se cumplió. Un fallo significa que la regla evaluada no se cumplió. Una evaluación pendiente o no disponible no es prueba de que se haya cumplido. Lee cualquier explicación que lo acompañe antes de actuar.
Fallos nuevos y preexistentes
La referencia es la base de código antes del cambio. Compararla permite separar los fallos introducidos ahora de los que ya existían. Un fallo preexistente puede seguir siendo importante; la etiqueta te indica que este cambio no lo introdujo.
Corrige la expectativa o el código
Si el código es incorrecto, corrígelo tú mismo o elige Corregir en la tarjeta del fallo. Panolayer Agent toma como encargo la función, la regla y los llamadores afectados, y la verificación se vuelve a ejecutar cuando termina. Si la expectativa es incorrecta, corrige la regla. La verificación no detecta todos los errores, y la cobertura varía según el lenguaje y el repositorio.