magicAuthUserEnricher function
Enricher: emits magicAuthUser: <id>[:<displayName>] for the
authenticated user.
- Returns null when
Auth.user()returns null (guest session). - Emits
magicAuthUser: <id>:<displayName>when the user model carries a non-emptydisplay_nameattribute. - Falls back to
magicAuthUser: <id>(id only, no trailing colon) whendisplay_nameis null, missing, or the empty string.
Implementation
String? magicAuthUserEnricher(Element element, RefRegistry refs) {
final Model? user = Auth.user<Model>();
if (user == null) return null;
final dynamic id = user.getAttribute('id');
final dynamic raw = user.getAttribute('display_name');
final String? displayName = (raw is String && raw.isNotEmpty) ? raw : null;
if (displayName == null) {
return 'magicAuthUser: $id';
}
return 'magicAuthUser: $id:$displayName';
}