diff --git a/lib/api/model/model.dart b/lib/api/model/model.dart
index c98fea005c..ef5297ac61 100644
--- a/lib/api/model/model.dart
+++ b/lib/api/model/model.dart
@@ -188,18 +188,25 @@ enum Emojiset {
 /// in <https://zulip.com/api/register-queue>.
 @JsonSerializable(fieldRename: FieldRename.snake)
 class User {
+  // When adding a field to this class:
+  //  * If a [RealmUserUpdateEvent] can update it, be sure to add
+  //    that case to [RealmUserUpdateEvent] and its handler.
+  //  * If the field can never change for a given Zulip user, mark it final.
+  //  * (If it can change but [RealmUserUpdateEvent] doesn't cover that,
+  //    then that's a bug in the API; raise it in `#api design`.)
+
   final int userId;
   String? deliveryEmail;
   String email;
   String fullName;
-  String dateJoined;
+  final String dateJoined;
   bool isActive; // Really sometimes absent in /register, but we normalize that away; see [InitialSnapshot.realmUsers].
-  bool isOwner;
-  bool isAdmin;
-  bool isGuest;
+  // bool isOwner; // obsoleted by [role]; ignore
+  // bool isAdmin; // obsoleted by [role]; ignore
+  // bool isGuest; // obsoleted by [role]; ignore
   bool? isBillingAdmin; // TODO(server-5)
-  bool isBot;
-  int? botType; // TODO enum
+  final bool isBot;
+  final int? botType; // TODO enum
   int? botOwnerId;
   @JsonKey(unknownEnumValue: UserRole.unknown)
   UserRole role;
@@ -214,7 +221,7 @@ class User {
   Map<int, ProfileFieldUserData>? profileData;
 
   @JsonKey(readValue: _readIsSystemBot)
-  bool isSystemBot;
+  final bool isSystemBot;
 
   static Map<String, dynamic>? _readProfileData(Map<dynamic, dynamic> json, String key) {
     final value = (json[key] as Map<String, dynamic>?);
@@ -240,9 +247,6 @@ class User {
     required this.fullName,
     required this.dateJoined,
     required this.isActive,
-    required this.isOwner,
-    required this.isAdmin,
-    required this.isGuest,
     required this.isBillingAdmin,
     required this.isBot,
     required this.botType,
diff --git a/lib/api/model/model.g.dart b/lib/api/model/model.g.dart
index 10c1c6b00c..0171278e4d 100644
--- a/lib/api/model/model.g.dart
+++ b/lib/api/model/model.g.dart
@@ -97,9 +97,6 @@ User _$UserFromJson(Map<String, dynamic> json) => User(
       fullName: json['full_name'] as String,
       dateJoined: json['date_joined'] as String,
       isActive: json['is_active'] as bool,
-      isOwner: json['is_owner'] as bool,
-      isAdmin: json['is_admin'] as bool,
-      isGuest: json['is_guest'] as bool,
       isBillingAdmin: json['is_billing_admin'] as bool?,
       isBot: json['is_bot'] as bool,
       botType: (json['bot_type'] as num?)?.toInt(),
@@ -125,9 +122,6 @@ Map<String, dynamic> _$UserToJson(User instance) => <String, dynamic>{
       'full_name': instance.fullName,
       'date_joined': instance.dateJoined,
       'is_active': instance.isActive,
-      'is_owner': instance.isOwner,
-      'is_admin': instance.isAdmin,
-      'is_guest': instance.isGuest,
       'is_billing_admin': instance.isBillingAdmin,
       'is_bot': instance.isBot,
       'bot_type': instance.botType,
diff --git a/test/api/model/model_checks.dart b/test/api/model/model_checks.dart
index c8261ba78f..71d199e864 100644
--- a/test/api/model/model_checks.dart
+++ b/test/api/model/model_checks.dart
@@ -8,9 +8,6 @@ extension UserChecks on Subject<User> {
   Subject<String> get fullName => has((x) => x.fullName, 'fullName');
   Subject<String> get dateJoined => has((x) => x.dateJoined, 'dateJoined');
   Subject<bool> get isActive => has((x) => x.isActive, 'isActive');
-  Subject<bool> get isOwner => has((x) => x.isOwner, 'isOwner');
-  Subject<bool> get isAdmin => has((x) => x.isAdmin, 'isAdmin');
-  Subject<bool> get isGuest => has((x) => x.isGuest, 'isGuest');
   Subject<bool?> get isBillingAdmin => has((x) => x.isBillingAdmin, 'isBillingAdmin');
   Subject<bool> get isBot => has((x) => x.isBot, 'isBot');
   Subject<int?> get botType => has((x) => x.botType, 'botType');
diff --git a/test/example_data.dart b/test/example_data.dart
index c7820326ce..e14b7c437a 100644
--- a/test/example_data.dart
+++ b/test/example_data.dart
@@ -94,9 +94,6 @@ User user({
     fullName: fullName ?? 'A user', // TODO generate example names
     dateJoined: '2023-04-28',
     isActive: isActive ?? true,
-    isOwner: false,
-    isAdmin: false,
-    isGuest: false,
     isBillingAdmin: false,
     isBot: isBot ?? false,
     botType: null,