semantic markup update

backend/src/core/task_manager/persistence.py

@@ -26,12 +26,15 @@ class TaskPersistenceService:
     # @PRE:     None.
     # @POST:    Service is ready.
     def __init__(self):
-        # We use TasksSessionLocal from database.py
-        pass
+        with belief_scope("TaskPersistenceService.__init__"):
+            # We use TasksSessionLocal from database.py
+            pass
     # [/DEF:__init__:Function]
 
     # [DEF:persist_task:Function]
     # @PURPOSE: Persists or updates a single task in the database.
+    # @PRE:     isinstance(task, Task)
+    # @POST:    Task record created or updated in database.
     # @PARAM:   task (Task) - The task object to persist.
     def persist_task(self, task: Task) -> None:
         with belief_scope("TaskPersistenceService.persist_task", f"task_id={task.id}"):
@@ -75,14 +78,19 @@ class TaskPersistenceService:
 
     # [DEF:persist_tasks:Function]
     # @PURPOSE: Persists multiple tasks.
+    # @PRE:     isinstance(tasks, list)
+    # @POST:    All tasks in list are persisted.
     # @PARAM:   tasks (List[Task]) - The list of tasks to persist.
     def persist_tasks(self, tasks: List[Task]) -> None:
-        for task in tasks:
-            self.persist_task(task)
+        with belief_scope("TaskPersistenceService.persist_tasks"):
+            for task in tasks:
+                self.persist_task(task)
     # [/DEF:persist_tasks:Function]
 
     # [DEF:load_tasks:Function]
     # @PURPOSE: Loads tasks from the database.
+    # @PRE:     limit is an integer.
+    # @POST:    Returns list of Task objects.
     # @PARAM:   limit (int) - Max tasks to load.
     # @PARAM:   status (Optional[TaskStatus]) - Filter by status.
     # @RETURN:  List[Task] - The loaded tasks.
@@ -128,6 +136,8 @@ class TaskPersistenceService:
 
     # [DEF:delete_tasks:Function]
     # @PURPOSE: Deletes specific tasks from the database.
+    # @PRE:     task_ids is a list of strings.
+    # @POST:    Specified task records deleted from database.
     # @PARAM:   task_ids (List[str]) - List of task IDs to delete.
     def delete_tasks(self, task_ids: List[str]) -> None:
         if not task_ids: