Stickybit.← VerificaçãoEnglishGlossário · verificação
Glossário

As palavras dos vereditos que aguentam contestação.

Cada termo ganha um exemplo do dia a dia antes da definição. Os nomes técnicos continuam aqui, para quem os encontrar num artigo, num contrato ou numa conversa com fornecedor.

Espécime · um laudo de três valores, peça por peça

Ilustração, não medição: o laudo é o documento que a seção entrega. Os números citados nos termos vêm das páginas da seção e do caderno, medidos por nós, exceto os dos juízes, de um estudo de 2026.

A régua

antes: oráculo · critério de aceitação · suíte de testes · benchmark
No dia a dia
A fita métrica do alfaiate. Se ela encolheu na lavagem, todo terno sai errado, e ninguém desconfia da fita.
O que significa aqui
Tudo o que decide se algo passou: a suíte de testes, o benchmark, o laudo de aceitação, o painel de IAs que dá nota, a planilha de conferência. Quase ninguém confere a régua; é por ela que começamos.
Onde aparece
A seçãoA régua consegue falhar?Caderno: o verde é silêncio

Três vereditos

antes: veredito de três valores · cumpre / não cumpre / indecidível
No dia a dia
O juiz de futebol que, na dúvida, pede o vídeo em vez de apitar no chute.
O que significa aqui
Um laudo que responde cumpre, não cumpre ou indecidível. Os dois primeiros só saem quando a faixa de erro inteira está de um lado da linha; o terceiro diz, em voz alta, onde a medição parou de decidir.
Onde aparece
A seçãoTrês vereditos, por escritoCaderno: quem decidiu foi o sorteio

Limite de ação

antes: limiar · threshold · SLA
No dia a dia
A placa de 60 km/h: abaixo dela ninguém é multado, acima dela alguém age.
O que significa aqui
O tamanho de diferença a partir do qual alguém muda o que faz: libera, paga, multa, reprova. Precisa estar escrito antes de medir. Nas nossas comparações de desempenho, usamos 5%.
Onde aparece
Três vereditos, por escritoCaderno: quem decidiu foi o sorteio

Margem de erro

antes: intervalo de confiança · incerteza · ±
No dia a dia
Pesar a mala na balança do banheiro: "uns 23 kg, dois para mais ou para menos".
O que significa aqui
A faixa em volta do número medido onde o valor verdadeiro provavelmente está. Um laudo honesto compara a faixa com o limite, não só o número do meio.
Onde aparece
A seçãoTrês vereditos, por escrito

Folga

antes: margem de segurança · guard band · k
No dia a dia
Chegar ao aeroporto uma hora antes, não um minuto antes: o voo é o mesmo, a chance de perder não.
O que significa aqui
Quanto além da linha o resultado precisa estar para decidir. Declarada antes de medir, protege contra o acaso. Escolhida depois de ver o resultado, é só outro jeito de chegar à resposta que se queria. O valor certo ainda é pergunta aberta: três jeitos de derivar deram 1,4 e 2,0, e o terceiro não apontou valor nenhum.
Onde aparece
Três vereditos, por escritoCaderno: quem decidiu foi o sorteio

Indecidível

antes: inconclusivo · zona de dúvida
No dia a dia
O exame que volta com "repetir a coleta": não é bom nem ruim, é honesto.
O que significa aqui
O terceiro veredito: a faixa de erro atravessa a linha e a medição não tem precisão para decidir. Pode ser grande: num estudo nosso, 81,6% das diferenças que um teste estatístico chamou de reais não sustentavam decisão contra o limite.
Onde aparece
A seçãoTrês vereditos, por escritoCaderno: quem decidiu foi o sorteio

Sem alarme

antes: passou · verde · aprovado (o nome errado)
No dia a dia
O detector de fumaça quieto: pode ser que não haja fogo, pode ser que falte bateria.
O que significa aqui
O veredito de quem procura um problema e não achou. Nunca é escrito como "aprovado": vale o que vale o detector. Por isso a pergunta que vem antes é se o detector consegue disparar.
Onde aparece
A seçãoCaderno: o verde é silêncioCaderno: julgue o que vaza

Controle contra si mesmo

antes: teste A/A · controle nulo
No dia a dia
Pôr o mesmo saco de arroz duas vezes na balança. Se ela diz pesos diferentes, o problema é a balança.
O que significa aqui
Comparar um sistema com ele mesmo, onde a resposta certa é "não mudou nada". A regra mais usada nas esteiras de teste declarou vencedor em 33 de 198 comparações assim, 16,7%. A regra que olha a faixa, em zero.
Onde aparece
A régua consegue falhar?Caderno: quem decidiu foi o sorteio

Defeito plantado

antes: mutante · teste de mutação
No dia a dia
O fiscal que esconde uma nota falsa no caixa para ver se o conferente percebe.
O que significa aqui
Uma cópia do código com um erro pequeno de propósito. Se os testes continuam verdes, eles não enxergam aquele tipo de erro. A fração de defeitos percebidos é a nota da suíte, não do código.
Onde aparece
A régua consegue falhar?Caderno: o verde é silêncio

Semente

antes: seed · semente aleatória
No dia a dia
O número da rifa que dá a partida no sorteio: mesmo número, mesmo resultado, sempre.
O que significa aqui
O número que dá a partida num sorteio feito por computador, como o que calcula a margem de erro. Fixar a semente faz o resultado se repetir; não faz o resultado deixar de depender dela.
Onde aparece
Caderno: quem decidiu foi o sorteioA régua consegue falhar?

Fatia de moeda

