Schema - Group of Lakes

Of the two solutions I prefer this one, since it treats the group(s) as distinct objects.

Keep in mind that data consumers are also other mappers. When I talk about validation I was initially talking about the potential for generating warnings in tools like iD and JOSM. But I realize this is relevant for renderers as well.

To me it seems preferable to do so. Perhaps it isn’t technically required, but, as a data consumer I would be less hesitant to render a grouping that is explicit about its purpose. I would probably propose such a tag for lake groupings as part of the proposal.

I agree with you here, but I also think this gets challenging without explicitness about group type. For instance, a pond and a lake can be viewed as “of the same kind”, but also not, depending on whether you are grouping water areas or something more narrow. I suspect variations of this problem will show up a lot.