A TypeSafe chama a própria categoria de produto de “System One”, e o nome vem de um livro de psicologia popular. A documentação é transparente sobre isso: diz que o nome vem do conceito popularizado por Daniel Kahneman em Thinking, Fast and Slow, onde o System 1 é rápido e intuitivo e o System 2 é mais lento e deliberado, e acrescenta que aqui a ênfase está em julgamentos rápidos e focados.
Vale deixar claro desde o começo o que estamos e o que não estamos dizendo. A referência é uma metáfora de nomenclatura. Ela indica o tipo de tarefa a que a ferramenta se propõe. Ela não é uma afirmação sobre como o modelo funciona por dentro, nem uma teoria da cognição transportada para software, nem um argumento técnico a favor de nada. A documentação oficial não faz essa afirmação, e nós também não.
Dito isso, a etiqueta é útil por um motivo prático: ela dá nome a uma divisão de trabalho que qualquer sistema com IA acaba tendo.
A divisão de trabalho, sem a psicologia
Tire o vocabulário emprestado e olhe só o que sobra no contrato de cada ferramenta.
| Decisão estruturada (o que o Jev faz) | Raciocínio e geração | |
|---|---|---|
| Saída | opção, nível ou probabilidade | texto novo |
| Espaço de resposta | definido por você, fechado | aberto |
| Explicação | a distribuição e o caminho no seu código | o texto que o modelo escreve |
| Custo por chamada | dominado pelo state de entrada | entrada e saída, com saída mais cara |
| Onde erra | leitura literal, indireção, aritmética | invenção plausível, tom confiante |
A documentação descreve o escopo do Jev de forma bem restritiva, e isso é uma qualidade: ele não escreve respostas, não produz código e não gera explicação do próprio raciocínio. O que ele devolve é decisão tipada com probabilidade, conforme as três primitivas descritas em primitivas.
Como a documentação propõe combinar os dois
O ponto interessante é que a própria TypeSafe não posiciona o Jev como substituto do modelo de raciocínio. A página de System One diz que as respostas trazem confiança justamente para o código decidir quando agir e quando escalar para uma pessoa ou para um modelo de raciocínio.
Isso aparece com nome de padrão em dois lugares deste guia:
- roteamento de intenção, em que o Jev classifica e o LLM especialista só é acionado no ramo que precisa escrever;
- cascata de extração, em que um modelo pequeno extrai, o Jev verifica campo por campo e o modelo de raciocínio só entra quando um sinal dispara.
Nos dois desenhos, o barato decide o desvio e o caro faz o trabalho caro. Essa é toda a ideia, e ela não precisa de metáfora nenhuma para se sustentar.
O que muda na sua cabeça quando a saída é tipada
Há uma diferença de método que vale mais que a diferença de arquitetura. Com um modelo que gera texto, o trabalho de engenharia é escrever o pedido e depois defender o sistema do formato que voltou: parsing, validação, tentativa de novo, tratamento de recusa.
Com uma saída tipada, esse trabalho desaparece e outro aparece no lugar: escrever a pergunta certa e decidir o que fazer com a incerteza. Não é menos trabalho — é trabalho em lugar diferente, e é mais fácil de testar, porque a saída é comparável entre execuções.
O contraste de fundo, incluindo a crítica que a TypeSafe faz ao treino por preferência humana, está em decisões calibradas.
Quando a sua tarefa não é deste tipo
A página oficial de limites do jev-1.13 é o melhor filtro disponível, e ela
mesma menciona “tarefas System Two” na lista do que evitar. Em resumo, saia
desta categoria quando:
- a resposta precisa ser texto novo. A documentação diz que o modelo não é treinado para gerar texto e que forçar por encadeamento de escolhas funciona mal e fica muito lento;
- a resposta exige aritmética exata. O modelo não é calculadora, e contagem não é confiável;
- a resposta depende de vários saltos de indireção — uma propriedade de uma propriedade, dupla negativa, encadeamento de inferências;
- a resposta envolve comparação de datas. A orientação é extrair as partes com Choice e comparar em código, como faz a receita de extrair datas.
Os nove modos de falha declarados, com o remédio de cada um, estão em limites do Jev.
Uma nota sobre o nome
Nomes de categoria fazem trabalho de marketing, e este faz. “System One” soa melhor que “modelo de classificação calibrada com saída tipada”, que é o que a coisa é.
A defesa que vale, e que dá para verificar, não está no nome: está no contrato. Saída sem texto livre, espaço de resposta que você define, probabilidade em toda resposta, preço cobrado por token de entrada com saída gratuita. Se o contrato resolve o seu problema, o nome é irrelevante; se não resolve, nenhum nome melhora. Para ver o contrato funcionando com um texto seu, use o playground.
Perguntas frequentes
De onde vem o nome System One?
A documentação oficial diz que o nome vem do conceito popularizado por Daniel Kahneman no livro Thinking, Fast and Slow: o System 1 é rápido e intuitivo, o System 2 é mais lento e deliberado. E completa que aqui a ênfase está em julgamentos rápidos e focados.
Isso quer dizer que o Jev imita a cognição humana?
Não, e a documentação não afirma isso. A referência é de nomenclatura: serve para indicar o tipo de tarefa — julgamento rápido e focado — e não para sustentar qualquer alegação sobre como o modelo funciona por dentro.
Existe um modelo System Two?
A TypeSafe não vende um. O que existe na prática são os modelos de raciocínio, que a própria documentação descreve como fortes em tarefas como matemática e mais lentos e mais caros. É para eles, ou para uma pessoa, que a documentação sugere escalar.
Como eu sei se a minha tarefa é System One?
Se a resposta cabe em uma opção de um conjunto, um nível de uma régua ou um sim e não, é candidata. Se a resposta precisa de texto novo, de vários saltos de indireção ou de aritmética exata, não é — e a página de limites lista isso explicitamente.
Posso usar os dois no mesmo fluxo?
Sim, e é o desenho mais comum. O Jev classifica e decide o desvio, e o modelo caro só é acionado no ramo que precisa dele. Os padrões de roteamento de intenção e de cascata de extração são as duas formas mais diretas de fazer isso.
Chamar de System One não é só marketing?
O nome é escolha de marca, sim. O que não é marca é o contrato de saída: sem geração de texto, com resposta tipada e probabilidade. É por esse contrato que vale julgar a ferramenta, não pela etiqueta.