Como funciona

O que dissemos e o que aconteceu

Se as probabilidades desta página estiverem certas, somá-las diz quantas vezes cada coisa deve acontecer, e o acaso ainda faz variar a contagem real à volta desse número. A banda sombreada é onde a contagem cai 9 vezes em 10 quando as probabilidades estão certas: um resultado fora dela é um sinal de alerta, um resultado dentro dela não é prova. São as previsões do phase4-v2 mostradas acima, uma por jogo; a comparação com todos os modelos e as referências está no registo ao vivo.

O ledger contra o mercado de fecho

As listas acima mostram um modelo por jogo; aqui, cada modelo do ledger aparece ao lado das referências (frequências base e mercado de fecho sem margem), avaliado quando os jogos acabam. As diferenças são emparelhadas nos jogos que ambos têm; mais baixo é melhor; os pontos cheios marcam intervalos que excluem o zero.

Holdout · 2024/25 e 2025/26

As duas épocas mais recentes ficaram fechadas enquanto se fizeram todas as escolhas de modelo e só depois se abriram, uma vez, com o modelo fixado num commit. Walk-forward: cada previsão usa só dados disponíveis 24 h antes do início. Intervalos de 95% por bootstrap em blocos semanais. As diferenças são modelo menos mercado de fecho; negativo é melhor.

Método

Cada dado externo traz o momento em que ficou disponível, e uma previsão só usa o que existia 24 h antes do início; um teste automático falha se uma feature violar isto. Os modelos treinam-se em walk-forward, só com jogos anteriores. O ledger é JSONL só de acréscimo em git: uma correção é uma linha nova, nunca uma edição. As avaliações acima derivam do ledger, dos resultados e das odds de fecho; nada é escrito de volta.

O RPS (ranked probability score) é a métrica principal do 1X2 porque respeita a ordem casa, empate, fora; log loss e Brier são secundárias. Ao mercado de fecho retira-se a margem pelo método da potência no 1X2 e proporcionalmente no mais/menos.

Dados abertos

Os números desta página também estão publicados em JSON, de reutilização livre sob CC BY 4.0 desde que se cite este site: uma previsão por jogo, com os resultados quando há, e a tabela da época com todas as posições finais e o frente a frente. O index.json descreve os ficheiros. As odds das casas de apostas não estão incluídas: as fontes não permitem redistribuí-las.

Cada linha do ledger tem também o seu SHA-256 em ledger-hashes.json. O ledger continua privado porque guarda odds, mas o histórico git público deste site data cada hash: quem receber mais tarde uma linha pode calcular o hash e confirmar que foi publicada, sem alterações, antes do jogo.

Previsões em aberto

Congeladas antes do pontapé de saída e ainda por jogar, as mais próximas primeiro. As odds justas são 1/p, sem a margem das casas de apostas. Os resultados exatos vêm da grelha de resultados do Dixon-Coles, ajustada para que os totais de 1X2, mais de 2,5 e ambas marcam coincidam com os números do cartão. Hora de Lisboa. Uma previsão por jogo, do phase4-v2, o modelo atual; as outras versões do ledger comparam-se no registo ao vivo.

À espera do resultado

Estes jogos já começaram ou acabaram, mas o resultado ainda não está nos dados: os resultados vêm do football-data.co.uk, que atualiza o ficheiro algumas vezes por semana. São avaliados assim que chega.

Jogos disputados

A previsão 1X2 do phase4-v2 ao lado do mercado de fecho sem margem; o desfecho real está destacado. RPS por jogo: quanto mais baixo, melhor. Estado: válida se foi congelada a tempo, antes do início; retrospetiva se foi congelada depois do jogo (uma verificação do pipeline); qualquer outro estado assinala um problema de horas.

Época 2026/27: como a tabela pode acabar

A tabela depois de 98 resultados, com os 208 jogos que faltam simulados 50 000 vezes (dados até 09/11/2026, UTC). A força de cada clube vem das odds do mercado nos seus jogos recentes e pode mudar até maio; os marcadores seguem a grelha do Dixon-Coles, e os empates as regras da Liga. Congelada no registo de época como season-s2-v1 depois de cada resultado novo.