Pacote Arquiteto de Segurança: Threat Model de Cadeia de Exploração + ADR de Mitigação (5 arquivos, anti-alucinação e harness de verificação)

Pacote multi-arquivo para arquitetos de segurança: transforme QUALQUER relatório de incidente/vulnerabilidade em um THREAT MODEL de cadeia de exploração + um ADR de mitigação pronto para decisão.

Isto NÃO é um prompt solto de uma linha. São 5 arquivos complementares que, juntos, levam o modelo a operar com precisão de consultoria sênior no tema mais difícil da segurança de aplicações modernas: as cadeias de exploração que atravessam biblioteca nativa -> decodificador de mídia -> aplicação web -> identidade federada (SSO/OIDC) -> repositórios e credenciais.

O QUE VEM NO PACOTE

• 01-prompt-principal.md: o prompt reusável de verdade. Define a persona (arquiteto de segurança sênior), o objetivo duplo (threat model + ADR), o FORMATO DE SAÍDA EXATO (tabelas, mermaid, ADR com seções fixas) e o passo a passo de raciocínio que o modelo executa antes de escrever. Inclui regra anti-alucinação explícita.
• 02-regras-e-restricoes.md: 30 guardrails numerados e imperativos. O que o modelo NUNCA pode fazer (inventar CVE/CWE/versão, listar elos sem causalidade, propor "avisar o usuário" como mitigação, escrever PoC/exploit), os 6 casos de borda conhecidos (input sem versões, múltiplas cadeias, relatório já corrigido, agente de IA no CI...) e o FORMATO DE ERRO quando a tarefa não puder ser cumprida.
• 03-contexto-e-exemplos.md: glossário operacional (cadeia de exploração, backport ausente, parser não sandboxado, confusão de identidade, blast radius), premissas de ambiente e 2 exemplos COMPLETOS de input real -> output esperado, incluindo um caso difícil/borda (input com informação faltante e ambiguidade) com a análise de por que a resposta boa difere da ruim.
• 04-harness-de-verificacao.md: checklist de autoverificação em 26 itens que o modelo roda ANTES de entregar, mais os critérios objetivos de aceite do comprador (o que torna a resposta certa vs errada), rubrica de pontuação 0-5 por eixo, 5 testes negativos de regressão e sinais de degradação a monitorar em produção.
• 05-templates-de-variacao.md: versão curta (triage de 10 minutos), versão longa (dossiê com anexos de rastreabilidade e comunicação), adaptação pronta para 4 stacks (Node/Next+sharp, Python/Django+Pillow, Java/Spring+ImageIO, Kubernetes multi-tenant), mapeamento para MADR e reuso como runbook de resposta.

POR QUE ESTE TEMA, AGORA Baseado no caso público mais instrutivo do ciclo: a cadeia que partiu de um upload de imagem HEIC, explorou um heap overflow em um decodificador de mídia cuja correção upstream não havia sido retroportada para a distribuição (sem CVE, portanto invisível a scanners), obteve RCE em uma aplicação web, abusou da troca de código em um fluxo SSO/OIDC para assumir a conta de um usuário corporativo e, através dos conectores pré-autorizados dessa conta, alcançou repositórios internos. Quatro elos, menos de 72 horas do achado ao acesso.