Carlos Toledo · apps
Decision products
Operational questions answered with the same three-valued verdict as the reports: a window is open or it is not or the data cannot say; a flight is feasible under the rule, or not, or not decidable from what was published. Each app reads pinned public data, decides over a declared envelope, and shows the certificate one click below the answer. The Brazilian products are in Portuguese.
8 apps
Built on the certified decisions
aviation · New York · EnglishSkyAudit — one real day over New York, every flight decidedReal ADS-B helicopter traffic over NYC (2026-08-26), replayed — every flight audited against published eVTOL specs and energy-reserve rules with mathematically certified enclosures.
aviation · São Paulo · EnglishSkyAudit São Paulo — the largest urban helicopter market, decided under ANAC rulesReal ADS-B helicopter traffic over São Paulo (2026-08-26), replayed — every flight audited against published eVTOL specs under ANAC RBAC 91.151(b), with mathematically certified enclosures.
offshore operations · Brazil · PortugueseJanela — a janela operacional de cada unidade offshore, decididaPara as unidades de produção offshore do Brasil: a próxima janela de alívio, carga de PSV, lançamento ou içamento, decidida contra o limite da operação sobre uma previsão com o erro medido por satélite — LIBERADA, VETADA, INDEFINIDA ou SEM DADOS, com o motivo.
offshore operations · the method · PortugueseJanela — o método: a janela operacional, decididaJanela decide janelas operacionais offshore no Brasil: a previsão ECMWF com o erro medido contra satélites, decidida contra o limite publicado (Capitania, DNV ou o seu): LIBERADA, VETADA, INDEFINIDA ou SEM DADOS, com o motivo.
coastal · Florianópolis · PortugueseSwell — o mar de Florianópolis, praia por praiaPara 34 praias de Florianópolis: onde e quando está bom para surfar, velejar, remar, nadar, pescar e sair de barco nos próximos 7 dias — com o perigo decidido sobre o erro medido da previsão, e o resto dito como previsão.
reservoir monitoring · 4D seismic · PortugueseDecidível — decidibilidade garantida de sísmica 4D para injeção de gás e CO₂ no pré-salSuporte à decisão go/no-go de aquisição 4D: sobre um envelope de incerteza declarado com fonte e o modelo petroelástico padrão, o mínimo e o máximo garantidos de ΔIp/Ip por célula, e um de três vereditos — DETECTÁVEL, INDETECTÁVEL ou INDETERMINADO com contraexemplos e a medição que decide.
engineering numbers · independent verification · PortugueseContraprova — verificação independente de números de engenharia e IAContraprova decide, sobre o modelo físico declarado e o envelope de incerteza declarado, se um número proposto por IA, simulação ou planilha vale para toda entrada: VÁLIDO, INVÁLIDO ou INDETERMINADO com contraexemplos e o limiar que decide — num certificado que um engenheiro refaz sem o nosso código.
emissions abatement · a registry · PortugueseRegistro de Abatimento — Contraprova para a CPSI 7004641677Cada potencial de abatimento com envelope declarado, versão, rastro e recálculo: a classe da MACC, a afirmação publicada e a soma sem dupla contagem decididas sobre o envelope inteiro, em aritmética exata. Proposta para a oportunidade Petrobras 7004641677.