¿Por qué cambiar el método equals sin actualizar el hashCode correspondiente rompe la corrección del funcionamiento de las tablas hash?

En Java, el contrato entre los métodos equals() y hashCode() requiere que si dos objetos se consideran iguales (equals devuelve true), entonces sus hashCode deben ser iguales. Si se modifica equals sin actualizar hashCode, los objetos que son iguales según equals pueden tener diferentes códigos hash. Como resultado, las tablas hash (por ejemplo, HashMap o HashSet) no podrán encontrar correctamente un objeto, ya que la búsqueda primero se realiza por hashCode y luego por equals. Esto conduce a errores al almacenar y buscar objetos en colecciones basadas en hash.