semantic update

backend/src/core/auth/repository.py

@@ -32,7 +32,13 @@ class AuthRepository:
     # @DATA_CONTRACT: Input[Session] -> Output[None]
     def __init__(self, db: Session):
         with belief_scope("AuthRepository.__init__"):
+            if not isinstance(db, Session):
+                logger.explore("Invalid session provided to AuthRepository", extra={"type": type(db)})
+                raise TypeError("db must be an instance of sqlalchemy.orm.Session")
+            
+            logger.reason("Binding AuthRepository to database session")
             self.db = db
+            logger.reflect("AuthRepository initialized")
     # [/DEF:__init__:Function]
 
     # [DEF:get_user_by_username:Function]
@@ -43,7 +49,17 @@ class AuthRepository:
     # @DATA_CONTRACT: Input[str] -> Output[Optional[User]]
     def get_user_by_username(self, username: str) -> Optional[User]:
         with belief_scope("AuthRepository.get_user_by_username"):
-            return self.db.query(User).filter(User.username == username).first()
+            if not username or not isinstance(username, str):
+                raise ValueError("username must be a non-empty string")
+            
+            logger.reason(f"Querying user by username: {username}")
+            user = self.db.query(User).filter(User.username == username).first()
+            
+            if user:
+                logger.reflect(f"User found: {username}")
+            else:
+                logger.explore(f"User not found: {username}")
+            return user
     # [/DEF:get_user_by_username:Function]
 
     # [DEF:get_user_by_id:Function]
@@ -54,7 +70,17 @@ class AuthRepository:
     # @DATA_CONTRACT: Input[str] -> Output[Optional[User]]
     def get_user_by_id(self, user_id: str) -> Optional[User]:
         with belief_scope("AuthRepository.get_user_by_id"):
-            return self.db.query(User).filter(User.id == user_id).first()
+            if not user_id or not isinstance(user_id, str):
+                raise ValueError("user_id must be a non-empty string")
+            
+            logger.reason(f"Querying user by ID: {user_id}")
+            user = self.db.query(User).filter(User.id == user_id).first()
+            
+            if user:
+                logger.reflect(f"User found by ID: {user_id}")
+            else:
+                logger.explore(f"User not found by ID: {user_id}")
+            return user
     # [/DEF:get_user_by_id:Function]
 
     # [DEF:get_role_by_name:Function]
@@ -76,10 +102,15 @@ class AuthRepository:
     # @DATA_CONTRACT: Input[User] -> Output[None]
     def update_last_login(self, user: User):
         with belief_scope("AuthRepository.update_last_login"):
+            if not isinstance(user, User):
+                raise TypeError("user must be an instance of User")
+            
             from datetime import datetime
+            logger.reason(f"Updating last login for user: {user.username}")
             user.last_login = datetime.utcnow()
             self.db.add(user)
             self.db.commit()
+            logger.reflect(f"Last login updated and committed for user: {user.username}")
     # [/DEF:update_last_login:Function]
 
     # [DEF:get_role_by_id:Function]
@@ -144,9 +175,14 @@ class AuthRepository:
         preference: UserDashboardPreference,
     ) -> UserDashboardPreference:
         with belief_scope("AuthRepository.save_user_dashboard_preference"):
+            if not isinstance(preference, UserDashboardPreference):
+                raise TypeError("preference must be an instance of UserDashboardPreference")
+            
+            logger.reason(f"Saving dashboard preference for user: {preference.user_id}")
             self.db.add(preference)
             self.db.commit()
             self.db.refresh(preference)
+            logger.reflect(f"Dashboard preference saved and refreshed for user: {preference.user_id}")
             return preference
     # [/DEF:save_user_dashboard_preference:Function]