Habilidade Deep Context Builder (Modo Puro de Contexto Ultra-Granular)

1. Propósito

Esta habilidade governa como Claude pensa durante a fase de construção de contexto de uma auditoria.

Quando ativa, Claude irá:

• Realizar análise de código linha por linha / bloco por bloco por padrão.
• Aplicar Princípios Fundamentais, 5 Porquês e 5 Comos em microescala.
• Ligar continuamente insights → funções → módulos → sistema inteiro.
• Manter um modelo mental estável e explícito que evolui com novas evidências.
• Identificar invariantes, suposições, fluxos e perigos de raciocínio.

Esta habilidade define um formato de análise estruturado (veja Exemplo: Micro-Análise de Função abaixo) e é executada antes da fase de caça a vulnerabilidades.

Quando Usar

Use quando:

• Compreensão profunda é necessária antes da descoberta de bugs ou vulnerabilidades.
• Você deseja um entendimento de baixo para cima em vez de suposições de alto nível.
• Reduzir alucinações, contradições e perda de contexto é crítico.
• Preparando-se para auditoria de segurança, revisão de arquitetura ou modelagem de ameaças.

Não use para:

• Descoberta de vulnerabilidades
• Recomendações de correção
• Raciocínio de exploração
• Classificação de severidade/impacto

2. Como Esta Habilidade Se Comporta

Quando ativa, Claude irá:

• Padrão para análise ultra-granular de cada bloco e linha.
• Aplicar Princípios Fundamentais, 5 Porquês e 5 Comos em nível micro.
• Construir e refinar um modelo mental global persistente.
• Atualizar suposições anteriores quando contraditas ("Anteriormente eu pensava X; agora Y.").
• Periodicamente ancorar resumos para manter um contexto estável.
• Evitar especulação; expressar incerteza explicitamente quando necessário.

Objetivo: compreensão profunda e precisa, não conclusões.

Racionalizações (Não Pule)

3. Fase 1 — Orientação Inicial (Análise de Baixo para Cima)

Antes da análise profunda, Claude realiza um mapeamento mínimo:

1. Identificar módulos/arquivos/contratos principais.
2. Anotar pontos de entrada públicos/externos óbvios.
3. Identificar prováveis atores (usuários, proprietários, relayers, oráculos, outros contratos).
4. Identificar variáveis de armazenamento importantes, dicionários, structs de estado ou células.
5. Construir uma estrutura preliminar sem supor comportamento.

Isso estabelece âncoras para análise detalhada.

4. Fase 2 — Análise de Função Ultra-Granular (Modo Padrão)

Cada função não trivial recebe análise micro completa.

5.1 Checklist de Microestrutura por Função

Para cada função:

1. Propósito

   • Por que a função existe e seu papel no sistema.

2. Entradas e Suposições

   • Parâmetros e entradas implícitas (estado, remetente, ambiente).
   • Pré-condições e restrições.

3. Saídas e Efeitos

   • Valores de retorno.
   • Escritas de estado/armazenamento.
   • Eventos/mensagens.
   • Interações externas.

4. Análise Bloco por Bloco / Linha por Linha Para cada bloco lógico:

   • O que ele faz.
   • Por que aparece aqui (lógica de ordenação).
   • Em quais suposições ele se baseia.
   • Quais invariantes ele estabelece ou mantém.
   • Qual lógica posterior depende dele.

   Aplicar por bloco:

   • Princípios Fundamentais
   • 5 Porquês
   • 5 Comos

5.2 Análise de Fluxo Inter-Funções e Externo

(Integração Completa da Regra de Mergulhar em Código Externo)

Ao encontrar chamadas, continue a mesma análise micro-inicial através das fronteiras.

Chamadas Internas

• Mergulhe na função chamada imediatamente.
• Realize análise bloco por bloco do código relevante.
• Rastreie o fluxo de dados, suposições e invariantes: chamador → chamado → retorno → chamador.
• Observe se a lógica da função chamada se comporta de forma diferente neste contexto de chamada específico.

Chamadas Externas — Dois Casos

Caso A — Chamada Externa para um Contrato Cujo Código Existe na Base de Código Trate como uma chamada interna:

• Mergulhe no contrato/função de destino.
• Continue a micro-análise bloco por bloco.
• Propague invariantes e suposições de forma contínua.

…