Verificación

Escribir código no es lo mismo que terminar una tarea. Rinari registra evidencia de verificación —qué comprobaciones se ejecutaron y qué devolvieron— y el motor decide cuán completo está el trabajo a partir de esa evidencia, no de lo que el modelo diga de él.

Evidencia

Cada evidencia es un registro con un tipo, un alcance, el comando cuando lo hay y un resultado. Los tipos incluyen:

• test, lint, typecheck y build;
• comprobaciones schema y custom;
• comprobaciones manual, cuando un paso solo se puede confirmar a mano.

Antes de verificar, Rinari puede planificar qué comprobar según los archivos que cambiaron: las pruebas dirigidas, las pruebas cercanas, los comandos de lint, tipos y build que usa el proyecto, y ampliar a la batería completa cuando cambió un archivo compartido o la configuración.

Estados de finalización

Tras un turno con actividad, el motor evalúa una compuerta de finalización con la evidencia más reciente:

Estado	Significado
DONE	Implementado y razonablemente verificado.
IMPLEMENTED_UNVERIFIED	La implementación existe, pero no fue posible una verificación significativa.
PARTIAL	Parte de lo pedido está incompleto.
BLOCKED	Avanzar requiere información, acceso, una aprobación o un estado externo que no está disponible.
FAILED	La solución intentada no funcionó.

La compuerta rechaza afirmaciones que la evidencia no respalda. Si el modelo dice «las pruebas pasan» pero la última prueba relevante terminó con error, o dice «arreglado» sin evidencia que lo respalde, el resultado no es DONE. Tampoco cuenta una comprobación que informó éxito mientras su salida contiene un fallo, ni una ejecución en la que no corrió ninguna prueba.

En la app

• La pestaña Verificación del panel del espacio de trabajo muestra la Última evidencia y un Plan sugerido. Antes de que se compruebe nada, dice Sin evidencia de verificación todavía.
• En Flujos, cada etapa muestra Verificación N ok · M fallidas, y una etapa sin comprobaciones registradas lo dice en lugar de afirmar un resultado.
• El subagente verifier vuelve a ejecutar de forma independiente las validaciones indicadas, inspecciona el diff final y decide el estado con su evidencia.

En la terminal

rinari verify            # ejecuta el planificador de verificación
rinari verify changed    # céntrate en lo que cambió
rinari verify task
rinari verify project

Sigue revisando

Los registros de verificación y la compuerta de finalización muestran qué se probó; no hacen que el código generado sea correcto por sí solo. Revisa el diff en Cambios, lee la evidencia y usa los Checkpoints: puedes previsualizar una restauración antes de confirmarla. Los checkpoints son herramientas de recuperación, no sustituyen a las copias de seguridad.