Preuves d'ingénierie et automatisation maîtrisée

Les machines conviennent bien aux contrôles explicites et répétables :

• détecter les identifiants manquants et les entrées en double ;
• comparer des versions et des tableaux structurés ;
• vérifier les valeurs autorisées, les unités et les conventions de nommage ;
• vérifier l'existence des fichiers ou objets référencés ;
• générer des synthèses de traçabilité et de couverture ;
• extraire les résultats d'essais et produire des rapports cohérents ;
• reconstruire figures et tableaux à partir de données maîtrisées.

Ces contrôles peuvent être exécutés fréquemment et produire une trace stable. Ils réduisent l'attention consacrée aux incohérences mécaniques.

L'automatisation ne peut pas déterminer par la seule syntaxe si une exigence est nécessaire, si un essai couvre réellement son intention, si une anomalie est acceptable ou si une preuve étaye une affirmation de sécurité. Ces conclusions dépendent du contexte, des connaissances métier, des hypothèses et de la responsabilité.

Un tableau de bord affichant 100 % de couverture peut masquer des liens faibles ou dénués de sens. Une pipeline verte prouve que les règles codées ont été satisfaites ; elle ne prouve pas que ces règles étaient suffisantes.

Un outil d'ingénierie devrait rendre visibles :

• ses entrées acceptées et son modèle de données ;
• les règles de validation et leur justification ;
• des sorties déterministes lorsque c'est possible ;
• des messages d'erreur précis et un état d'échec explicite ;
• la version du logiciel et sa configuration ;
• des tests automatisés pour les transformations critiques ;
• un moyen d'inspecter les résultats intermédiaires.

La correction silencieuse est généralement dangereuse. Lorsque les données sources sont ambiguës, l'outil doit signaler cette ambiguïté plutôt qu'inventer une valeur plausible.

Les modèles de langage peuvent aider à classer, rechercher, résumer ou rédiger des éléments techniques, mais une sortie probabiliste exige une stratégie de contrôle différente. Les affirmations générées doivent rester reliées aux preuves sources, et les décisions à fort impact doivent pouvoir être revues par une personne responsable.

L'usage prometteur se situe à la frontière entre information non structurée et structurée. L'usage dangereux consiste à transformer une suggestion opaque en conclusion d'ingénierie approuvée simplement parce qu'elle est formulée avec aisance.

La meilleure automatisation concentre l'attention humaine sur les parties qui requièrent du jugement. Elle ne supprime pas la revue ; elle la rend plus ciblée, traçable et techniquement pertinente.