Supply chain, SBOM e proveniência: modelo mental e decisões

O problema e por que importa

Uma aplicação incorpora código, imagens, actions, modelos e pacotes produzidos por terceiros. Segurança da supply chain pergunta o que entrou, de onde veio, como foi construído e se o artefato implantado corresponde ao que foi aprovado.

Ao publicar a API de manutenção, a pergunta é: conseguimos listar seus componentes, identificar uma versão vulnerável e provar qual pipeline produziu o digest em produção? Um scanner isolado não responde à cadeia inteira.

Vocabulário antes das siglas

dependência: componente externo do qual a construção ou execução depende.
lockfile: registro das versões resolvidas e, frequentemente, de integridade para reproduzir a instalação.
SBOM: software bill of materials; inventário estruturado dos componentes de um artefato.
vulnerabilidade: fraqueza que pode ser explorada sob determinadas condições e impacto.
provenance: proveniência; informação verificável sobre origem e processo de construção de um artefato.
attestation: declaração assinada de que uma etapa, política ou propriedade foi observada.
assinatura: resultado criptográfico usado para verificar autoria e integridade com uma chave pública confiável.
SLSA: framework de níveis e controles para melhorar integridade da supply chain de software.
reproducible build: build reproduzível; processo que gera artefatos equivalentes a partir das mesmas entradas controladas.

SBOM diz o que está dentro; proveniência diz como foi produzido; assinatura liga uma identidade ao artefato ou declaração. Nenhum deles prova sozinho que o conteúdo é seguro.

Modelo mental

cada dependência é código de terceiro dentro da sua fronteira; SBOM é inventário, não garantia de segurança. A analogia ajuda a localizar responsabilidades; ela deixa de valer quando esconde concorrência, falhas parciais ou atores maliciosos. Software distribuído não tem uma única percepção de tempo nem sucesso: uma resposta pode se perder depois de um efeito ter ocorrido.

Ler o fluxo em texto

1. Fonte revisada
2. Build isolado
3. SBOM e proveniência
4. Dependência comprometida
5. Digest verificado

Fronteira e responsabilidade

A cadeia começa nas fontes e dependências fixadas, passa por runner isolado e termina na verificação do artefato antes do deploy. Cada etapa reduz permissões e registra entradas, saída e identidade. O ambiente de build não recebe segredos desnecessários.

Vulnerabilidades são priorizadas por alcance, exploração e contexto, não apenas por pontuação. Atualizações automáticas precisam dos mesmos testes e revisão. Artefatos sem proveniência podem ser bloqueados por política.

Decisão orientada por risco

Pergunta de projeto	Decisão inicial	Evidência exigida
O que compõe o artefato?	Gerar SBOM no build	Inventário inclui dependências transitivas
Como confiar no build?	Runner isolado e proveniência assinada	Deploy verifica identidade e digest
Como atualizar?	Lockfile, automação e testes	Mudança é pequena e reversível
Como priorizar CVE?	Explorabilidade e exposição reais	Decisão e prazo ficam registrados

A alternativa mais complexa só é promovida quando essa evidência mostra que a solução atual não atende ao risco. A decisão registra também custo operacional, forma de reversão e responsável.

Caso real: manutenção conectada ao ERP

O eletricista conclui a OS 742. O sistema valida identidade, unidade, estado atual e evidências; persiste a mudança; registra auditoria; publica a integração; informa “sincronização pendente” se o ERP não responder. A decisão deste livro aparece ao conhecer, verificar e reduzir o risco de tudo que entra no artefato entregue. O sucesso não é apenas HTTP 200: banco, usuário, fila, ERP e telemetria precisam convergir para um estado conhecido.

Falha orientadora

pacote comprometido rouba token do pipeline ou build baixa binário mutável. Trate a falha como cenário de projeto, não exceção improvável. O controle principal é lockfile, pin por digest, scanner, SBOM, assinatura, ambiente isolado e revisão de atualização. Seu teste deve falhar antes do controle e passar depois dele.

Segurança, privacidade e custo

Restrinja tokens do CI e evite executar código de contribuição não confiável com segredos.
Fixe actions, imagens e ferramentas por versões verificáveis e monitore mudanças de mantenedor.
Assine no ambiente protegido e verifique antes da implantação, não apenas no repositório.
Mantenha processo de resposta para localizar, atualizar e comprovar remoção de componente vulnerável.

