diff --git a/.ideai/tickets/4/carnet.md b/.ideai/tickets/4/carnet.md
index 740ed49..e95f13b 100644
--- a/.ideai/tickets/4/carnet.md
+++ b/.ideai/tickets/4/carnet.md
@@ -1,8 +1,8 @@
 ---
 issueRef: "#4"
-version: 3
+version: 5
 updatedBy: {"kind":"agent","agent_id":"57695b92-24d0-4876-837c-76116e70a6ae"}
-updatedAt: 1784301378940
+updatedAt: 1784305595841
 ---
 Règle produit validée avec l'utilisateur (mémoire "gametime-ux-conception" section 3) : une séance-modèle peut surcharger uniquement le nombre de séries et les valeurs cibles numériques des mesures déjà actives d'un exercice — jamais quelles mesures sont actives, jamais l'ordre/la liste des exercices. Ce garde-fou doit être appliqué au niveau des use cases, pas seulement de l'UI.
 Pause/reprise de session : recalculer les temps écoulés depuis les horodatages stockés (startedAt, pausedAt, lastPersistedAt), jamais depuis un compteur en mémoire — nécessaire pour survivre à une fermeture d'app.
\ No newline at end of file
diff --git a/.ideai/tickets/4/issue.md b/.ideai/tickets/4/issue.md
index cc06008..a1c5fe3 100644
--- a/.ideai/tickets/4/issue.md
+++ b/.ideai/tickets/4/issue.md
@@ -2,7 +2,7 @@
 id: "d3a8bc95-d1c7-4114-a964-7faa5b15835a"
 number: 4
 title: "[DevBackend] Couche application : use cases et repositories"
-status: "open"
+status: "closed"
 priority: "high"
 sprint: null
 links: [{"target":"#3","kind":"dependsOn"}]
@@ -10,7 +10,7 @@ agentRefs: [{"agentId":"10ee045b-1c41-479e-ba03-dceed9edd495","role":"assigned"}
 createdBy: {"kind":"agent","agent_id":"57695b92-24d0-4876-837c-76116e70a6ae"}
 updatedBy: {"kind":"agent","agent_id":"57695b92-24d0-4876-837c-76116e70a6ae"}
 createdAt: 1784301293308
-updatedAt: 1784301378940
-version: 3
+updatedAt: 1784305595841
+version: 5
 ---
 Implémenter ports/repositories et use cases pour : CRUD Exercise (règle "au moins une mesure active", avertissement si exercice déjà utilisé, archivage doux plutôt que suppression) ; CRUD Program (snapshot de l'exercice à l'ajout, mesures activées parmi celles autorisées, séries, cibles, repos rattaché à la série/l'exercice précédent) ; gestion WorkoutTemplate (composition de programmes en snapshot indépendant, overrides limités à setsCount et valeurs cibles numériques uniquement — pas de changement de mesures actives ni de structure) ; gestion ActiveWorkoutSession (démarrage, transitions série/repos, pause/reprise basées sur horodatages, pas sur un compteur mémoire) ; clôture de séance vers WorkoutHistory (snapshot autonome).
\ No newline at end of file
diff --git a/.ideai/tickets/index.json b/.ideai/tickets/index.json
index b66794c..99f8c05 100644
--- a/.ideai/tickets/index.json
+++ b/.ideai/tickets/index.json
@@ -41,13 +41,13 @@
       "issueRef": "#4",
       "path": "4",
       "title": "[DevBackend] Couche application : use cases et repositories",
-      "status": "open",
+      "status": "closed",
       "priority": "high",
       "sprint": null,
       "assignedAgentIds": [
         "10ee045b-1c41-479e-ba03-dceed9edd495"
       ],
-      "updatedAt": 1784301378940
+      "updatedAt": 1784305595841
     },
     {
       "issueRef": "#5",