Что требуется, чтобы класс был ПО-НАСТОЯЩЕМУ неизменяемым?

public final class Order {
    private final String id;
    private final List<Item> items;

    public Order(String id, List<Item> items) {
        this.id = Objects.requireNonNull(id);
        this.items = List.copyOf(items);   // копия на входе
    }
    public List<Item> items() { return items; }   // уже неизменяемый список
    public Order withItem(Item i) {
        var copy = new ArrayList<>(items); copy.add(i);
        return new Order(id, copy);
    }
}

Зачем каждый пункт:

• final-поля — нельзя переприсвоить; плюс гарантия видимости по модели памяти;
• нет сеттеров — состояние фиксируется в конструкторе;
• final-класс — иначе подкласс добавит изменяемые поля или переопределит геттер;
• защитные копии — если сохранить переданный список по ссылке, вызывающий изменит его снаружи; если отдать внутренний список, изменит получатель;
• this не утекает — нельзя регистрировать объект как слушателя в конструкторе.

Элементы внутри тоже должны быть неизменяемыми, иначе неизменяемость поверхностная.