O manual de Cybersecurity aprofunda threat modeling, identidade, proteção de dados, supply chain e resposta a incidentes; os controles acima são a aplicação específica nesta disciplina.

Erros frequentes e diagnóstico

Tecnologia antes do problema: registre hipótese e atributo de qualidade que justificam a escolha.
Caminho feliz apenas: injete timeout, duplicata, concorrência, permissão negada e dado inválido.
Métrica de vaidade: acompanhe dependências diretas/transitivas, idade de correção, artefatos atestados e exceções vencidas e ligue o sinal a uma decisão.
Automação sem condição de parada: limite tentativas e torne o estado pendente visível.
Documentação sem prova: execute exemplos e conecte diagramas a arquivos, owners e testes.

Critérios de aceite

Fronteira, dono, entradas, saídas e dependências estão diagramados.
Caminho feliz e falha parcial possuem testes reproduzíveis.
O controle “lockfile, pin por digest, scanner, SBOM, assinatura, ambiente isolado e revisão de atualização” tem evidência observável.
Segurança, privacidade, acessibilidade, custo e operação foram avaliados.
A métrica “dependências diretas/transitivas, idade de correção, artefatos atestados e exceções vencidas” possui unidade, janela e responsável.
Runbook informa diagnóstico, mitigação, recuperação e escalonamento.

Prática e recuperação ativa

Desenhe a jornada da OS 742 e marque onde esta camada começa e termina.
Explique a diferença entre ocultar uma ação e negar sua autorização no servidor.
Injete a falha “pacote comprometido rouba token do pipeline ou build baixa binário mutável” e capture evidência antes/depois do controle.
Transfira o raciocínio para um pedido de e-commerce: o que permanece e o que muda?

Entregável verificável: SBOM do artefato, proveniência verificável, política de deploy por digest e exercício de resposta a dependência vulnerável. A entrega só é aceita quando outra pessoa consegue repetir a verificação.

Fontes primárias e oficiais

Revisão editorial: 2 de agosto de 2026. Confirme versões antes de implementar configuração volátil.

Da compreensão à execução

O modelo anterior explica o que precisa permanecer verdadeiro. Agora o caderno transforma essa compreensão em um experimento. Antes de executar, escreva sua previsão; depois compare o observado com o esperado e registre a primeira fronteira onde o estado divergiu.

Objetivo, hipótese e ambiente

Objetivo: demonstrar conhecer, verificar e reduzir o risco de tudo que entra no artefato entregue em uma fatia da jornada de manutenção. Hipótese: o controle “lockfile, pin por digest, scanner, SBOM, assinatura, ambiente isolado e revisão de atualização” reduz a falha escolhida sem violar o contrato das camadas vizinhas.

Pré-requisitos: Git, terminal, TypeScript ou a tecnologia indicada no exemplo, ambiente local isolado e dados sintéticos. Duração orientativa: 90–180 minutos; depende de prática, não de leitura. Não use credenciais reais nem produção.

sequenceDiagram
  actor E as Eletricista
  participant W as Aplicativo
  participant A as API de manutenção
  participant D as Estado canônico
  participant R as ERP
  E->>W: conclui OS 742
  W->>A: intenção + identidade + idempotency-key
  A->>D: valida e persiste
  A-->>W: estado confirmado ou pendente
  A->>R: integração controlada
  R-->>A: confirmação, rejeição ou timeout

Passo 1 — registre o contrato antes do código

Escreva pré-condição, pós-condição, erros esperados, timeout e política de repetição. Separe “aceito para processamento” de “confirmado pelo ERP”. Defina o que a pessoa verá durante incerteza. O contrato deve caber em uma tabela e ser revisado por negócio, desenvolvimento, segurança e operação.

Situação	Resultado público	Estado interno	Próxima ação
Entrada válida	confirmado ou 202 pendente	registrado	processar/observar
Sem permissão	negação estável	nenhuma mutação	auditar
Duplicata	mesmo resultado lógico	um efeito	responder idempotente
Dependência lenta	timeout controlado	pendente conhecido	retry com limite
Dado incompatível	erro de contrato	quarentena	corrigir/reprocessar

Passo 2 — implemente a menor fatia vertical

O trecho é didático e precisa ser adaptado ao runtime indicado. Ele ilustra a decisão central, não constitui aplicação completa.

build -> SBOM (CycloneDX/SPDX) -> scan -> sign -> attest -> verify at deploy

