Files
GameTime/.ideai/tickets/13/issue.md

1.0 KiB

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
da27e09c-79d2-43fa-90e5-3e8ef32e789f 13 [DevBackend] Use cases de persistance et reprise du minuteur de repos closed high null
target kind
#9 relatesTo
agentId role
10ee045b-1c41-479e-ba03-dceed9edd495 assigned
kind agent_id
agent 57695b92-24d0-4876-837c-76116e70a6ae
kind agent_id
agent 57695b92-24d0-4876-837c-76116e70a6ae
1784318990378 1784319234004 3

Ajouter les use cases manquants pour que l'ajustement du minuteur de repos (±15s) soit persisté et que l'écran d'exécution puisse retrouver l'état de repos en cours après une fermeture d'app. lib/application/use_cases.dart expose déjà startRestAfterSet, mais aucun moyen de mettre à jour adjustedRestSeconds ou de marquer skippedAt après création. Le repository (lib/application/ports.dart / lib/infrastructure/local/drift_repositories.dart) expose déjà saveRestState et listRestStates — à réutiliser.