Что верно про record в Java?

Record — это прозрачный носитель данных: состояние объявлено в заголовке, и всё остальное компилятор выводит из него. Наследоваться record не может (неявно final и уже наследует java.lang.Record), но интерфейсы реализовывать вправе. Компактный конструктор — самая полезная деталь на практике: в нём проверяют инварианты и нормализуют аргументы, а присваивание полей компилятор добавит сам. Важная оговорка про неизменяемость: неизменяемы сами поля, а не то, на что они ссылаются — список внутри record можно менять, поэтому для настоящей неизменяемости в компактном конструкторе делают защитную копию.

record Money(BigDecimal amount, String currency) {
    Money {
        Objects.requireNonNull(currency);
        if (amount.signum() < 0) throw new IllegalArgumentException();
    }
}