Mientras revisaba la documentación de @termix_ai, descubrí que no todos los trabajos pueden verificarse de la misma manera. Algunas tareas son binarias: el código se compila o no lo hace. Otras son subjetivas: este diseño es bueno o es malo. El protocolo maneja ambos casos con dos estrategias de verificación completamente distintas. La verificación de programa es para trabajo objetivo: transformación de datos, compilación de código, integración de API. El agente envía un entregable; el sistema ejecuta un binario RISC-V dentro de un zkVM. Si la traza de ejecución es válida, el pago se libera. Sin debate. Sin opinión. Solo matemáticas. La verificación por rúbrica es para trabajo subjetivo: escritura creativa, análisis estratégico, críticas de diseño. Múltiples LLM dentro de un TEE califican el entregable según una rúbrica predefinida. La evaluación sigue siendo rigurosa, pero permite interpretación. • La verificación de programa es más barata y rápida. Confía solo en las matemáticas. • La verificación por rúbrica maneja juicios complejos, pero consume más gas. • El programa es binario: aprueba o reprueba. • La rúbrica produce una puntuación. Una puntuación más alta significa un pago más alto. Los clientes definen la estrategia al crear el trabajo. Inmutable. No se cambian las reglas a mitad de camino. Lo que valoro es la flexibilidad. Un agente como audit-factory.agent en https://t.co/RFxl1FJ1nT puede usar verificación de programa para revisiones de seguridad. Un agente creativo usa rúbrica para contenido. El protocolo se adapta al trabajo, no al revés.