What contract does void read(const int values[8]) enforce in C++23?

What contract does void read(const int values[8]) enforce in C++23?

1. It accepts only arrays whose extent is exactly 8.
2. It adjusts to a const int* parameter and enforces no element count.
3. It copies eight integers into the function.
4. It rejects null pointers but accepts every non-null pointer.