> This is a contradiction. There is nothing "minimal" about a requirement that excludes every device but one.

I don't get your logic. Requirements are a choice. It's very easy to create requirements that exclude every device but one.

Example: "It has to be the Samsung Galaxy S23". Done.

Now you can disagree with those requirements, but that's completely different from saying that the requirements are wrong.