Sistema bom é sistema que não cai.

Coroplético dos 5570 municípios brasileiros que desenha o mesmo indicador pelos cinco métodos de classificação ao mesmo tempo. Onde as faixas são cortadas muda a conclusão mais do que qualquer outra decisão do mapa, e quase nenhum mapa publicado revela a escolha feita. Traz também o I de Moran local, com vizinhança extraída da topologia e correção por comparações múltiplas.

A classificação por quebras naturais é o ótimo global exato em O(k·n·log n): 5570 municípios em 2,7 ms contra 354,8 ms da versão quadrática, que continua no repositório sem servir à aplicação — existe para provar que a rápida chega ao mesmo custo. A página /validacao refaz a prova no navegador, sobre o dado em produção.

• Next.js
• TypeScript
• MapLibre GL
• TopoJSON
• Jenks
• Moran's I

Previsão de surf calculada por pico, não por praia. A malha pública de ondulação tem 8 km e devolve os mesmos números para picos vizinhos, então a diferença entre eles vem de um modelo físico: dispersão, empolamento, refração de Snell e profundidade de quebra, mais maré prevista por soma de constituintes harmônicos.

A nota nunca aparece sozinha: sai aberta nos seis fatores que a produziram, com a grandeza medida ao lado, e todo parâmetro de pico declara se foi medido ou estimado. A maré prevista bate com a tábua da Marinha em 21 mm, e as invariantes do modelo são verificadas sobre mil casos gerados por execução.

• Next.js
• TypeScript
• Wave physics
• Harmonic tide
• fast-check
• Zod

Motor de faturamento de energia bitemporal: ingere leituras de forma idempotente e fora de ordem, precifica contra uma tarifa ANEEL versionada (período, bandeira, feriado móvel) e lança num razão de partidas dobradas que sempre soma zero. Mantém o histórico em dois eixos — valid_time × transaction_time — que reproduz qualquer fatura como ela era conhecida em qualquer data.

A regra do dinheiro não fica no if do código: o Postgres recusa uma asserção bitemporal sobreposta com um EXCLUDE gist, e o razão que soma zero é provado por propriedade sobre milhares de sequências embaralhadas — não afirmado.

• Next.js
• TypeScript
• PostgreSQL
• Bitemporal
• Double-entry
• fast-check

Simulador de rede mesh AMI com console de observabilidade: medidores roteando por coletores até o head-end, reconvergência da malha ao vivo, injeção de caos e painel de SLA. No coração, um codec DLMS/COSEM de verdade — HDLC, APDUs, códigos OBIS — que codifica cada leitura em bytes e decodifica de volta.

A simulação inteira roda no navegador, de propósito: não tem backend para cair por timeout, roda de graça na Vercel, e a malha reconverge na sua frente quando você derruba um coletor. Foi como trouxe o que faço no setor elétrico para algo que dá para abrir e quebrar.

• Next.js
• TypeScript
• Zustand
• DLMS/COSEM
• OpenTelemetry
• Vitest

Otimizador de parada de manutenção modelado como RCPSP: milhares de ordens, precedências, equipes limitadas e janela fixa. O solver — serial SGS com simulated annealing — é compilado para WebAssembly e roda numa Web Worker, no cliente. Importa o export do SAP PM (IW39/IW49), calcula caminho crítico, risco de data por Monte Carlo, e mede o gap contra o dataset PSPLIB, que tem ótimo provado.

Passei anos planejando parada de manutenção no SAP, decidindo com meses de antecedência quando cada equipamento parava. O CritPath é esse problema virado solver: lê o mesmo export do SAP que eu usava e otimiza o cronograma — com o gap medido contra ótimo provado, não declarado.

• Next.js
• TypeScript
• WebAssembly
• RCPSP
• Monte Carlo
• Web Workers

Diagnóstico de vibração de máquinas rotativas no navegador: FFT com janelamento, envelope por Hilbert e as frequências de defeito de rolamento (BPFO, BPFI, BSF) calculadas a partir da geometria. Um motor de regras aponta a falha — pista externa, desalinhamento, folga — com a severidade classificada pela ISO 20816.

Passei anos na refinaria diagnosticando rolamento por vibração. O Auscult é esse conhecimento virado código: todo o processamento de sinal roda no navegador, e o detector é validado contra o dataset de rolamentos da Case Western — inclusive nos casos em que ele erra.

• Next.js
• TypeScript
• DSP
• FFT
• ISO 20816
• Vitest

Motor de livro de ofertas (matching engine) — o núcleo de uma bolsa. Casa ordens de compra e venda por prioridade preço-tempo, suporta limit, market, IOC, FOK, cancelamento e substituição, e registra cada negócio por event sourcing, com replay determinístico bit a bit a partir de uma única semente.

Num sistema que move dinheiro, correção é a funcionalidade. Cada invariante — caixa e ações conservados, o livro nunca cruzado, ninguém furando a fila — é provada por teste de propriedade sobre milhares de fluxos de ordens aleatórios, e verificada ao vivo na tela. Provada, não prometida.

• Next.js
• TypeScript
• Matching Engine
• Event Sourcing
• fast-check