src/dazzle_back/runtime/device_registry.py

Generated: 2026-03-30T04:38:47.117884+00:00

Commit: 615f1354a103

Language: python

Scope: dazzle_back

Purpose

Device registry for push notifications.

Manages device tokens for mobile push notifications. Uses PostgreSQL (psycopg v3) exclusively.

Key Exports

• DevicePlatform
• DeviceRecord
• DeviceRegistry
• create_device_routes
• register_device
• get_user_devices
• get_device
• unregister_device
• mark_device_used
• invalidate_token
• cleanup_inactive
• RegisterDeviceRequest
• register_device
• list_devices
• unregister_device

Dependencies

Imports

• __future__.annotations
• datetime.UTC
• datetime.datetime
• enum.StrEnum
• typing.TYPE_CHECKING
• typing.Any
• uuid.UUID
• pydantic.BaseModel
• pydantic.ConfigDict
• pydantic.Field
• psycopg
• fastapi.APIRouter
• pydantic.BaseModel
• psycopg
• psycopg.rows.dict_row
• secrets
• datetime.timedelta
• fastapi.APIRouter
• fastapi.Depends
• fastapi.HTTPException

Event Interactions

None detected.

Invariants and Assumptions

No invariants documented.

Tests

• tests/unit/test_device_registry_pg.py
• tests/integration/test_runtime_e2e.py
• tests/integration/test_runtime_pipeline.py
• tests/unit/test_runtime_test_routes.py
• tests/unit/test_runtime_services.py

Notes

This page was automatically generated by tools/gen_reference_docs.py.