"""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")