Programme minimal de consolidation — version 2027 Annexe A au programme Annexe A Séance de vérification machine D1–D5 Premier passage des livrables L1–L4 à la machine Document mère Programme de consolidation, version 2027 Date de la séance 30 juillet 2026 Matériel exécuté Notebook joint (verification_D1_D5.ipynb) Statut Annexe auditable — tout résultat est rejouable Principe directeur. Cette annexe rapporte ce que la machine a tranché — y compris contre l’espoir initial de la séance. Chaque verdict est binaire (PASS/FAIL), reproduit par le notebook joint, et toute présentation antérieure moins stricte des mêmes calculs est explicitement révisée ici. L’annexe est elle-même un objet du programme : elle démontre, sur son propre exemple, la procédure de vérification que les plans L1–L4 décrivent. Annexe A — Séance de vérification machine D1–D5 1 Table des matières 1 Objet et méthode de la séance 2 2 D1 et D2 — Audit dimensionnel symbolique 2 2.1 Méthode . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2.2 Verdicts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 3 D3 — Stabilité de l’intégrateur NUE 2 3.1 Méthode . . . . . . . […]