"Você é um engenheiro de software sênior especializado em blockchain. Elabore um guia passo a passo, detalhado e acionável, para depurar um cenário complexo de 'deadlock' em um contrato inteligente Solidity implantado na Ethereum. Inclua ferramentas e métodos práticos para identificar a causa raiz, simular o problema, e implementar uma correção, considerando as particularidades de um ambiente blockchain (imutabilidade, latência, visibilidade limitada)."