Verificacao Deterministica
Reins Engineering — IA com redeas
Harness engineering e uma cerca. Impede o agente de sair, mas nao garante que ele chegue ao destino. Reins Engineering sao as redeas — direcionar com contratos deterministicos, travar com catracas, separar decisoes de implementacao.
Hurl impede a deriva do vibe coding
Vibe coding colapsa sob deriva logica em 3 meses. Casos da CMU, METR, DORA e Amazon comprovam. Declare contratos de API em texto simples com Hurl e trave-os com catraca -- suprime a deriva estruturalmente sem limitar a liberdade da IA.
Codigo catraca que explora o IFEval
O vies de bajulacao dos LLMs nao e um defeito, e um ativo. Ao combinar a capacidade de seguir instrucoes medida pelo IFEval com feedback deterministico, ate um modelo local de 4.5B produz um loop de convergencia que gera codigo correto.