11. Preuve de couverture
Le contrôle final a réconcilié les 12 éléments officiels avec leurs sources locales et avec les sections ci-dessus. Les 63 divisions substantielles comprennent les sections de la page Description et de l’activité découverte, les progressions propres aux quatre vidéos, ainsi que les sections conceptuelles, exemples et corrigés des six PDF. Pour la vidéo de 41 min 8 s, cinq intervalles chronologiques d’au plus dix minutes ont été vérifiés séparément : introduction et théorie des graphes; définition et tic-tac-toe; formalisation et bidons; fermier, opérations et solution; conclusion.
- Éléments officiels : 12 sur 12 représentés.
- Divisions substantielles : 63 sur 63 traitées ou intégrées par renvoi explicite.
- Lacunes inexpliquées : 0.
- Exclusions intentionnelles : les quatre mini-exemples graphiques du diaporama (blocs, amitié, déplacement de blocs et trajet routier) sont condensés dans l’explication générale nœud/état et arc/opération; ils n’ajoutent ni méthode, ni contrainte, ni exception au formalisme. Les répétitions orales et les transitions sans contenu d’étude ont également été omises.
- Limite résiduelle : les transcriptions sont automatiques et non révisées mot à mot; les points techniques, exemples, formules et corrigés ont été recoupés avec les PDF et les sommaires individuels.