PACOTE DE VERIFICAÇÃO DA APURAÇÃO
=================================

Sorteio: 89f119e5-eac3-48da-915b-f0b09e960593
Apuração: versão 1 (official), confirmada em 20/10/2026 23:23:12 (UTC)
Números do sorteio: de 0 a 9999999

Conteúdo
--------
manifest.json     receita de apuração e seu texto, versão da regra, hashes da relação
                  selada, protocolo de recebimento da LOTEP, resultado da Loteria
                  Federal usado (concurso, data, prêmios, origem, sha256 do original),
                  ganhadores declarados e o sha256 de cada arquivo deste pacote.
draw-list.csv.gz  relação de apuração selada no encerramento das vendas, exatamente
                  como foi gravada: uma linha por compra, com o pseudônimo da compra,
                  o pseudônimo do participante e os números (faixas "a-b").
federal-raw.json  o resultado da Loteria Federal exatamente como foi capturado.
manifest.sig      (quando presente) assinatura Ed25519 de manifest.json.

Como conferir
-------------
Qualquer pessoa pode refazer a apuração sem acesso a este sistema:

    verify-draw pacote.zip
    verify-draw --pubkey chave-publica.txt pacote.zip

O verificador confere os hashes de cada arquivo, recompõe o número inicial de
cada prêmio a partir dos dígitos da extração da Loteria Federal, percorre a
relação selada pela mesma regra de aproximação (soma 1, volta ao zero depois do
último número, pula número sem comprador e participante já contemplado) e
compara com os ganhadores declarados. Resultado: "OK" (código 0) ou o motivo
da divergência (código 1).

O participante encontra a própria linha pelo "Seu identificador na apuração",
exibido em "Meus bilhetes". Nenhum dado pessoal consta deste pacote.

Concurso pela data
------------------
federal-prev-raw.json  a extração imediatamente anterior à usada, exatamente como
                       foi capturada. Com ela o verificador confere que a extração
                       usada é a PRIMEIRA realizada após o encerramento das vendas
                       (manifest.json, "contest_rule"): a anterior é de data
                       anterior à primeira data válida e tem o número de concurso
                       imediatamente menor.

ATENÇÃO: Ambiente de teste — sem validade regulatória.
Este pacote foi emitido em ambiente de teste e não serve como prova perante a LOTEP.
O concurso da Loteria Federal foi escolhido livremente no ambiente de teste: a regra da
primeira extração após o encerramento das vendas não foi aplicada.
