feat: Implement user profile preferences for start page, Git identity, and task drawer auto-open, alongside Git server default branch configuration.

backend/src/core/database.py

@@ -11,7 +11,7 @@
 # @INVARIANT: A single engine instance is used for the entire application.
 
 # [SECTION: IMPORTS]
-from sqlalchemy import create_engine
+from sqlalchemy import create_engine, inspect, text
 from sqlalchemy.orm import sessionmaker
 from ..models.mapping import Base
 # Import models to ensure they're registered with Base
@@ -21,7 +21,7 @@ from ..models import config as _config_models  # noqa: F401
 from ..models import llm as _llm_models  # noqa: F401
 from ..models import assistant as _assistant_models  # noqa: F401
 from ..models import profile as _profile_models  # noqa: F401
-from .logger import belief_scope
+from .logger import belief_scope, logger
 from .auth.config import auth_config
 import os
 from pathlib import Path
@@ -95,6 +95,104 @@ TasksSessionLocal = sessionmaker(autocommit=False, autoflush=False, bind=tasks_e
 AuthSessionLocal = sessionmaker(autocommit=False, autoflush=False, bind=auth_engine)
 # [/DEF:AuthSessionLocal:Class]
 
+# [DEF:_ensure_user_dashboard_preferences_columns:Function]
+# @PURPOSE: Applies additive schema upgrades for user_dashboard_preferences table.
+# @PRE: bind_engine points to application database where profile table is stored.
+# @POST: Missing columns are added without data loss.
+def _ensure_user_dashboard_preferences_columns(bind_engine):
+    with belief_scope("_ensure_user_dashboard_preferences_columns"):
+        table_name = "user_dashboard_preferences"
+        inspector = inspect(bind_engine)
+        if table_name not in inspector.get_table_names():
+            return
+
+        existing_columns = {
+            str(column.get("name") or "").strip()
+            for column in inspector.get_columns(table_name)
+        }
+
+        alter_statements = []
+        if "git_username" not in existing_columns:
+            alter_statements.append(
+                "ALTER TABLE user_dashboard_preferences ADD COLUMN git_username VARCHAR"
+            )
+        if "git_email" not in existing_columns:
+            alter_statements.append(
+                "ALTER TABLE user_dashboard_preferences ADD COLUMN git_email VARCHAR"
+            )
+        if "git_personal_access_token_encrypted" not in existing_columns:
+            alter_statements.append(
+                "ALTER TABLE user_dashboard_preferences "
+                "ADD COLUMN git_personal_access_token_encrypted VARCHAR"
+            )
+        if "start_page" not in existing_columns:
+            alter_statements.append(
+                "ALTER TABLE user_dashboard_preferences "
+                "ADD COLUMN start_page VARCHAR NOT NULL DEFAULT 'dashboards'"
+            )
+        if "auto_open_task_drawer" not in existing_columns:
+            alter_statements.append(
+                "ALTER TABLE user_dashboard_preferences "
+                "ADD COLUMN auto_open_task_drawer BOOLEAN NOT NULL DEFAULT TRUE"
+            )
+        if "dashboards_table_density" not in existing_columns:
+            alter_statements.append(
+                "ALTER TABLE user_dashboard_preferences "
+                "ADD COLUMN dashboards_table_density VARCHAR NOT NULL DEFAULT 'comfortable'"
+            )
+
+        if not alter_statements:
+            return
+
+        try:
+            with bind_engine.begin() as connection:
+                for statement in alter_statements:
+                    connection.execute(text(statement))
+        except Exception as migration_error:
+            logger.warning(
+                "[database][EXPLORE] Profile preference additive migration failed: %s",
+                migration_error,
+            )
+# [/DEF:_ensure_user_dashboard_preferences_columns:Function]
+
+
+# [DEF:_ensure_git_server_configs_columns:Function]
+# @PURPOSE: Applies additive schema upgrades for git_server_configs table.
+# @PRE: bind_engine points to application database.
+# @POST: Missing columns are added without data loss.
+def _ensure_git_server_configs_columns(bind_engine):
+    with belief_scope("_ensure_git_server_configs_columns"):
+        table_name = "git_server_configs"
+        inspector = inspect(bind_engine)
+        if table_name not in inspector.get_table_names():
+            return
+
+        existing_columns = {
+            str(column.get("name") or "").strip()
+            for column in inspector.get_columns(table_name)
+        }
+
+        alter_statements = []
+        if "default_branch" not in existing_columns:
+            alter_statements.append(
+                "ALTER TABLE git_server_configs ADD COLUMN default_branch VARCHAR NOT NULL DEFAULT 'main'"
+            )
+
+        if not alter_statements:
+            return
+
+        try:
+            with bind_engine.begin() as connection:
+                for statement in alter_statements:
+                    connection.execute(text(statement))
+        except Exception as migration_error:
+            logger.warning(
+                "[database][EXPLORE] GitServerConfig preference additive migration failed: %s",
+                migration_error,
+            )
+# [/DEF:_ensure_git_server_configs_columns:Function]
+
+
 # [DEF:init_db:Function]
 # @PURPOSE: Initializes the database by creating all tables.
 # @PRE: engine, tasks_engine and auth_engine are initialized.
@@ -105,6 +203,8 @@ def init_db():
         Base.metadata.create_all(bind=engine)
         Base.metadata.create_all(bind=tasks_engine)
         Base.metadata.create_all(bind=auth_engine)
+        _ensure_user_dashboard_preferences_columns(engine)
+        _ensure_git_server_configs_columns(engine)
 # [/DEF:init_db:Function]
 
 # [DEF:get_db:Function]