Метод equals в Java используется для сравнения объектов на логическое равенство. По умолчанию он сравнивает ссылки (т.е. проверяет, указывают ли переменные на один и тот же объект), но часто его переопределяют для сравнения содержимого объектов.

Контракт метода equals требует:

Рефлексивность: объект равен самому себе.
Симметричность: если a.equals(b) — то и b.equals(a).
Транзитивность: если a.equals(b) и b.equals(c), то a.equals(c).
Согласованность: многократные вызовы возвращают одинаковый результат, если объекты не изменились.
Для любого ненулевого объекта x, x.equals(null) должно возвращать false.

Важно, что при переопределении equals нужно также переопределять hashCode, чтобы сохранить согласованность при использовании в коллекциях.

Пример переопределения:

@Override
public boolean equals(Object obj) {
    if (this == obj) return true;
    if (obj == null || getClass() != obj.getClass()) return false;
    MyClass other = (MyClass) obj;
    return Objects.equals(field1, other.field1) && field2 == other.field2;
}

Объясните основные идеи и принципы работы метода equals в Java и как он связан с понятием контракта в объектно-ориентированном программировании.