A Curva MAC Integrada da Petrobras organiza mais de 1.000 oportunidades de mitigação e o Fundo de Descarbonização aloca US$ 1,0 bilhão em 2026–30 por custo marginal e “quantidade total de GEE abatida” [1]. Cada oportunidade chega como um número: “≈ 142.000 tCO₂e/ano”. O Registro de Abatimento é o sistema que guarda esse número com as premissas que o produziram, cada uma como faixa com fonte, e DECIDE sobre o envelope inteiro: a classe de potencial, a compatibilidade da afirmação, a soma sem dupla contagem, o que uma nova medição mudaria. O que não cabe no envelope o registro recusa, e diz o que medir.
a classe (ou a afirmação) vale para toda premissa dentro do envelope declarado
“Moderado” vale para toda combinação admissível das premissas — não no ponto médio, não em média.
falha para toda premissa do envelope — a falha está provada, com as testemunhas
A classe afirmada não é alcançada por premissa alguma do envelope; ou a soma abate mais do que a fonte emite.
o envelope contém pontos de ambos os lados; o registro nomeia a premissa a medir e a que largura
O envelope atravessa um limiar da MACC: o registro diz qual premissa medir, com que erro, para decidir — o preço da informação.
O Caderno de Mudanças Climáticas 2025 classifica cada ação por potencial de abatimento — Incremental 0–100 mil · Moderado 100 mil–1 milhão · Alto > 1 milhão tCO2e/ano — e publica os projetos como pontos: a eletrificação das estações de compressão da TBG “estima-se um abatimento de aproximadamente 142.000 tCO₂e/ano”, a reliquefação do boil-off “aproximadamente 77.000 tCO₂e/ano” [1, p. 86]. Declaradas as premissas que um engenheiro declararia (gás deslocado, fatores do IPCC com os seus limites de 95%, GWP do AR5 ao AR6, fator do SIN do MCTI), o envelope do primeiro é [83.216; 163.463] tCO₂e/ano: o número publicado está dentro, e a classe NÃO está decidida — o envelope atravessa 100 mil. O ponto médio dessas premissas, 122.704, cai em Moderado; é o que uma planilha imprime.
O fator que ninguém declara. O fator de emissão da eletricidade do SIN variou de 0,0215 (março) a 0,0289 tCO₂/MWh (abril) nos meses publicados de 2025 pelo MCTI [4]; o fator implícito no reporte da própria Petrobras (183.000 tCO₂ neutralizados para 3.940.000 MWh) é 0,0464 [1, p. 116]. Só esse fator leva a linha de escopo 2 de Incremental a Moderado: 84.710 a 183.210 tCO₂e. Nenhuma das duas escolhas é errada; a escolha é uma premissa, e o registro a guarda como tal.
A soma que vale duas vezes. Captura por amina e oxicombustão atuam sobre os mesmos gases exaustos de um FPSO: somadas, como uma planilha soma, dão [760.500; 1.827.100] tCO₂e/ano — mais do que a unidade emite no alto do envelope. Uma usina solar numa refinaria e a neutralização por I-REC atuam sobre o mesmo escopo 2. O edital pede “mecanismos para evitar dupla contagem” entre tecnologias concorrentes [2]; o registro os decide, não os recomenda.
Nada é substituído: a MACC Integrada, o inventário, a ACV e o Fundo continuam como hoje. O registro entra como a camada de governança do número — o que o grupo 8 do edital pede: premissas rastreáveis, controle de versão de cenários e hipóteses, resultados reproduzíveis e auditáveis, suporte a revisões técnicas.
| hoje | entrega | o que o registro acrescenta |
|---|---|---|
| Curva MAC Integrada (> 1.000 oportunidades) e Fundo de Descarbonização | um potencial e um custo marginal por oportunidade; a classe de impacto | o potencial como intervalo garantido sobre as premissas declaradas; a classe DECIDIDA (ou recusada, com o que medir) |
| Planilhas de cálculo de abatimento | um número no ponto médio | o mesmo cálculo em todos os cantos do envelope, exato; as testemunhas que realizam o mínimo e o máximo |
| Software de ACV (inventários de ciclo de vida) | emissões incorporadas e evitadas por unidade funcional | nada é recalculado: o resultado da ACV entra como faixa declarada com o estudo pinado; a separação operacional / ACV é mantida no registro |
| Inventário de GEE (escopos 1, 2 e 3) | o reporte do ano | a fonte emissora de cada cenário com a sua emissão declarada: a soma dos abatimentos de uma fonte não pode exceder o que ela emite |
| Análise de sensibilidade e Monte Carlo | uma distribuição, uma probabilidade | a parcela da largura que cada premissa explica e o PREÇO DA INFORMAÇÃO: medir qual premissa, com que erro, decide |
| Revisão técnica e auditoria | o julgamento, meses depois, refazendo o estudo | o registro de cálculo: um arquivo, um comando, a segunda implementação — reexecutável sem o nosso código |
Glossário. Envelope declarado: as faixas das premissas, com fonte. Classe: as faixas de potencial da própria MACC (Nota 1 das tabelas do Caderno). Testemunha: o canto do envelope que realiza um extremo, verificado em aritmética exata. Preço da informação: a medição que decide. Fonte emissora: o que o cenário abate, com a sua emissão anual declarada.
Fonte emissora, categoria da MACC, premissas como faixas com unidade e fonte (IPCC, GHG Protocol, MCTI, o estudo de ACV, a medição), a fórmula como soma de produtos de premissas, a implantação técnica e a acordada por ano, a afirmação publicada.
Um número e as premissas que o produziram. O registro não refaz a ACV nem o inventário: decide sobre o que foi declarado, e guarda cada versão.
Veredito, intervalo, classes, afirmação, por escopo, implantação, sensibilidade, testemunhas, diff da versão anterior, sha256 de cada módulo e do registro, e o comando que refaz tudo.
Verificação. Uma segunda implementação em Python (biblioteca padrão, fractions, sem código em comum) recalcula o intervalo e as classes de todas as 8 versões: concordância exata em 8 de 8. 2.400 pontos interiores sorteados caem dentro dos intervalos. 9 de 9 falsificações são recusadas: uma premissa com mínimo acima do máximo, uma premissa negativa, uma premissa usada duas vezes num termo (a regra dos cantos não vale), uma fração de implantação acima de 1, uma afirmação uma unidade fora do intervalo, um limiar uma unidade dentro do intervalo, duas tecnologias exclusivas somadas, uma soma que abate mais do que a fonte emite, e o ponto médio em float que imprime uma classe que o envelope não sustenta.
Fora desta versão, dito aqui. Fórmulas que não são multilineares (razões com premissas compartilhadas entre numerador e denominador, curvas de desempenho) entram na E3 do plano por aritmética intervalar com arredondamento para fora — um intervalo garantido, não necessariamente o mais apertado, e marcado como tal. A ACV não é calculada: entra como faixa declarada com o estudo pinado. O escopo 3 entra por categorias, como faixas declaradas, como o edital admite.
Os fatores físicos são tabelas públicas pinadas por sha256 (IPCC 2006 com os seus limites de 95% [3], GWP do GHG Protocol [5], fator do SIN do MCTI [4], o Caderno 2025 da Petrobras [1]); os dados de atividade (gás deslocado, MWh, CO₂ capturado) são faixas ILUSTRATIVAS, típicas da classe de ativo, e dizem isso na própria linha. Os da Petrobras entram no piloto. Escolha uma versão.
em implantação (conclusão prevista até 2033) — v2: o gás deslocado foi MEDIDO (medição fiscal das turbinas, 12 meses) e a faixa estreitou de [1600; 2400] para [2000; 2300] TJ/ano; nada mais mudou.
| gas_tj | 2000 – 2300 | TJ/ano | declarada |
| ef_co2 | 54300 – 58300 | kgCO2/TJ | ipcc2006 |
| ef_ch4 | 0.3 – 3 | kgCH4/TJ | ipcc2006 |
| ef_n2o | 0.03 – 0.3 | kgN2O/TJ | ipcc2006 |
| gwp_ch4 | 28 – 30 | tCO2e/tCH4 | ghgp-gwp |
| gwp_n2o | 265 – 273 | tCO2e/tN2O | ghgp-gwp |
| vent_ch4 | 300 – 900 | tCH4/ano | declarada |
| mwh | 180000 – 260000 | MWh/ano | declarada |
| fe_sin | 0.0215 – 0.0465 | tCO2/MWh | mcti-sin |
+ 0.001000 × gas_tj × ef_co2 [escopo 1] + 0.001000 × gas_tj × ef_ch4 × gwp_ch4 [escopo 1] + 0.001000 × gas_tj × ef_n2o × gwp_n2o [escopo 1] + vent_ch4 × gwp_ch4 [escopo 1] − mwh × fe_sin [escopo 2]
abatimento ∈ [104.943; 157.615] tCO2e/ano para toda premissa declarada · 512 cantos avaliados em racionais exatos
| escopo 1 | 117.033 a 161.485 |
| escopo 2 | -12.090 a -3.870 |
| 2028 (acordada) · fração 3/10–1/2 | 31.483 a 78.808 |
| 2030 (acordada) · fração 3/5–4/5 | 62.966 a 126.092 |
| 2033 (técnica) · fração 1–1 | 104.943 a 157.615 |
mínimo: gas_tj=lo, ef_co2=lo, ef_ch4=lo, ef_n2o=lo, gwp_ch4=lo, gwp_n2o=lo, vent_ch4=lo, mwh=hi, fe_sin=hi
máximo: gas_tj=hi, ef_co2=hi, ef_ch4=hi, ef_n2o=hi, gwp_ch4=hi, gwp_n2o=hi, vent_ch4=hi, mwh=lo, fe_sin=lo
A v1 estima o gás deslocado por potência instalada e fator de carga; a v2 lê doze meses de medição fiscal. Nada mais mudou. O registro guarda as duas, e o diff é parte do registro — o que o edital chama de controle de versão de cenários e hipóteses.
| premissa | mudança | antes | depois |
|---|---|---|---|
| gas_tj | estreitada | 1600 – 2400 | 2000 – 2300 |
intervalo: [83.216; 163.463] → [104.943; 157.615] · largura 80.246 → 52.673
classe: não decidida (RECUSADO) → Moderado · a fórmula não mudou
Quatro somas. Duas o registro recusa: tecnologias exclusivas sobre a mesma fonte, e a mesma eletricidade abatida duas vezes. Duas ele prova: fontes distintas, uma escolha por fonte. A soma recusada nunca vira potencial do portfólio.
soma ∈ [760.500; 1.827.100] tCO2e/ano — uma soma que o registro NÃO publica como potencial do portfólio
soma ∈ [400.190; 957.610] tCO2e/ano
soma ∈ [86.000; 187.395] tCO2e/ano — uma soma que o registro NÃO publica como potencial do portfólio
soma ∈ [546.303; 1.199.649] tCO2e/ano
O ponto médio de cada premissa da TBG v1. Cai em Moderado. Nenhuma premissa individual é absurda; a classe não é sustentada pelo envelope.
Para toda premissa declarada. A afirmação publicada (142.000) está dentro; a classe atravessa 100 mil: RECUSADO, com o que medir.
medir gas_tj com erro de até ±90.9984 em torno de 2000.0000 (23% da faixa declarada) decide a classe. A v2, com a medição, é PROVADO Moderado: [104.943; 157.615].
O texto do desafio está no portal Conexões para Inovação [2] (módulo Aquisição de Soluções, propostas até 19/10/2026). Cada linha abaixo cita o item do edital e aponta para a seção ou o artefato que o atende; o que ainda não existe diz “plano”.
| requisito do edital | o que o registro faz | evidência |
|---|---|---|
| 1. Escopo e posicionamento: apoio à decisão em descarbonização (não inventário); alinhado à decisão de investimento e ao roadmap; gera relatório | o objeto é a decisão sobre cada potencial (classe, soma, ranking) e o seu registro; relatórios e apresentações gerados dos registros, nunca o contrário | esta página; a apresentação e o registro de cálculo são impressos dos mesmos registros (§3, §4) |
| 2. Lógica de abatimento: baseline × cenário com solução; potencial relativo a cenários; unidade funcional; transparência no escalonamento | a fórmula é a diferença declarada entre o que se emite e o que se passa a emitir, por unidade funcional, em termos assinados; a implantação técnica e a acordada são frações por ano | termos e implantação no registro de cada versão (§4); E1 do plano para os cenários da Petrobras |
| 3. Ciclo de vida e emissões não operacionais: incorporadas; cradle-to-grave; separação operacional / ACV; fronteiras e premissas transparentes e ajustáveis | a ACV entra como faixa declarada com o estudo pinado, marcada “ACV” e somada à parte (nunca se mistura com o operacional); fronteiras e premissas são o próprio registro | o tipo “acv” dos termos e o quadro por escopo (§4); E3 do plano |
| 4. Escopos 1, 2, 3 e evitadas: escopos 1 e 2 identificados; escopo 3 flexível por categorias; evitadas representadas; sem dupla contagem entre tecnologias concorrentes; níveis tecnologia → iniciativa → portfólio → área → Petrobras | cada termo carrega o escopo; o quadro por escopo é decidido à parte; a agregação em qualquer nível é uma soma exata com a auditoria de exclusividade e de excesso sobre a fonte | quatro agregações (§4): duas recusadas por dupla contagem, duas provadas; E2 do plano para os níveis |
| 5. TRL, incerteza e tecnologias emergentes (crítico para o CENPES): aceita intervalos em vez de valores únicos; premissas documentadas; cenários e sensibilidade; detalhe conforme o TRL | toda premissa é um intervalo com fonte; a decisão vale para o intervalo inteiro; a sensibilidade é a parcela da largura por premissa; o preço da informação diz o que medir; o detalhe acompanha o TRL porque a largura o acompanha | o núcleo do método (§3) e cada registro (§4): “de onde vem a largura” e “o que decidiria” |
| 6. Escalonamento e envelopes de potencial: potencial técnico máximo; potencial acordado; a diferença visível; ramp-up temporal | implantação técnica e acordada como frações por ano, cada uma um intervalo; a diferença é o próprio quadro | o quadro “implantação” de cada registro (§4) |
| 7. Alinhamento com métodos e dados internos: roadmap de descarbonização; nível de caixa-preta aceitável | o registro é caixa aberta: cada número vem com a fórmula, as premissas e o comando que o refaz; os dados do roadmap entram como premissas declaradas, nas unidades da Petrobras | E1 e E4 do plano (importação dos cenários e das unidades; roda no ambiente da Petrobras) |
| 8. Governança, rastreabilidade e auditoria: premissas documentadas e rastreáveis; controle de versão de cenários e hipóteses; resultados reproduzíveis e auditáveis; revisões e discussões técnicas | o registro é append-only com sha256 de cada entrada e de cada fonte; o diff entre versões é parte do registro; cada número se refaz com um comando e é conferido por uma segunda implementação sem código em comum; notas de revisão presas à versão | o diff v1 → v2, a segunda implementação, o registro de cálculo em PDF (§4); “conferido no seu navegador” no alto desta seção |
| decisão da Petrobras | o que está em jogo | o que muda com o registro | evidência no demonstrador |
|---|---|---|---|
| Alocar o Fundo de Descarbonização (US$ 1,0 bi, 2026–30) por custo marginal e GEE abatido [1, p. 52] | uma oportunidade classificada acima da sua classe real desloca capital de outra que a alcançaria | a classe só é PROVADA quando vale no envelope inteiro; a RECUSADA vem com a medição que a decide, antes do aporte | TBG v1 RECUSADO → medir o gás deslocado → v2 PROVADO Moderado |
| Priorizar na MACC Integrada (> 1.000 oportunidades) | o ranking entre duas oportunidades com envelopes que se cruzam é uma escolha, não um resultado | o ranking só é decidido onde os intervalos se separam; onde se cruzam, o registro diz quanto cada premissa precisa estreitar | amina × oxicombustão: [382.500; 910.800] e [378.000; 916.300] — não separáveis |
| Somar o potencial de um ativo, de uma área, da Petrobras | tecnologias concorrentes sobre a mesma fonte somadas; o mesmo escopo 2 abatido duas vezes | a soma recusada não vira potencial; a soma provada cabe na emissão da fonte | FPSO X: amina + oxicombustão RECUSADO; amina + FGRU PROVADO; solar + I-REC RECUSADO |
| Publicar números no Caderno e nos relatórios regulados (SBCE, ISSB) | um ponto publicado sem envelope é indefensável quando o fator muda (o do SIN variou 0,0215–0,0289 em quatro meses de 2025) | cada número publicado tem o seu registro: envelope, versão, fontes pinadas, comando de recálculo | a afirmação de 142 mil COMPATÍVEL com o envelope; a linha I-REC RECUSADA só pelo fator |
| Auditar, meses ou anos depois | refazer o estudo; descobrir que a planilha mudou | refazer o registro: um arquivo, um comando, a segunda implementação; o diff diz o que mudou e quando | cada versão re-decidida no navegador; 8/8 na segunda implementação |
Frequência e dono da decisão. A do Programa Carbono Neutro: cada ciclo da MACC, cada rodada do Fundo, cada versão do Caderno; os donos são a gerência do programa, as áreas que propõem e o CENPES que avalia o TRL. O registro não decide por eles: entrega o que cada número sustenta.
Objetivo geral. Entregar ao CENPES um sistema que guarda cada potencial de abatimento do portfólio com envelope, versão e rastro, decide classe, afirmação e soma sobre o envelope, e se refaz com um comando — rodando no ambiente da Petrobras, com os seus dados, nas suas unidades.
| entrega | meses | o que entrega | critério de aceitação |
|---|---|---|---|
| E1 · o esquema e a importação | 1–3 | o esquema do cenário nas unidades e categorias da MACC; importação de planilhas e do roadmap (CSV/Excel) para registros versionados; 20 cenários reais registrados com as áreas | os 20 cenários re-decididos pela segunda implementação sem divergência; cada premissa com fonte |
| E2 · agregação por níveis e dupla contagem | 3–5 | tecnologia → iniciativa → portfólio → área → Petrobras como somas exatas; a declaração de exclusividade e de fonte emissora; a auditoria de excesso | nenhuma soma publicada sem auditoria; os casos de exclusividade levantados com o Programa Carbono Neutro recusados |
| E3 · ACV, escopo 3 e fórmulas não multilineares | 4–7 | termos “ACV” com o estudo pinado; escopo 3 por categorias; aritmética intervalar para razões e curvas, marcada “intervalo externo” | a separação operacional / ACV visível em todo registro; nenhum termo ACV somado ao operacional |
| E4 · a face de revisão | 5–8 | diff entre versões; notas de revisão presas à versão; sensibilidade e preço da informação; relatórios e apresentações gerados dos registros | um revisor do CENPES refaz um registro a partir do PDF sem falar conosco |
| E5 · implantação no ambiente da Petrobras | 7–10 | contêiner e repositório no ambiente da Petrobras; sem dependência de nuvem nossa; carimbo de tempo externo opcional (RFC 3161) | o sistema roda e refaz os registros no ambiente da Petrobras |
| E6 · auditoria e entrega | 10–12 | rerun independente pelo CENPES com o kit; manual; treinamento; o plano de fornecimento em escala | o rerun do CENPES reproduz cada número publicado; aceite formal |
Marcos e portões. M0 kick-off e acesso aos cenários; M3 os 20 cenários registrados (portão: a segunda implementação concorda); M6 a agregação por níveis (portão: as somas auditadas); M9 a face de revisão e o contêiner no ambiente da Petrobras; M12 o rerun do CENPES. Um portão vermelho para o cronograma até ficar verde — a regra que já governa os nossos registros públicos.
| risco | efeito | mitigação | onde |
|---|---|---|---|
| Fórmulas que não são multilineares (razões, curvas de desempenho) | a regra dos cantos não vale | aritmética intervalar com arredondamento para fora, marcada “intervalo externo”; a regra dos cantos onde vale | E3 |
| Premissas sem fonte ou sem faixa (um ponto) | um envelope degenerado decide tudo e não garante nada | o esquema exige faixa e fonte; um ponto é uma faixa de largura zero e é marcado como tal | E1 |
| Os dados de ACV não existem para a tecnologia | o termo ACV fica em aberto | o termo ACV entra como SEM DADOS, e o registro diz qual estudo o fecharia — a opacidade medida, não escondida | E3 |
| A soma por níveis esconde exclusividades não declaradas | dupla contagem silenciosa | a fonte emissora é obrigatória; a auditoria de excesso pega a soma que ultrapassa a fonte mesmo sem a declaração | E2 |
| Adoção: “parece um inventário” | o sistema é avaliado pelo critério errado | o objeto é a decisão (classe, soma, ranking), dito na primeira linha; o inventário é uma entrada | E4 |
| Equipe de um fundador | continuidade | o código é aberto (MIT), o kit de rerun é entregue, a segunda implementação é independente; um parceiro acadêmico para a ACV é cotado na proposta | E6 |
Modelo de negócio. Fase de PD&I: contrato de inovação de 12 meses (CPSI), com os cenários reais do Programa Carbono Neutro. Depois: licença de uso do sistema no ambiente da Petrobras com manutenção e evolução anual (novas categorias da MACC, novas fontes pinadas, novos limiares), e o registro de cálculo como anexo dos relatórios regulados. A escalabilidade é a do portfólio: o mesmo registro serve às oportunidades do E&P, do Refino, de Gás e Energia e às futuras do SBCE.
Propriedade intelectual e dados. O núcleo (a aritmética exata, o decisor, a segunda implementação) é software livre já publicado; o que for desenvolvido no projeto segue a regra do módulo. Os dados da Petrobras não saem do seu ambiente: o sistema roda lá, e nenhum número da Petrobras aparece nesta página — os dados de atividade aqui são ilustrativos e dizem isso.
Implantação ao final — o critério de sucesso. No M12, um engenheiro do CENPES abre um registro, muda uma premissa, lê o novo veredito com as testemunhas, imprime o registro de cálculo, e um colega o refaz com o comando. Sem nós na sala.
TRL 4, CRL 3. O núcleo aritmético (racionais exatos, intervalos com arredondamento para fora, decisor de três palavras, registro append-only, segunda implementação sem código em comum) está em produção pública desde agosto de 2026: a Contraprova decide números de injeção de água e valores de projeto metoceânicos; o Decidível decide a detectabilidade de sísmica 4D sobre caixas inteiras; a Janela decide janelas operacionais offshore sobre bandas de erro medidas por satélite, com um livro-razão graduado diariamente. Este demonstrador aplica o mesmo motor ao potencial de abatimento: 8 versões, 60 verificações, 9 de 9 falsificações recusadas, 8 de 8 versões conferidas pela segunda implementação.
Equipe. Carlos Toledo, fundador: design industrial, direção de arte e desenvolvimento; ex-EmbraerX (inovação corporativa e aviação). Um parceiro acadêmico para a ACV e os inventários será nomeado quando concordar em sê-lo. Verificação independente é o posicionamento da casa: nenhum código é compartilhado com quem propõe o número.
Contato. carlos@carlostoledo.co · proposta técnica (PDF) · apresentação (PDF) · registro de cálculo de exemplo (PDF) · código e registros.
Demonstrador com fatores públicos pinados e dados de atividade ilustrativos — não dados da Petrobras. Um PROVADO fala do envelope declarado, não do mundo: estreitar uma faixa é uma medição, e o registro diz qual.
É o pedido que um gerente do Programa Carbono Neutro consegue aprovar sozinho: vinte oportunidades já avaliadas, com as suas planilhas e premissas, importadas para o registro; cada uma com envelope, classe decidida ou recusada com a medição que decide, e o diff para a versão seguinte. O que a Petrobras leva no M3: a lista das oportunidades cuja classe o envelope não sustenta, e o que medir em cada uma.
O que esta versão não faz, dito aqui. Não calcula ACV nem inventário. Não trata fórmulas não multilineares (E3). Não tem os dados da Petrobras: os números desta página são ilustrativos onde dizem sê-lo, e cada fator físico tem fonte e sha256. Não substitui a MACC, o Fundo nem o Caderno — guarda e decide os números que eles produzem.
Cada número desta página aponta para uma destas fontes ou para o registro do próprio demonstrador (apps/abatimento/data/registro-ledger.json). As fontes em PDF estão pinadas por sha256 em corpus/sources/PINS.json.