| """Platform tables: user-facing notifications, audit log of clinical |
| mutations, per-user preferences for the dashboard / Jarvis. Used by |
| the corresponding router modules. |
| |
| All three tables are tiny (no FK cascades, no joins) so they don't |
| slow patient queries; the audit_log is append-only and we trim it via |
| the cleanup task on startup if it ever grows past 20k rows. |
| """ |
|
|
| from __future__ import annotations |
|
|
| from datetime import datetime |
|
|
| from sqlalchemy import JSON, Boolean, DateTime, ForeignKey, Integer, String, Text, func |
| from sqlalchemy.orm import Mapped, mapped_column |
|
|
| from core.database import Base |
|
|
|
|
| class Notification(Base): |
| """Lightweight notification feed for the bell dropdown.""" |
|
|
| __tablename__ = "notifications" |
|
|
| id: Mapped[int] = mapped_column(primary_key=True) |
| user_id: Mapped[int | None] = mapped_column( |
| ForeignKey("users.id", ondelete="CASCADE"), index=True, nullable=True |
| ) |
| kind: Mapped[str] = mapped_column(String(32), nullable=False) |
| severity: Mapped[str] = mapped_column(String(16), default="info", nullable=False) |
| title: Mapped[str] = mapped_column(String(255), nullable=False) |
| body: Mapped[str | None] = mapped_column(Text, nullable=True) |
| link: Mapped[str | None] = mapped_column(String(255), nullable=True) |
| patient_id: Mapped[int | None] = mapped_column(Integer, nullable=True) |
| read_at: Mapped[datetime | None] = mapped_column(DateTime(timezone=True), nullable=True) |
| created_at: Mapped[datetime] = mapped_column( |
| DateTime(timezone=True), server_default=func.now(), nullable=False, index=True |
| ) |
|
|
|
|
| class AuditLogEntry(Base): |
| """Append-only record of clinical mutations. |
| |
| Captured automatically by the helper in core.audit. Read-only from |
| the API; only an admin can fetch the list. |
| """ |
|
|
| __tablename__ = "audit_log" |
|
|
| id: Mapped[int] = mapped_column(primary_key=True) |
| actor_id: Mapped[int | None] = mapped_column( |
| ForeignKey("users.id", ondelete="SET NULL"), index=True, nullable=True |
| ) |
| actor_email: Mapped[str | None] = mapped_column(String(255), nullable=True) |
| action: Mapped[str] = mapped_column(String(64), nullable=False) |
| target_kind: Mapped[str] = mapped_column(String(32), nullable=False) |
| target_id: Mapped[str | None] = mapped_column(String(64), nullable=True) |
| summary: Mapped[str | None] = mapped_column(Text, nullable=True) |
| payload: Mapped[dict | None] = mapped_column(JSON, nullable=True) |
| created_at: Mapped[datetime] = mapped_column( |
| DateTime(timezone=True), server_default=func.now(), nullable=False, index=True |
| ) |
|
|
|
|
| class UserPreference(Base): |
| """Per-user dashboard + Jarvis preferences (theme, lang, voice…).""" |
|
|
| __tablename__ = "user_preferences" |
|
|
| user_id: Mapped[int] = mapped_column( |
| ForeignKey("users.id", ondelete="CASCADE"), primary_key=True |
| ) |
| locale: Mapped[str] = mapped_column(String(8), default="en", nullable=False) |
| theme: Mapped[str] = mapped_column(String(16), default="dark", nullable=False) |
| voice_greetings: Mapped[bool] = mapped_column(Boolean, default=False, nullable=False) |
| voice_alerts: Mapped[bool] = mapped_column(Boolean, default=False, nullable=False) |
| auto_select_critical: Mapped[bool] = mapped_column(Boolean, default=True, nullable=False) |
| compact_density: Mapped[bool] = mapped_column(Boolean, default=False, nullable=False) |
| shortcuts_enabled: Mapped[bool] = mapped_column(Boolean, default=True, nullable=False) |
| extras: Mapped[dict | None] = mapped_column(JSON, nullable=True) |
| updated_at: Mapped[datetime] = mapped_column( |
| DateTime(timezone=True), server_default=func.now(), onupdate=func.now(), nullable=False |
| ) |
|
|