antes: instabilidade do veredito · coin share
No dia a dia
A disputa de pênaltis: o time não ficou melhor nem pior, mas alguém ganha.
O que significa aqui
A parte dos vereditos que muda quando só o que não é dado muda, como a semente do sorteio. Trocando 200 sementes num estudo nosso, 3,6% dos vereditos decididos viraram. Ela cresce justamente onde os casos moram perto do limite.
Onde aparece
Caderno: quem decidiu foi o sorteioA régua consegue falhar?

Juiz externo

antes: oráculo independente · verificador
No dia a dia
O árbitro que não joga em nenhum dos dois times.
O que significa aqui
Uma régua que fica fora de quem gerou o resultado, se apoia em algo que o gerador não controla, é cara de construir e barata de rodar, e tem dono que paga se ela errar. As quatro condições estão na página de entrada da seção.
Onde aparece
A seçãoIA conferindo IA

Juízes que erram juntos

antes: correlação de erros · falhas correlacionadas
No dia a dia
Três testemunhas que leram a mesma notícia: parecem três, contam como uma.
O que significa aqui
Quando vários juízes erram nos mesmos casos, somar opiniões rende pouco. Num estudo de 2026 com nove IAs de sete famílias, a correlação média de erros entre pares foi de 0,391. A mesma lição apareceu em 1986, com programas escritos por equipes diferentes.
Onde aparece
IA conferindo IACaderno: o barato absolve

Votos efetivos

antes: número efetivo de juízes · n efetivo
No dia a dia
Um conselho de nove em que sete sempre votam com o presidente: são, na prática, uns três votos.
O que significa aqui
Quantos juízes independentes um painel correlacionado vale de fato. Nove IAs julgando juntas valeram 2,18 votos. Empilhar mais juízes parecidos quase não sobe esse número.
Onde aparece
IA conferindo IAA seção

Zona cega

antes: limite de domínio · ponto cego do instrumento
No dia a dia
O retrovisor que não mostra a moto ao lado: não é defeito do espelho, é onde ele não alcança.
O que significa aqui
Onde a régua não consegue decidir, por construção. Um sensor de medida grossa parado devolve sempre o mesmo número, igual a um travado; médias longas engolem o sinal. Declarar a zona cega é metade do laudo.
Onde aparece
Caderno: julgue o que vazaConferir sem abrirA régua consegue falhar?

Conferir sem abrir

antes: auditoria sob sigilo · refutação sob confidencialidade
No dia a dia
O fiscal que confere o peso do caminhão lacrado sem abrir a carga.
O que significa aqui
Chegar a um veredito sem ver o dado sigiloso do auditado. Quatro caminhos, do mais simples ao mais forte: recibo com carimbo de tempo, vazamento involuntário, conta cifrada e prova de conhecimento zero.
Onde aparece
Conferir sem abrir0k-proofFHE

Vazamento involuntário

antes: canal lateral · side channel · emissão involuntária
No dia a dia
O suor de quem mente: ninguém escolhe emiti-lo, e ele conta alguma coisa.
O que significa aqui
O que um sistema emite sem escolher, junto com o que declara: o tamanho de cada pacote, a hora em que chegou, o tom de um rádio. Quem só vê tamanhos e horários pode refutar "o sensor está vivo" sem ler um valor. A ausência condena; a presença não absolve.
Onde aparece
Caderno: julgue o que vazaConferir sem abrir

Recibo

antes: resumo criptográfico · hash · comprovante verificável
No dia a dia
A impressão digital de um documento: não mostra o documento, mas denuncia qualquer vírgula trocada.
O que significa aqui
Um resumo curto e único de um arquivo, guardado no momento da entrega. Qualquer terceiro recalcula e confere se o arquivo mudou, sem precisar confiar em quem guardou.
Onde aparece
Conferir sem abrirTelemetriaA seção

Carimbo de tempo

antes: timestamp · datação certificada
No dia a dia
O carimbo do correio no envelope: prova que a carta existia naquele dia.
O que significa aqui
Um registro assinado de que um recibo existia num certo momento. Junto com o recibo, prova que o arquivo de hoje é o mesmo entregue naquela data. Para durar décadas, a assinatura precisa resistir ao computador quântico.
Onde aparece
Conferir sem abrirTelemetria

Previsão registrada

antes: pré-registro
No dia a dia
Dizer em qual caçapa a bola vai entrar antes da tacada.
O que significa aqui
Escrever o que se espera medir, e como, antes de medir. Sem isso, qualquer resultado pode ser contado como o esperado depois. Todas as medições desta seção têm a previsão registrada antes.
Onde aparece
A seçãoCaderno: quem decidiu foi o sorteio

Critério de derrota

antes: critério de morte · condição de refutação
No dia a dia
Combinar antes do jogo o placar que faz você admitir que perdeu a aposta.
O que significa aqui
A condição, escrita antes, em que a ideia é dada como errada. Já matou apostas nossas: o tamanho do pacote como detector de sensor morto e os testes gerados por IA como caçadores de defeito (0 de 19).
Onde aparece
Caderno: o verde é silêncioCaderno: julgue o que vazaA seção
A seção

Para usar na prática.

EntradaVereditos que aguentam contestaçãoA seção inteira em uma página, com o laudo de dois contra três valores. AuditoriaA régua consegue falhar?Cinco testes para qualquer suíte, benchmark ou painel. SigiloConferir sem abrir o dadoQuatro jeitos de chegar a um veredito sem ver o que é sigiloso. Outro glossárioAs palavras do 0k-proofProvar sem mostrar, termo por termo.
Conversar

Isto se aplica ao seu caso?

Conte em duas linhas o que você precisa decidir ou medir. A primeira conversa serve para ver se a medição resolve o seu caso, e, se não resolve, dizemos.

Conversar pelo WhatsApp algorithms@stickybit.com.br Stickybit · Porto Alegre, desde 2004

← Verificação