🔬 El verificador es el cuello de botella

En el tema 5 del módulo anterior viste el paso verificar del loop descubrir/planificar/actuar/verificar/detenerse. Este módulo entero trata sobre ese único paso, porque él define lo que el loop persigue. El bucle no se detiene en lo que querías — se detiene en lo que aprobó el verificador. Si el verificador acepta cualquier cosa, el bucle entrega cualquier cosa.

Qué observar: seis intentos arriba, una franja estrecha abajo. No importa cuántas vueltas dé el loop de acción: lo que sale está determinado por el ancho del cuello de botella, no por la cantidad de intentos. Un verificador amplio (acepta casi todo) deja pasar basura; uno demasiado estricto bloquea el loop para siempre.

No existe un solo verificador. Existe una escalera: compilar → lint → prueba automatizada → otro modelo que juzga → una persona. Cada paso cuesta más y detecta un tipo distinto de error: compilar detecta errores de sintaxis, la prueba detecta errores de lógica, y la persona detecta errores de criterio que ninguna máquina ve.

Qué observar: la subida de izquierda a derecha. Compilar y hacer lint cuestan casi nada y son deterministas: ejecútalos en cada vuelta del loop. La evaluación del modelo y la humana cuestan caro y tardan más; resérvalas para los casos que ya pasaron por los escalones baratos. Determinista > probabilístico siempre que haya una opción: solo sube la escalera cuando el escalón de abajo no puede detectar el error que buscas.

¿El mismo agente, en la misma conversación, escribe y después “revisa” su propio trabajo? Casi siempre lo aprueba. No es pereza ni malicia: es que todo el razonamiento que produjo ese resultado sigue ahí al lado, en la misma ventana de contexto, inclinando el juicio hacia «está bien». Una revisión de verdad exige contexto limpio.

Qué observar: la línea divisoria punteada del medio. A la izquierda, todo vive en el mismo cuadro y la flecha vuelve sobre sí misma: no hay una separación real entre quien produjo y quien evalúa. A la derecha, solo el resultado y el criterio cruzan la frontera; el revisor nunca ve el borrador ni el razonamiento. Esa separación —contexto limpio, revisor distinto— es exactamente lo que un grafo entrega gratis (cada nodo con su propio contexto) es lo que a un solo loop le cuesta hacer por sí solo. La Trilha 3 ofrece la comparación completa; aquí solo queda el motivo.

Todo verificador compara el resultado con algo. Ese algo es la referencia: una prueba que pasa, un ejemplo aprobado de antemano, una regla escrita, un número objetivo. Sin una referencia concreta, la verificación se convierte en opinión, y la opinión cambia de humor entre una vuelta y otra del loop.

El verificador se deteriora con el tiempo, incluso si nadie lo modifica. Las pruebas dejan de cubrir lo que cambió en el código. Los datos de ejemplo envejecen. La definición de una métrica cambia por debajo, en otro sistema, y nadie le avisó al verificador. La verificación pasa de comprobar a realidad para solo comparar papel con papel — y el panel sigue en verde todo el tiempo.

La misma lógica de escribir la prueba antes del código. Escribe el verificador antes del prompt del agente y pruébalo contra un resultado malo a propósito. Un verificador que nunca rechaza nada no está verificando — solo está poniendo un sello. Ese verificador luego se convierte en un en el de tu grafo: la Ruta 4 muestra cómo.

Antes de escrever qualquer prompt de agente, escreva o VERIFICADOR para a tarefa
<descreva a tarefa, ex: "resumir um artigo em ate 5 bullets">.

O verificador deve:
1. Ser um script/funcao deterministica sempre que possivel (nao outro modelo).
2. Definir a referencia por escrito: o que torna o resultado aprovado
   (ex: "tem no maximo 5 bullets", "cada bullet tem menos de 30 palavras",
   "nenhum bullet repete a frase de outro").
3. Retornar aprovado/reprovado + o motivo.

Depois, crie um CASO RUIM DE PROPOSITO: um resultado que claramente viola
a referencia (ex: 12 bullets, ou bullets repetidos). Rode o verificador
contra esse caso ruim.

So depois disso, escreva o prompt do agente que vai gerar o resultado de verdade.