Chapitre B01
Piloter un système, pas une génération de code
Revenir à la lecture accessibleDans ce chapitre
Nouveau dans cette édition : évaluer ou acquérir le socle de programmation avant de poursuivre. Ce passage reste facultatif pour un lecteur déjà autonome.
Ce que tu sauras faire
Formaliser le système de contrôle entourant un agent et ses limites de garantie.
Première synthèse
Le harnais est un système de contrôle : il sélectionne le contexte, autorise certaines actions, observe leurs effets et décide du passage à l'étape suivante. La génération peut varier ; les critères d'acceptation doivent rester identifiables. Dire que le harnais est déterministe ne suffit pas à établir la correction du programme qu'il accepte.
Pour la réception d'un fichier, le modèle d'état sépare au minimum la session créée, le transfert en cours, la réception complète et la validation métier. Chaque transition possède un acteur autorisé, une précondition et une trace observable. Le passage de reçu à utilisable exige une preuve distincte de la seule réussite de la requête HTTP.
Les contrôles portent aussi sur l'agent : droits du processus, ressources accessibles, budget et opérations externes. Une consigne textuelle exprime la politique ; elle ne remplace pas son application dans les outils et l'environnement. La revue doit donc examiner à la fois le changement produit et le dispositif qui a permis de le produire.
Déroulé prévu
- État, transitions, entrées-sorties et effets de bord.
- Boucles de rétroaction : observation, action et validation.
- Politiques d'autorisation et barrières effectivement appliquées.
- Budget d'itération, conditions d'arrêt et preuve de livraison.
Mise en pratique
Décrire la machine à états d'une mission et les contrôles empêchant une publication hors périmètre.
Critère de réussite
Chaque transition indique son autorité, son observation et sa condition d'arrêt.
Sources et limites
O-MD §1, §4, §5 ; I-MD §1, §9.5 .
Cette amorce est une synthèse éditoriale, pas la preuve d'une implémentation exécutée. Les rectifications et vérifications externes sont consignées dans le registre critique . Les exemples techniques restent à développer et à tester dans la tranche.