# Monte Carlo: duas perguntas diferentes

Atualização de 29/10/2026. Este painel usa as avaliações já armazenadas do recálculo de 29/10/2026; nenhum modelo, voto, população simulada ou aquisição foi executado novamente nesta atualização.

## Pergunta principal: os seis números de Lula juntos

Em cada uma das 4.096 avaliações de cada referência, verificamos simultaneamente estes limites nacionais:

| Indicador | Limite observado | Regra |
|---|---:|---|
| Seções com mais de 70% para Lula | 87.278 | Contagem simulada ≥ observada |
| Seções com mais de 80% para Lula | 35.591 | Contagem simulada ≥ observada |
| Seções com mais de 90% para Lula | 6.802 | Contagem simulada ≥ observada |
| Seções com exatamente 100% para Lula | 106 | Contagem simulada ≥ observada |
| Liderança Flávio → Lula entre turnos | 31.341 | Contagem simulada ≥ observada |
| Ganho líquido de Lula, onde aumentou o comparecimento | 8.886.745 votos | Ganho simulado ≥ observado |

O evento conjunto é a interseção das seis condições **na mesma avaliação**. Não é a soma dos números de seções nem a soma ou multiplicação de probabilidades. Uma seção acima de 90% também está acima de 80% e 70%; a dependência é preservada ao observar os seis indicadores da mesma réplica. Ganhos líquidos são assinados: não aplicamos valor absoluto a perdas.

O evento foi especificado após examinar os dados e é **exploratório**. Sua frequência não é um valor-p global calibrado nem probabilidade de fraude. Exigir todos os seis componentes não implica que todos sejam individualmente raros. As frequências marginais são publicadas, inclusive as que mostram reprodução frequente de um componente.

## Pergunta secundária: razões entre Lula e Flávio

Preserva-se o recálculo aprovado: contagens Lula/Flávio em cada limiar, viradas F→L divididas por L→F e ganhos líquidos Lula/Flávio. Os seis contrastes ordenados são confrontados com suas razões observadas. O conjunto secundário também é um AND na mesma avaliação, mas responde a outra pergunta. Não misturamos a conjunção das razões com a conjunção dos números de Lula.

Denominador zero com numerador positivo é razão infinita; não é ausência. No recorte reservado, M100 observado é 30/0. As razões usam a ordenação registrada no recálculo; a nova pergunta principal compara diretamente os numeradores.

## Universos

- Brasil doméstico: 497.897 seções, 5.571 municípios; inclui municípios de treino e reservados.
- Municípios reservados: 116.503 seções, 1.098 municípios; seus resultados não foram usados no ajuste. Os limites observados desse recorte são próprios dele, nunca os totais nacionais.
- Os filtros de UF/município refinam as abas territoriais. Eles não recalculam o Monte Carlo nem alteram a população escolhida em seu seletor.

## Referências e limites

Referência A: logística/ridge com efeito municipal e beta-binomial. Referência B: logística/ridge e reamostragem em blocos municipais. Mesmas covariáveis, partição municipal, parâmetros e avaliações do recálculo preservado. São 256 avaliações de calibração e 4.096 de avaliação por referência; a contagem de cauda utiliza somente as 4.096 de avaliação.

As referências aprendem relações territoriais nos resultados do segundo turno dos municípios de treino. Votos válidos e comparecimento do segundo turno ficam fixos: sua própria improbabilidade não é testada. Adequação preditiva não certifica legitimidade eleitoral, não elimina erro de especificação e não converte as frequências em probabilidade de fraude.

## Frequência e precisão

Para cada condição e conjunto, publicamos `b`, número de avaliações que atingiram o limite, `B_valid`, denominador de avaliações válidas, e avaliações indefinidas. A frequência observada é `b/B_valid`. O estimador corrigido `(b+1)/(B_valid+1)`, a resolução e o intervalo de 99% de Wilson ficam separados em detalhes técnicos. O ajuste de Holm cobre somente os seis contrastes marginais; não transforma o evento conjunto em valor-p global.

Com zero ocorrências em 4.096 avaliações, o estimador corrigido é 1/4.097 e o intervalo de Wilson de 99% é aproximadamente 0–0,1617%. **Isso não determina a chance verdadeira nem sua ordem de grandeza.** Não é correto afirmar que a chance exata seja zero, uma em 4.096 ou que equivalha a uma sequência determinada de acertos na Mega-Sena. O intervalo descreve incerteza Monte Carlo sob a referência, não todas as incertezas sobre a eleição.

## Reprodução e preservação

`joint-study/derive.py` lê `audit-redo/simulation-draws.npz`, sem RNG, refit, HTTP ou nova simulação. Os hashes das fontes constam no JSON. O pacote oferece os resultados das duas perguntas em JSON e CSV. A implementação anterior de saldos S1/S2/S3 e soma de escores fica preservada no arquivo histórico `simulation.json`, sem ser apresentada como o resultado atual.

Dados são agregados. Não identificam quem votou, a origem individual de cada ganho, modalidade de habilitação associada ao candidato, intenção, autoria ou votos indevidos.