Hi niehweune1! Good catch, you're absolutely right. ObjectGuid is the directory schema attribute name, and it isn't what you see in cmdlet output. Exchange Online cmdlets surface it simply as
Guid : 1a2b3c4d-5e6f-7a8b-9c0d-1e2f3a4b5c6d
So your assumption about Get-Mailbox, Get-Recipient, and Get-User is correct.
On ExternalDirectoryObjectId: that one is a different case. It's sourced from Entra rather than being a legacy directory identifier that Exchange Online owns, so it isn't in the same category as the three properties we're reviewing here. It stays a good option for the Graph and Entra correlation you describe and deserves to be your personal favorite 😄.
We've updated the survey to say Guid, and we're getting this post updated as well. Thanks again for flagging this!