Por que alterar o método equals sem atualizar o hashCode correspondente quebra a correção do funcionamento das tabelas hash?

Em Java, o contrato entre os métodos equals() e hashCode() exige que, se dois objetos forem considerados iguais (equals retorna true), então seus hashCodes devem ser iguais. Se alterar equals sem atualizar hashCode, objetos considerados iguais por equals podem ter códigos hash diferentes. Como resultado, tabelas de hash (por exemplo, HashMap ou HashSet) podem não conseguir encontrar corretamente um objeto, pois a busca primeiro ocorre pelo hashCode e depois pelo equals. Isso leva a erros ao armazenar e procurar objetos em coleções baseadas em hash.