119 lines
4.0 KiB
Python
119 lines
4.0 KiB
Python
"""initial schema: users, access_tokens, lessons, student_progress
|
|
|
|
Revision ID: 0001
|
|
Revises:
|
|
Create Date: 2026-08-05
|
|
"""
|
|
|
|
from alembic import op
|
|
import sqlalchemy as sa
|
|
|
|
revision = "0001"
|
|
down_revision = None
|
|
branch_labels = None
|
|
depends_on = None
|
|
|
|
|
|
def upgrade() -> None:
|
|
op.create_table(
|
|
"users",
|
|
sa.Column("id", sa.String(36), primary_key=True),
|
|
sa.Column("display_name", sa.String(255), nullable=False),
|
|
sa.Column("role", sa.String(10), nullable=False),
|
|
sa.Column("is_active", sa.Boolean(), nullable=False, server_default=sa.true()),
|
|
sa.Column(
|
|
"created_at",
|
|
sa.DateTime(timezone=True),
|
|
nullable=False,
|
|
server_default=sa.func.now(),
|
|
),
|
|
sa.Column(
|
|
"updated_at",
|
|
sa.DateTime(timezone=True),
|
|
nullable=False,
|
|
server_default=sa.func.now(),
|
|
),
|
|
sa.CheckConstraint("role IN ('teacher','student')", name="ck_users_role"),
|
|
)
|
|
op.create_table(
|
|
"access_tokens",
|
|
sa.Column("id", sa.String(36), primary_key=True),
|
|
sa.Column("token_hash", sa.String(64), nullable=False),
|
|
sa.Column(
|
|
"user_id",
|
|
sa.String(36),
|
|
sa.ForeignKey("users.id", ondelete="CASCADE"),
|
|
nullable=False,
|
|
),
|
|
sa.Column("revoked_at", sa.DateTime(timezone=True), nullable=True),
|
|
sa.Column("last_used_at", sa.DateTime(timezone=True), nullable=True),
|
|
sa.Column(
|
|
"created_at",
|
|
sa.DateTime(timezone=True),
|
|
nullable=False,
|
|
server_default=sa.func.now(),
|
|
),
|
|
sa.UniqueConstraint("token_hash", name="uq_access_tokens_token_hash"),
|
|
)
|
|
op.create_index("ix_access_tokens_token_hash", "access_tokens", ["token_hash"])
|
|
op.create_index("ix_access_tokens_user_id", "access_tokens", ["user_id"])
|
|
op.create_table(
|
|
"lessons",
|
|
sa.Column("id", sa.String(36), primary_key=True),
|
|
sa.Column("slug", sa.String(255), nullable=False),
|
|
sa.Column("title", sa.String(255), nullable=False),
|
|
sa.Column("order_index", sa.Integer(), nullable=False, server_default="0"),
|
|
sa.Column("is_active", sa.Boolean(), nullable=False, server_default=sa.true()),
|
|
sa.Column(
|
|
"created_at",
|
|
sa.DateTime(timezone=True),
|
|
nullable=False,
|
|
server_default=sa.func.now(),
|
|
),
|
|
sa.Column(
|
|
"updated_at",
|
|
sa.DateTime(timezone=True),
|
|
nullable=False,
|
|
server_default=sa.func.now(),
|
|
),
|
|
sa.UniqueConstraint("slug", name="uq_lessons_slug"),
|
|
)
|
|
op.create_index("ix_lessons_slug", "lessons", ["slug"])
|
|
op.create_table(
|
|
"student_progress",
|
|
sa.Column("id", sa.String(36), primary_key=True),
|
|
sa.Column(
|
|
"user_id",
|
|
sa.String(36),
|
|
sa.ForeignKey("users.id", ondelete="CASCADE"),
|
|
nullable=False,
|
|
),
|
|
sa.Column(
|
|
"lesson_id",
|
|
sa.String(36),
|
|
sa.ForeignKey("lessons.id", ondelete="CASCADE"),
|
|
nullable=False,
|
|
),
|
|
sa.Column("state", sa.String(20), nullable=False, server_default="not_started"),
|
|
sa.Column("score_earned", sa.Integer(), nullable=True),
|
|
sa.Column("score_total", sa.Integer(), nullable=True),
|
|
sa.Column(
|
|
"updated_at",
|
|
sa.DateTime(timezone=True),
|
|
nullable=False,
|
|
server_default=sa.func.now(),
|
|
),
|
|
sa.CheckConstraint(
|
|
"state IN ('not_started','completed','scored')", name="ck_student_progress_state"
|
|
),
|
|
sa.UniqueConstraint("user_id", "lesson_id", name="uq_student_progress_user_lesson"),
|
|
)
|
|
op.create_index("ix_student_progress_user_id", "student_progress", ["user_id"])
|
|
|
|
|
|
def downgrade() -> None:
|
|
op.drop_table("student_progress")
|
|
op.drop_table("lessons")
|
|
op.drop_table("access_tokens")
|
|
op.drop_table("users")
|