I think we disagree here.

Tagging them as junction=circular also doesn't stop them from being "roundabouts" in the UK sense either, and nor does it make them "traffic circles" or any other term used locally. The two OSM tags have well-defined and different meanings, independent (we hope) of language and place. Other countries will have different words and shadings of meaning too, but this definition is OSM's.

I don't think we can just locally and individually insist on any definitions other than the agreed ones in the wiki really, not for something as well established as these tags. These definitions and the new distinction between them are well established OSM practice for nearly 9 years now, whether we like the tags or not:

- https://wiki.openstreetmap.org/wiki/Tag:junction%3Dcircular (since Nov 2016, distinction discussed in the tagging mailing list)
- https://wiki.openstreetmap.org/wiki/Tag:junction%3Droundabout (documented since Feb 2007)

If they have traffic signals and stop lines on the circulating way, you do not have complete, unrestricted right of way whilst on them. Therefore they are tagged as junction=circular, whether or not that's also a term for something local to the UK that's not a standardised roundabout.

Did you discuss these changes with anyone else?

How are you selecting candidates for these changes, and applying the edits?