app.person_push_devices
TableRow level security on
A person's own devices for push (A101, decision 69): a Compass device's Expo push token or a Gateway browser's Web Push endpoint. They carry the pushes of an org only when the person has no device registered with that org and works with it as an external party, or the push is a marketplace match about a listing open to them (invariant 3). Members keep their per-org devices in app.push_subscriptions.
Primary key: id
| Column | Type | Nullable | Description |
|---|---|---|---|
| id | uuid | No | Primary key, UUID v7. |
| deleted_at | timestamp with time zone | Yes | Soft delete time. A row with deleted_at set is ignored by every access helper. |
| person_id | uuid | No | Owner.References app.people.id |
| platform | text | No | ios, android or web; web exactly when the row is a browser. |
| expo_push_token | text | Yes | Expo push token of a Compass device; null for a browser. |
| web_endpoint | text | Yes | Web Push endpoint of a browser (RFC 8030), an https URL of its push service; null for a Compass device. |
| web_p256dh | text | Yes | The browser's P-256 public key for message encryption (RFC 8291), base64url; null for a Compass device. |
| web_auth | text | Yes | The browser's 16-byte authentication secret (RFC 8291), base64url; null for a Compass device. |
| web_app | text | Yes | App the browser subscribed in, always Gateway, whose service worker shows the push and opens its link; null for a Compass device. |
| last_seen_at | timestamp with time zone | No | Last time the device registered again. |
| revoked_at | timestamp with time zone | Yes | When the device was revoked: by a push service that no longer knows it (Expo DeviceNotRegistered, Web Push 404 or 410), by the person turning browser notifications off, or because another person registered the same device. |
| created_at | timestamp with time zone | No | When the row was inserted. Set by the database. |
| created_by | uuid | Yes | Person who inserted the row, or null for a platform process. Set by the database.References app.people.id |
| updated_at | timestamp with time zone | No | When the row last changed. Set by the database. |
| updated_by | uuid | Yes | Person who last changed the row, or null for a platform process. Set by the database.References app.people.id |