This FEP obviously describes a very particular way that a group federates, but other FEPs may design different kinds of groups.
With that in mind, would it not make sense to include in the FEP a requirement that Group actors that work according to this FEP should have a special type field, equal to (for example) ["https://w3id.org/fep/1b12/group", "Group"]? Or something to that effect.
Right now the groups following this FEP are, as far as I can tell, indistinguishable from any other kind of ActivityPub Group actor, aside from the special fields that this FEP defines. But I don’t think you should use the presence of those fields to decide that a Group actor follows this FEP - an explicit signal in the type would be preferable.
Does this make sense? Or is there perhaps already a mechanism for discovering that a Group actor follows this FEP that I don’t know about yet? Or is there a better approach to signal this?