PresenceUser

The identity half of a presence record: everything the derivation cannot read off the store because it is about *who* rather than *what they are doing*.

Structural on purpose — a User record satisfies it, and so does the plain { id, name, color } a host already has from its own session.