Programme minimal de consolidation — version 2027 Détail d’exécution du livrable L3 Livrable L3 Code NUE en open source et suite de benchmarks Plan détaillé d’écriture et protocole de vérification Document mère Programme de consolidation, version 2027 (§4) Fenêtre T2–T3 2027 (six mois) Dépendances L2 (équations dimensionnellement fermées) Sorties attendues Dépôt public, CI verte, 5 benchmarks documentés Principe directeur. L3 rend le niveau discret du modèle falsifiable par exécution : quiconque installe le dépôt et lance la suite doit obtenir, bit pour bit (aux tolérances numériques déclarées près), les résultats publiés. Un résultat qui ne se reproduit pas sur la machine d’un inconnu n’existe pas. L3 — Code NUE open source : écriture et vérification 1 Table des matières 1 Positionnement et thèse du livrable 2 1.1 Ce que L3 doit produire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.2 Ce que L3 ne doit pas faire . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2 Architecture du dépôt 2 2.1 Structure en quatre modules . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2.2 Intégration temporelle : le splitting comme démonstration . . . . . . . . . . . […]