Using records as HashMap keys — equals/hashCode contract?

Records as map keys

Records generate equals/hashCode from components automatically—ideal immutable keys if all components are stable and correctly equatable.

• Avoid mutable components (e.g., byte[]) unless you…