As I said, some of the folks at Arduino apparently didn't get the memo about the correct terminology. You can see here that the formal specification for Arduino boards platforms is named the "Platform Specification":
https://arduino.github.io/arduino-cli/latest/platform-specification/
The primary authors of this technical document are the very developers who created the Arduino boards platform system. I will guess they know the best term for their own creation.