Ideia principal

Uma resposta produzida por um modelo a partir de um repositório pode afirmar que uma regra existe sem mostrar nada. Ela é então mais uma documentação aproximada — mais rápida e mais bem escrita que a anterior, não mais confiável. Só trocamos a memória imperfeita de um Product Manager pela memória probabilística de um modelo.

A exigência que muda alguma coisa é ligar cada afirmação a um elemento que dá para apontar: a função que aplica a regra, a exceção que bloqueia o caso, o teste que cobre o cenário, o merge request que introduziu o comportamento, o estado do feature flag, a decisão de produto que arbitrou o assunto.

O que conta não é que essas evidências sejam lidas. Um agente de suporte ou um vendedor não vai abri-las, e elas podem ficar no rodapé do documento. O que conta é que elas precisem existir: uma resposta que tem de citar não pode mais ser produzida por verossimilhança. A restrição age no momento da produção, não no momento da releitura — é isso que a distingue de uma exigência de rastreabilidade, que supõe um leitor para verificá-la.

Por que isso importa

Isso desloca a verificação de uma etapa humana cara, raramente feita, para uma propriedade do próprio pedido. Você não obtém a garantia de que uma resposta está certa; obtém que ela não possa ser produzida no vazio.

Isso também dá a forma a dar a qualquer pedido feito a um modelo sobre um corpus: exigir, para cada conclusão, o elemento do corpus em que ela se apoia. O mesmo dispositivo vale para a análise de um conjunto de textos, em que pedimos a frase ou o parágrafo que sustenta cada conclusão.

Nuances e limites

Uma evidência citada pode ser mal escolhida: uma função que existe não é necessariamente a que executa, um teste que passa não estabelece que o caso esteja coberto como imaginamos. A restrição reduz a afirmação gratuita, não garante a pertinência do apoio.

E uma resposta fartamente referenciada ganha em autoridade aparente, o que pode desencorajar justamente a releitura que ela tornava possível.

Questões em aberto

• O que distingue uma evidência que realmente estabelece o comportamento de uma evidência apenas compatível com a afirmação?