AmigaOS 4 is a Hyperion product.
In terms of your definitions you are correct. But you are being hard on the english language here (pardon me saying that as an american!)
I don't disagree with you about a technical statement that Hyperion is coding OS 4.
But it is Amiga, Inc., and not anyone else, that made the contract with the community by pre-selling OS 4. Hyperion didn't do that. That was all Amiga, Inc.
Maybe someone could argue that the I am Amiga Club, party pack coupons, and promises of free OS 4 that come with an AmigaOne, are not in fact pre-sales of OS 4.
But they sure as heck are...I'm not arguing this before a judge...this is a community board...PSSST they have been pre-selling OS 4 for many months now....
Nevermind what, who, where OS 4 is now....I could argue that the source code Hyperion owns the rights to, until Amiga buys it, isn't OS 4 either, until Amiga buys it....but never mind all that.
Amiga, Inc. has been selling something called 'Amiga OS 4'
they can pre-sell it, if it eventually is a product that they sell. But if that never happens at all, clearly wrong....if they sell something called OS 4, but its not the product everyone understood it to be....thats very dubious indeed.