Metodologia do Mapa de Probabilidade Judicial

As probabilidades exibidas por vara vêm de estatística bayesiana aplicada a 452 mil processos públicos resolvidos (2012–2026): a taxa observada em cada vara é combinada com as taxas da comarca, do tribunal e do país, com peso proporcional ao tamanho da amostra. O método foi validado contra o futuro (treinado no passado, testado no ano seguinte) e só entrou no ar porque superou os quatro métodos mais simples possíveis. Nada aqui é opinião: é contagem.

De onde vêm os dados

Processos públicos das APIs oficiais do CNJ (DataJud), do Diário de Justiça Eletrônico Nacional (DJEN) e do STF (Corte Aberta). Contamos apenas processos já resolvidos, classificados em cinco desfechos: acordo, procedente, parcialmente procedente, improcedente e extinto.

Como a conta é feita

Uma vara com 30 processos e nenhum acordo não significa "0% de chance de acordo" — significa amostra pequena. Por isso usamos encolhimento bayesiano (modelo Dirichlet-multinomial) em cinco níveis: global → nacional (por classe) → tribunal → comarca → vara. Em cada nível:

p = (ndesfecho + κ·μnível acima) / (N + κ), com κ = 100

Quanto maior a amostra local (N), mais a taxa da própria vara domina; quanto menor, mais o número se apoia nos níveis acima. O peso do dado local é sempre N/(N+κ) — nunca desligamos o encolhimento.

Validação: por que dá para confiar

Backtest temporal sem vazamento: o modelo foi treinado só com casos resolvidos antes de cada corte e testado nos 12 meses seguintes.

ModeloBrier (corte 2024)Brier (corte 2025)
Mapa (κ=100)0,59470,6078
Média nacional por classe0,60970,6206
Média do tribunal0,61310,6174
Comarca sem encolhimento0,63450,6673
Vara sem encolhimento0,63990,6647

Brier mede o erro das probabilidades (menor = melhor). O mapa venceu os quatro baselines nos dois cortes — inclusive a vara "crua", prova de que o encolhimento corrige ruído em vez de criar precisão falsa.

Regras de exibição

O que este mapa NÃO é

Visão jurídica sem valor jurídico — somente probabilidades. Método completo (fórmulas, cortes do backtest e limiares) disponível também em JSON: /criterios. Última atualização: 06/09/2026.