GameTime/.ideai/tickets/14/issue.md

id, number, title, status, priority, sprint, links, agentRefs, createdBy, updatedBy, createdAt, updatedAt, version

id	number	title	status	priority	sprint	links	agentRefs	createdBy	updatedBy	createdAt	updatedAt	version
bf12e886-4849-4095-afc9-aa37c61fa257	14	[DevFrontend] Repos persistant/reprenable + temps réel par série	closed	high	null	target kind #9 relatesTo	agentId role 9933c93a-b8a1-4164-a3bb-7063fdad747d assigned	kind agent_id agent 57695b92-24d0-4876-837c-76116e70a6ae	kind agent_id agent 57695b92-24d0-4876-837c-76116e70a6ae	1784318996196	1784319492849	3

Deux corrections sur lib/presentation/workout_execution_screen.dart, trouvées par QA (ticket #11) :

1. Les ajustements ±15s du minuteur de repos ne sont modifiés qu'en mémoire (_remainingRestSeconds) et jamais re-persistés — après un kill d'app pendant un repos, l'écran redémarre sur l'exercice actif au lieu de reprendre le décompte de repos exact. À l'ouverture de l'écran, il faut relire l'état de repos actif éventuel (listRestStates / le nouveau use case du ticket dédié) et calculer le temps restant depuis les horodatages persistés, pas repartir de zéro.
2. actualTimeMs est toujours enregistré à 0 (ligne ~315) même quand la mesure Temps est active pour la série — il faut chronométrer réellement le temps passé sur la série (depuis son démarrage jusqu'à "Terminer la série") et transmettre cette valeur réelle à recordCurrentSetResult.