Por que @safe não consegue detectar um contrato verificado no Sourcify e no Etherscan? Isso tem sido assim há meses e eu até enviei um ping para eles sobre isso.