chore(rosters): count sys_user_device in the platform-object roster, the messaging translation bundles, the D10 inventory and the tenancy census

Claude-Session: https://claude.ai/code/session_01ADHkmRD9KKqvTU3THnute6
Co-authored-by: Claude <noreply@anthropic.com>

Author: claude

packages/cli/src/utils/organization-ownership-inventory.ts

@@ -352,6 +352,14 @@ export const ORGANIZATION_OWNERSHIP_INVENTORY: readonly InventoryEntry[] = [
   ),
   { object: 'sys_metadata_activation', census: P1, fate: 'column-drop', citation: `${D7}, D6, D14 (C0): the tenant-less activation ledger` },
   { object: 'sys_presence', census: P1, fate: 'column-drop', citation: `${CENSUS_MAIN}: systemFields.tenant: false; ${D7}` },
+  {
+    object: 'sys_user_device',
+    census: PMAIN,
+    fate: 'column-drop',
+    citation:
+      `${CENSUS_MAIN}: tenancy.enabled: false and no organization_id field; ${D7}: a push device belongs to its user, ` +
+      'never to an organization (spec UserDeviceSchema, rule a)',
+  },
   {
     object: 'sys_platform_setting',
     census: PMAIN,

packages/services/service-messaging/scripts/i18n-extract.config.ts

@@ -43,6 +43,7 @@ import {
   NotificationPreference,
   NotificationTemplate,
   HttpDelivery,
+  UserDevice,
 } from '../src/objects/index.js';
 import { enObjects } from '../src/translations/en.objects.generated.js';
 import { zhCNObjects } from '../src/translations/zh-CN.objects.generated.js';
@@ -71,6 +72,7 @@ const config: ObjectStackDefinition = defineStack({
     NotificationPreference,
     NotificationTemplate,
     HttpDelivery,
+    UserDevice,
   ] as any,
   translations: [
     { en: { objects: enObjects } },

packages/services/service-messaging/src/objects/user-device.object.ts

@@ -73,7 +73,10 @@ export const UserDevice = ObjectSchema.create({
             description: 'The user the device belongs to: the signed-in user who registered it.',
         }),
 
-        vendor: Field.select(['apns', 'fcm'], {
+        vendor: Field.select([
+            { label: 'APNs', value: 'apns' },
+            { label: 'FCM', value: 'fcm' },
+        ], {
             label: 'Vendor',
             required: true,
             description: 'Push vendor the token belongs to.',
@@ -92,7 +95,11 @@ export const UserDevice = ObjectSchema.create({
         // Spec's `PUSH_DEVICE_PLATFORMS` is not on a public entry, so the three
         // are spelled here; `user-device.object.test.ts` holds them equal to
         // the registration schema's enum.
-        platform: Field.select(['ios', 'android', 'web'], {
+        platform: Field.select([
+            { label: 'iOS', value: 'ios' },
+            { label: 'Android', value: 'android' },
+            { label: 'Web', value: 'web' },
+        ], {
             label: 'Platform',
             required: true,
         }),

packages/services/service-messaging/src/translations/bundle-ownership.test.ts

@@ -23,6 +23,7 @@ const OWNED_OBJECTS = new Set([
   'sys_notification_preference',
   'sys_notification_template',
   'sys_http_delivery',
+  'sys_user_device',
 ]);
 
 describe('objects translation bundle ownership (ADR-0029 D8)', () => {

packages/services/service-messaging/src/translations/en.objects.generated.ts

@@ -417,5 +417,69 @@ export const enObjects: NonNullable<TranslationData['objects']> = {
         label: "Pending"
       }
     }
+  },
+  sys_user_device: {
+    label: "User Device",
+    pluralLabel: "User Devices",
+    description: "A user's push device: one row per app install, holding its vendor push token.",
+    fields: {
+      id: {
+        label: "Row ID"
+      },
+      device_id: {
+        label: "Device ID",
+        help: "Client-held device id, stable per app install. Unique per user."
+      },
+      user_id: {
+        label: "User",
+        help: "The user the device belongs to: the signed-in user who registered it."
+      },
+      vendor: {
+        label: "Vendor",
+        help: "Push vendor the token belongs to.",
+        options: {
+          apns: "APNs",
+          fcm: "FCM"
+        }
+      },
+      token: {
+        label: "Push Token",
+        help: "Vendor push token. Held by one device at a time."
+      },
+      platform: {
+        label: "Platform",
+        options: {
+          ios: "iOS",
+          android: "Android",
+          web: "Web"
+        }
+      },
+      app_id: {
+        label: "App ID",
+        help: "The iOS bundle ID or Android application ID the token was issued to."
+      },
+      locale: {
+        label: "Locale",
+        help: "Device locale that pushes to this device are rendered in."
+      },
+      name: {
+        label: "Device Name"
+      },
+      enabled: {
+        label: "Enabled",
+        help: "False once the vendor reported the token dead; nothing is delivered to a disabled device."
+      },
+      invalidated_at: {
+        label: "Invalidated At",
+        help: "When the vendor reported the token dead. Cleared by the registration that re-enables it."
+      },
+      last_seen_at: {
+        label: "Last Seen At",
+        help: "When the device last registered or refreshed."
+      },
+      created_at: {
+        label: "Created At"
+      }
+    }
   }
 };

packages/services/service-messaging/src/translations/es-ES.objects.generated.ts

@@ -417,5 +417,69 @@ export const esESObjects: NonNullable<TranslationData['objects']> = {
         label: "Pending"
       }
     }
+  },
+  sys_user_device: {
+    label: "Dispositivo de usuario",
+    pluralLabel: "Dispositivos de usuario",
+    description: "Dispositivo de notificaciones push de un usuario: una fila por instalación de la aplicación, con su token push del proveedor.",
+    fields: {
+      id: {
+        label: "ID de fila"
+      },
+      device_id: {
+        label: "ID del dispositivo",
+        help: "ID del dispositivo que guarda el cliente, estable en cada instalación de la aplicación. Único por usuario."
+      },
+      user_id: {
+        label: "Usuario",
+        help: "El usuario al que pertenece el dispositivo: el usuario con sesión iniciada que lo registró."
+      },
+      vendor: {
+        label: "Proveedor",
+        help: "Proveedor push al que pertenece el token.",
+        options: {
+          apns: "APNs",
+          fcm: "FCM"
+        }
+      },
+      token: {
+        label: "Token push",
+        help: "Token push del proveedor. Solo lo tiene un dispositivo a la vez."
+      },
+      platform: {
+        label: "Plataforma",
+        options: {
+          ios: "iOS",
+          android: "Android",
+          web: "Web"
+        }
+      },
+      app_id: {
+        label: "ID de la aplicación",
+        help: "El ID de paquete de iOS o el ID de aplicación de Android para el que se emitió el token."
+      },
+      locale: {
+        label: "Configuración regional",
+        help: "Configuración regional del dispositivo en la que se muestran las notificaciones push enviadas a él."
+      },
+      name: {
+        label: "Nombre del dispositivo"
+      },
+      enabled: {
+        label: "Habilitado",
+        help: "Falso cuando el proveedor informa de que el token ya no es válido; a un dispositivo deshabilitado no se le entrega nada."
+      },
+      invalidated_at: {
+        label: "Invalidado el",
+        help: "Cuándo informó el proveedor de que el token ya no es válido. Se borra con el registro que vuelve a habilitar el dispositivo."
+      },
+      last_seen_at: {
+        label: "Visto por última vez",
+        help: "Cuándo se registró o actualizó el dispositivo por última vez."
+      },
+      created_at: {
+        label: "Creado el"
+      }
+    }
   }
 };

packages/services/service-messaging/src/translations/es-ES.source-hashes.generated.ts

@@ -150,4 +150,9 @@ export const esESGeneratedSourceHashes: Readonly<Record<string, string>> = {
   "objects.sys_notification_template.fields.version.label": "b74a37c0879ec50e",
   "objects.sys_notification_template.label": "30ecafa4dac4b40d",
   "objects.sys_notification_template.pluralLabel": "9e270c87ef2578df",
+  "objects.sys_user_device.fields.platform.options.android": "44fa27bdaae7f812",
+  "objects.sys_user_device.fields.platform.options.ios": "461f32943613be91",
+  "objects.sys_user_device.fields.platform.options.web": "2a7ead3da8c035c5",
+  "objects.sys_user_device.fields.vendor.options.apns": "b6edcf327f308698",
+  "objects.sys_user_device.fields.vendor.options.fcm": "fc3b030ffd243df4",
 };

packages/services/service-messaging/src/translations/ja-JP.objects.generated.ts

@@ -417,5 +417,69 @@ export const jaJPObjects: NonNullable<TranslationData['objects']> = {
         label: "Pending"
       }
     }
+  },
+  sys_user_device: {
+    label: "ユーザーデバイス",
+    pluralLabel: "ユーザーデバイス",
+    description: "ユーザーのプッシュ通知デバイス：アプリのインストールごとに 1 行で、ベンダーのプッシュトークンを保持します。",
+    fields: {
+      id: {
+        label: "行 ID"
+      },
+      device_id: {
+        label: "デバイス ID",
+        help: "クライアントが保持するデバイス ID。アプリのインストールごとに不変で、ユーザー内で一意です。"
+      },
+      user_id: {
+        label: "ユーザー",
+        help: "デバイスの所有ユーザー：デバイスを登録したサインイン中のユーザーです。"
+      },
+      vendor: {
+        label: "ベンダー",
+        help: "トークンが属するプッシュベンダー。",
+        options: {
+          apns: "APNs",
+          fcm: "FCM"
+        }
+      },
+      token: {
+        label: "プッシュトークン",
+        help: "ベンダーのプッシュトークン。同時に保持できるのは 1 台のデバイスのみです。"
+      },
+      platform: {
+        label: "プラットフォーム",
+        options: {
+          ios: "iOS",
+          android: "Android",
+          web: "Web"
+        }
+      },
+      app_id: {
+        label: "アプリ ID",
+        help: "トークンの発行先である iOS のバンドル ID または Android のアプリケーション ID。"
+      },
+      locale: {
+        label: "ロケール",
+        help: "このデバイスへのプッシュ通知の表示に使うデバイスのロケール。"
+      },
+      name: {
+        label: "デバイス名"
+      },
+      enabled: {
+        label: "有効",
+        help: "ベンダーがトークンの無効を報告すると false になります。無効なデバイスには何も配信されません。"
+      },
+      invalidated_at: {
+        label: "無効化日時",
+        help: "ベンダーがトークンの無効を報告した日時。デバイスを再度有効にする登録でクリアされます。"
+      },
+      last_seen_at: {
+        label: "最終確認日時",
+        help: "デバイスが最後に登録または更新された日時。"
+      },
+      created_at: {
+        label: "作成日時"
+      }
+    }
   }
 };

packages/services/service-messaging/src/translations/ja-JP.source-hashes.generated.ts

@@ -149,4 +149,9 @@ export const jaJPGeneratedSourceHashes: Readonly<Record<string, string>> = {
   "objects.sys_notification_template.fields.version.label": "b74a37c0879ec50e",
   "objects.sys_notification_template.label": "30ecafa4dac4b40d",
   "objects.sys_notification_template.pluralLabel": "9e270c87ef2578df",
+  "objects.sys_user_device.fields.platform.options.android": "44fa27bdaae7f812",
+  "objects.sys_user_device.fields.platform.options.ios": "461f32943613be91",
+  "objects.sys_user_device.fields.platform.options.web": "2a7ead3da8c035c5",
+  "objects.sys_user_device.fields.vendor.options.apns": "b6edcf327f308698",
+  "objects.sys_user_device.fields.vendor.options.fcm": "fc3b030ffd243df4",
 };

packages/services/service-messaging/src/translations/zh-CN.objects.generated.ts

@@ -417,5 +417,69 @@ export const zhCNObjects: NonNullable<TranslationData['objects']> = {
         label: "待处理"
       }
     }
+  },
+  sys_user_device: {
+    label: "用户设备",
+    pluralLabel: "用户设备",
+    description: "用户的推送设备：每次应用安装一行，保存其厂商推送令牌。",
+    fields: {
+      id: {
+        label: "行 ID"
+      },
+      device_id: {
+        label: "设备 ID",
+        help: "由客户端保存的设备 ID，每次应用安装保持不变。同一用户内唯一。"
+      },
+      user_id: {
+        label: "用户",
+        help: "设备所属的用户：注册该设备的已登录用户。"
+      },
+      vendor: {
+        label: "厂商",
+        help: "令牌所属的推送厂商。",
+        options: {
+          apns: "APNs",
+          fcm: "FCM"
+        }
+      },
+      token: {
+        label: "推送令牌",
+        help: "厂商推送令牌。同一时间只由一台设备持有。"
+      },
+      platform: {
+        label: "平台",
+        options: {
+          ios: "iOS",
+          android: "Android",
+          web: "Web"
+        }
+      },
+      app_id: {
+        label: "应用 ID",
+        help: "令牌签发给的 iOS Bundle ID 或 Android 应用 ID。"
+      },
+      locale: {
+        label: "语言区域",
+        help: "发送到此设备的推送所使用的设备语言区域。"
+      },
+      name: {
+        label: "设备名称"
+      },
+      enabled: {
+        label: "已启用",
+        help: "厂商报告令牌失效后为否；不会向已停用的设备投递任何内容。"
+      },
+      invalidated_at: {
+        label: "失效时间",
+        help: "厂商报告令牌失效的时间。重新启用该设备的注册会将其清除。"
+      },
+      last_seen_at: {
+        label: "最近活跃时间",
+        help: "设备最近一次注册或刷新的时间。"
+      },
+      created_at: {
+        label: "创建时间"
+      }
+    }
   }
 };