Metodologia
O fluxo, as regras permanentes e onde recusamos.
O método é o que torna um número revisável por quem não confia em nós. Cada etapa nomeia o artefato que deixa, cada regra se sustenta em todos os engajamentos e cada recusa carrega um código que pode ser consultado.
O fluxo
Cinco etapas, cada uma deixa um artefato
| Etapa | O que acontece | Artefato de prova |
|---|---|---|
Captura | Os boletins de urna são capturados e hasheados no momento da captura, registrando o papel que capturou e não uma pessoa. | Conjunto de captura, com o hash de imagem por artefato |
Verificar | Cada boletim de urna é lido contra o formato do país e confirmado por uma pessoa; a extração automatizada nunca fica sozinha. | Registro de verificação por seção, com a sua base de prova |
Agregar | Só os registros verificados são agregados, com intervalo declarado e correção de população finita sobre o marco amostral. | Relatório de agregação, com o registro de intervalos e a nota de método |
Reconciliar | Os números verificados são comparados linha a linha com um instantâneo hasheado do registro oficial; nada é descartado. | Relatório de reconciliação, com o registro completo de N/A |
Preservar | As partes são congeladas, hasheadas, encadeadas a uma raiz e arquivadas, com um hash de entrega registrado no registro de custódia. Uma correção é um artefato novo, nunca uma edição. | Pacote erm_evidence/1, com o seu manifesto e o seu hash de entrega |
Regras permanentes
Regras que se sustentam em todos os engajamentos
Procedência em cada número
Nenhum número é publicado sem a sua fonte, ou sem um N/A que carregue um motivo. Um espaço em branco e um zero são igualmente recusados.
Disciplina de atribuição
Um número é atribuído ao registro de onde veio, nunca ao juízo da Veridian. Relatamos o que um registro diz e nomeamos o registro.
Sem anúncios de vencedor
Não publicamos, não insinuamos e não confirmamos um resultado antes da certificação, nem o confirmamos a pedido depois.
Apenas agregados
A menor unidade que publicamos é uma unidade agregada. Dados no nível individual não são coletados, não são armazenados e não são aceitos de um cliente.
Responsabilidade humana
Um papel nomeado responde por cada verificação e cada recusa. Nenhum número e nenhuma negativa é atribuída apenas a um sistema.
Alcançabilidade ensaiada
A alcançabilidade da fonte oficial é ensaiada contra o endpoint real antes da eleição. A disponibilidade nunca é presumida no próprio dia.
Intervalos de confiança
Um número sem banda não é uma conclusão
- Nunca uma estimativa pontual sem banda. Uma porcentagem solta é publicada como recusa, não como resultado.
- O intervalo é retido, com motivo declarado, quando a amostra é por cobertura e não probabilística. Uma banda calculada sobre uma amostra não probabilística é aritmética, não inferência.
- Bandas idênticas entre estratos são uma recusa, não um resultado. Uma banda degenerada ou uniforme significa que o cálculo falhou, e no seu lugar publica-se o código de motivo.
Publicado, amostra probabilística
Intervalo de 95 %, com correção de população finita · registros verificados, 1.412 de 1.480 seções
Retido, amostra por cobertura
intervalo retido · non_probability_sample
Não se publica qualquer intervalo para esta amostra, nem qualquer estimativa pontual no seu lugar.
Regras de recusa
Regras de recusa e o código que cada uma publica
Uma recusa é uma conclusão. Nomeia o que é retido, o código de motivo em que assenta e a entrada de registro que o consigna. Os códigos são estáveis entre engajamentos e entre idiomas.
| Código de motivo | O que é retido, e por quê |
|---|---|
non_probability_sample | A amostra é por cobertura, não uma amostra probabilística. Não se publica intervalo, nem estimativa pontual no seu lugar. |
coverage_below_threshold | A cobertura verificada da unidade está abaixo do limiar do protocolo. Não se publica número para essa unidade; publica-se como N/A com este código. |
official_snapshot_absent | Não foi possível obter e hashear um instantâneo do registro oficial. A reconciliação não é tentada e nenhum delta é publicado. |
degenerate_band | O cálculo do intervalo devolveu uma banda de largura zero ou uniforme. A banda é retida e no seu lugar publica-se a falha. |
unreadable_tally | O boletim de urna não pode ser lido segundo a norma por uma pessoa confirmadora. A seção publica-se como N/A com este código, nunca como zero. |
Status das capacidades
Comprovado em produção e comprovado em simulação, mantidos à parte
A coluna do qualificador é a redação que usamos em todo lugar, literal. Se uma capacidade está comprovada em simulação (simulation-proven), essa frase a acompanha em cada apresentação, proposta e relatório.
| Capacidade | Status | Qualificador literal |
|---|---|---|
| Verificação de boletins de urna, confirmada por pessoa | Comprovado em produção | “Executado em escala nacional em uma eleição certificada.” |
| Agregação independente com intervalos declarados | Capacidade do motor — exatidão não afirmada | “Os intervalos foram retidos no engajamento #1 (amostra não probabilística); nenhum intervalo publicado se resolveu ainda.” |
| Reconciliação com o registro oficial | Comprovado em produção | “Executado em escala nacional em uma eleição certificada.” |
| Extração automatizada de boletins de urna | Comprovado em simulação | “Uma demonstração ao vivo com três boletins de urna, mais um pipeline desenhado para escala nacional. Não operou ao vivo em escala nacional.” |
| Detecção de manipulação no pacote de prova | Comprovado em simulação | “Três casos de manipulação construídos, detectados em cada execução de CI contra um pacote sintético.” |
| Cadeia de credenciais de conteúdo | Comprovado em simulação | “Preparada para C2PA: estruturada para asserções C2PA e não certificada por qualquer autoridade C2PA.” |
Solicitar um engajamento
Indique-nos a eleição, a data e o artefato de que precisa. Respondemos com âmbito, condições de recusa e um preço contra o piso publicado.