Jun 26 update to the latest codes

migrations/versions/phase30_device_registry.py

@@ -0,0 +1,35 @@
+"""phase30 — device_registrations table for iOS device tracking
+
+Each row records a device that has opened the JanitorialQC app.
+Upserted on every app foreground so last_seen_at stays current.
+"""
+
+from alembic import op
+
+revision      = 'phase30_device_registry'
+down_revision = 'phase29_broadcasts'
+branch_labels = None
+depends_on    = None
+
+
+def upgrade():
+    op.execute("""
+        CREATE TABLE IF NOT EXISTS device_registrations (
+            id            INT          NOT NULL AUTO_INCREMENT PRIMARY KEY,
+            device_id     VARCHAR(64)  NOT NULL,
+            user_id       INT          NOT NULL,
+            device_name   VARCHAR(255) NOT NULL DEFAULT '',
+            app_version   VARCHAR(32)  NOT NULL DEFAULT '',
+            ios_version   VARCHAR(32)  NOT NULL DEFAULT '',
+            registered_at DATETIME     NOT NULL,
+            last_seen_at  DATETIME     NOT NULL,
+            CONSTRAINT uq_device_id UNIQUE (device_id),
+            CONSTRAINT fk_device_reg_user
+                FOREIGN KEY (user_id) REFERENCES users(id)
+                ON DELETE CASCADE
+        ) ENGINE=InnoDB DEFAULT CHARSET=utf8mb4
+    """)
+
+
+def downgrade():
+    op.execute("DROP TABLE IF EXISTS device_registrations")