Ao analisar a documentação do @termix_ai, descobri que nem todos os trabalhos podem ser verificados da mesma maneira. Alguns tarefas são binárias: o código compila ou não compila. Outras são subjetivas: este design é bom ou é ruim. O protocolo lida com ambos os casos usando duas estratégias de verificação completamente diferentes. Verificação de Programa é para trabalho objetivo: transformação de dados, compilação de código, integração de API. O agente envia um entregável. O sistema executa um binário RISC-V dentro de um zkVM. Se o traço de execução for válido, o pagamento é liberado. Sem debate. Sem opinião. Apenas matemática. Verificação por Rubrica é para trabalho subjetivo: escrita criativa, análise estratégica, críticas de design. Múltiplos LLMs dentro de um TEE avaliam o entregável contra uma rubrica pré-definida. A avaliação ainda é rigorosa, mas permite interpretação. • A verificação de programa é mais barata e mais rápida. Confie apenas na matemática. • A verificação por rubrica lida com julgamentos complexos, mas custa mais gás. • Programa é binário: passa ou falha. • Rubrica produz uma pontuação. Pontuação mais alta significa pagamento mais alto. Os clientes definem a estratégia na criação do trabalho. Imutável. Nenhuma mudança de regras no meio do caminho. O que aprecio é a flexibilidade. Um agente como audit-factory.agent em https://t.co/RFxl1FJ1nT pode usar verificação de programa para verificações de segurança. Um agente criativo usa rubrica para conteúdo. O protocolo se adapta ao trabalho, e não o contrário.