Validação
Duas coisas diferentes precisam ser provadas, e misturar as duas seria trapaça. Uma é se as contas estão certas — isso dá pra conferir hoje, contra fontes externas. A outra é se o modelo acerta a onda, e isso só um histórico de sessões responde.
O que já está conferido
2,1 cm
Erro médio da maré na estação
Contra os 36 extremos publicados na Tábua das Marés 2026 da Marinha do Brasil para o Porto de Salvador, em janeiro e julho. Erro máximo de 5,8 cm.
5,4 min
Erro médio de horário
Nas mesmas 36 preamares e baixa-mares. Máximo de 16,8 min. As constantes vêm de uma análise independente da usada pela Marinha.
23,5 → 3,5 cm
Erro da maré na costa aberta
A transferência do marégrafo (dentro da baía) para cada praia era o maior parâmetro não medido do projeto. Ajustada contra 92 dias de nível do mar modelado na costa: escala 0,871 e defasagem de −48 min.
−2,04 s → +0,21 s
Viés de período contra boia real
Os limiares dos picos são em período de pico; a fonte publica período médio. A correção foi ajustada contra modelo e depois testada contra a boia SIMCosta BA-1 em 8.280 horas: o viés de 2 s era real e sumiu. O resíduo de 2,56 s define a suavidade da porteira.
33 × 1000
Casos gerados por execução
Trinta e três propriedades do modelo, cada uma verificada sobre mil entradas geradas a cada rodada de teste.
Maré
O motor harmônico é conferido de três formas: cada constituinte tem sua velocidade angular reconstruída a partir dos próprios números de Doodson, um ano de níveis é comparado contra uma implementação independente sob licença MIT, e as preamares previstas são comparadas contra a tábua oficial. O datum segue a NORMAM-501, que define o Nível de Redução como a soma das quatro amplitudes semidiurnas principais — o que dá 1,338 m, contra os 1,34 m que a Marinha imprime na tábua.
Modelo
As afirmações que o modelo faz sobre si mesmo são verificadas por propriedade, não por exemplo: a nota nunca sai de [0, 1]; uma porteira fechada zera a nota independentemente do resto; a maré fora da faixa nunca pontua acima da maré no meio dela; o vento nunca melhora a nota ao girar do terral para o maral. Nenhuma delas é uma opinião sobre o código — todas falham a suíte se deixarem de valer.
O que ainda não está
Contas certas não são o mesmo que previsão certa. O modelo só prova que acerta a onda quando roda sobre as condições reconstruídas de sessões que aconteceram de verdade e a nota que ele dá é comparada com a nota que um humano deu na água.
Sessões registradas
0
Correlação de Pearson
—
Correlação de Spearman
—
Erro médio absoluto
—
O dataset está vazio. Isso é o estado honesto de um projeto cujo ground truth é construído, não baixado: a validação começa a valer alguma coisa a partir de umas 20 sessões, e cada uma precisa ser anotada antes de olhar o que o modelo disse. O procedimento está em data/README.md, e a máquina que roda tudo já está pronta — npm run backtest reconstrói as condições de cada data pelo arquivo marinho e recalcula a correlação.
Onde o modelo pode errar
- Os parâmetros dos picos são estimados. Quase todo número em
guarajuba.tsé um ponto de partida defensável, não uma medição. Cada um diz isso na própria página do pico. - A correção de maré foi ajustada contra um modelo, não contra um marégrafo. A escala de 0,871 e os −48 min saem de 92 dias de comparação com o nível do mar do modelo costeiro SMOC. O resíduo de 3,5 cm mede concordância entre dois modelos, não exatidão contra o mar. O que sustenta a corrente é a outra ponta — as constantes de Salvador batem com a tábua oficial em 2,1 cm — e o fato de a correção cair onde a física manda: menor e mais cedo fora da baía do que dentro dela.
- O nó de grade fica longe do pico. Em Stella Maris são 4,4 km, em Guarajuba 7,2 km e na Casinha 12,4 km — o modelo marinho simplesmente não tem célula molhada mais perto de Praia do Forte. Quanto maior essa distância, mais o swell de entrada é do mar aberto e menos daquele pedaço de costa.
- A batimetria não é conhecida. O declive do fundo entra como um número único por pico. Refração real sobre um recife irregular concentra energia em pontos que um declive médio não representa.
- A grade é maior que a praia. O modelo marinho tem 8 km de resolução e a documentação da fonte avisa que a precisão em área costeira é limitada. Tudo aqui parte de um swell de água profunda que já chega com erro.