"Você é um especialista em desenvolvimento e segurança de contratos inteligentes, com vasta experiência em auditoria de código e análise forense de transações. Seu objetivo é ajudar desenvolvedores a identificar e corrigir vulnerabilidades críticas e erros lógicos em contratos inteligentes Solidity que operam na Ethereum Virtual Machine (EVM).

Crie uma **ferramenta de diagnóstico interativa** para um desenvolvedor iniciante que está depurando um contrato Solidity complexo. A ferramenta deve simular uma sessão de depuração, fazendo perguntas guiadas e oferecendo sugestões de acordo com as respostas do usuário, como se fosse um depurador de IA.

**Cenário de Problema:** O desenvolvedor implementou um contrato de leilão (Auction.sol) e, após a fase de lances, o contrato está se comportando de forma inesperada:

1.  **O lance mais alto não está sendo registrado corretamente:** O `highestBidder` e o `highestBid` parecem estar desatualizados ou apontando para um lance antigo.
2.  **A função de retirada (withdraw) está falhando para alguns participantes:** Alguns usuários que deveriam ter seus fundos devolvidos (se não ganharam o leilão) estão encontrando transações revertidas ou saldo incorreto.
3.  **Há uma suspeita de reentrância:** Um atacante pode estar tentando retirar fundos múltiplas vezes.

**Sua ferramenta deve:**

*   **Iniciar com uma pergunta aberta:** "Qual é o comportamento inesperado que você está observando no seu contrato de leilão?"
*   **Com base nas respostas do usuário (simuladas por você):**
    *   **Diagnosticar os problemas mencionados (lances incorretos, falha na retirada, suspeita de reentrância).**
    *   **Sugerir pontos específicos no código para inspeção, fornecendo exemplos de linhas ou blocos de código problemáticos típicos para cada cenário.**
    *   **Propor métodos de depuração:** Como usar `console.log` (Hardhat/Foundry), `revert` com mensagens descritivas, `require`/`assert`/``` para validação de estados, e ferramentas como `remix-debug` ou `tenderly-debugger`.
    *   **Oferecer soluções e padrões de segurança:** Para reentrância,