Menu checkmarks have nothing to do with the Amiga tick; any resemblance between them is coincidental.
That is simply not true, the paradigm here is a workbench, with drawers, tools, projects etc. and the notes hanging there with checkmarked items - that’s where the checkmark comes from in the first place.
Checkmarks are used for togglable menu items, and dots (not boing balls :-D ) are used for mutually exclusive items, which is pretty standard on most OSes.
Well, ironically, macOS holds the tortch and keeps using checkmark ticks everywhere without anyone complaining or getting confused. I don’t know what your list of OSes is, but I suspect it is rather limited. Again mimicking Windows.
On that topic, how is max size of windows now? Still limited by screensize, because… Windows?