Como um sistema responde apenas aquilo que consegue demonstrar

Cálculo determinista, exposto passo a passo. O modelo não calcula.

• O núcleo de cálculo é determinístico: a mesma entrada devolve sempre o mesmo resultado.
• Cada passo do cálculo fica exposto, para que uma pessoa possa repeti-lo à mão ou em outra implementação.
• O modelo de linguagem nunca faz o cálculo por conta própria.

Factos num repositório endereçável, com origem e licença. Vazio é uma resposta.

• Os fatos ficam num armazenamento endereçável, separado dos pesos do modelo.
• Cada fato traz a sua origem: fonte, autor ou emissor, data, licença.
• Um resultado vazio é uma resposta válida e é devolvido como tal, nunca preenchido por geração.

Cada achado é acompanhado da probabilidade de ocorrer por acaso, calculada sobre o espaço de pesquisa real.

• Cada achado declarado é apresentado junto com a frequência com que ocorreria por acaso.
• O tamanho do espaço de busca é contado e informado, com correção para comparações múltiplas.
• Um resultado negativo é publicado nas mesmas condições que um positivo.

Regras de recusa em código, legíveis por máquina, sobre pessoas, sobre o futuro e sobre fontes em falta.

• As regras de recusa ficam no código, não num prompt, e podem ser lidas por máquina por quem faz a chamada.
• As regras dizem o que o sistema não dirá sobre uma pessoa, sobre o futuro e sobre uma fonte que não tem.
• Quem faz a chamada pode ler as regras antes de apresentar qualquer coisa a uma pessoa.

Um hash e uma chamada reproduzível por baixo de cada resposta.

• Cada resposta traz um registro: um hash do conteúdo e a chamada exata que a reproduz.
• O registro só muda quando mudam a entrada, os dados ou a versão do motor.
• A versão do motor faz parte do registro.