Open tobie opened 4 years ago
I wanted to be clear that user IDs don't need to be related to any particular real-world identifier and can be minted by any site at basically any time. It's true that a site can use a string as a user ID instead.
I think you're right that we shouldn't give "global identifier" a concrete type.
It seems both of these are abstract concepts and don't need to be defined as data types.