Mantenha a mudança pequena: interface, regra, persistência, teste e sinal operacional no mesmo ticket. Evite construir “toda a infraestrutura” antes de uma jornada observável.

Passo 3 — prove o caminho feliz e o negativo

Execute uma OS válida e capture resposta, estado persistido e correlation ID.
Repita a mesma intenção; o efeito lógico deve continuar único.
Remova a permissão; nenhum estado deve mudar.
Force timeout do ERP; a UI deve mostrar estado honesto e a fila não pode crescer sem limite.
Corrompa um campo do contrato; rejeite-o com erro útil, sem stack trace nem segredo.

O teste negativo é parte do produto. Sem ele, o controle pode existir apenas no diagrama.

Passo 4 — instrumente a decisão

Registre duração, resultado, dependência, versão do contrato e correlação. Não use nome, e-mail, token, payload completo nem user_id como dimensão ilimitada de métrica. Para este livro, acompanhe dependências diretas/transitivas, idade de correção, artefatos atestados e exceções vencidas. Defina SLI, janela, limiar e ação humana associada.

Exemplo de evento estruturado conceitual:

{
  "event": "work_order.transition",
  "order_id": "742",
  "result": "pending_erp",
  "contract_version": "v1",
  "correlation_id": "demo-01",
  "duration_ms": 184
}

Passo 5 — injete falha e recupere

Falha-alvo: pacote comprometido rouba token do pipeline ou build baixa binário mutável.

Detectar: qual sinal diferencia falha real de tráfego normal?
Conter: como impedir propagação, repetição ilimitada ou perda de dados?
Mitigar: qual recurso pode ser desativado ou degradado com segurança?
Recuperar: como reprocessar sem duplicar efeito?
Aprender: qual teste, alerta, ADR ou limite impedirá recorrência?

Use timeout curto no laboratório e retry limitado com atraso e jitter. Um retry não é recuperação quando a operação não é idempotente. Registre itens que exigem intervenção humana em fila consultável; não esconda exceções em log.

Segurança e abuso

Faça uma mini análise: ativo, ator, fronteira, ameaça, impacto, controle e teste. Teste acesso horizontal entre unidades, elevação de perfil, payload grande, repetição rápida, dado fora de ordem e indisponibilidade. O controle esperado é lockfile, pin por digest, scanner, SBOM, assinatura, ambiente isolado e revisão de atualização. Valide no servidor e preserve evidência sem expor segredos.

Troubleshooting

Sintoma	Hipótese	Verificação	Correção segura
Estado diverge do ERP	efeito parcial	correlação + outbox/inbox	reconciliar idempotentemente
Latência cresce	fila ou dependência saturada	p95/p99, lag, pool	backpressure e capacidade
Só um tenant falha	escopo, dado ou quota	dimensão de tenant controlada	corrigir política/dado
Retry aumenta erro	operação não idempotente	contar efeitos por chave	deduplicar e limitar
Dashboard “verde”	SLI não representa jornada	teste sintético E2E	medir resultado do usuário

Critérios de aceite verificáveis

Caminho feliz, entrada inválida, negação, duplicata e timeout foram executados.
O segundo envio com a mesma chave não produz segundo efeito.
Nenhum segredo ou dado pessoal aparece em saída, log ou fixture.
A falha é detectada por sinal antes da reclamação do usuário.
Existe estado explícito para pendência e procedimento de reconciliação.
O resultado inclui teste, captura de telemetria, ADR e atualização do runbook.

Evidência, limpeza e solução comentada

Guarde: comandos, versões, saída dos testes, screenshot do fluxo, consulta de estado e gráfico do sinal. Remova ambiente e dados sintéticos; revogue qualquer credencial de laboratório. A solução adequada não é uma ferramenta específica: é a menor composição que satisfaz o contrato e demonstra recuperação.

Exercícios de transferência

Troque ERP por gateway de pagamento. Quais garantias ficam mais rígidas?
Troque OS por leitura de sensor offline. Onde ordenar e deduplicar?
Reduza o RTO pela metade. Qual custo e complexidade aparecem?
Explique em voz alta por que cada dependência é código de terceiro dentro da sua fronteira; SBOM é inventário, não garantia de segurança é útil e onde a analogia quebra.

Fontes

Consulte as fontes oficiais do capítulo conceitual e registre versão/data no relatório do laboratório. Para observabilidade, use OpenTelemetry; para segurança, use o manual canônico.

Supply chain, SBOM e proveniência: fundamentos, prática e diagnóstico