Objet
Cette référence traite de **Laboratoires reproductibles hors ligne** dans le domaine « Academy, communauté et contribution », sous la forme « Exécuter la vérification ». Elle vise à décrire une séquence observable et ses critères d’acceptation afin de permettre l’apprentissage sans téléchargement implicite. Elle s’applique à HexaOS 3.0.0-rc1 et doit être adaptée à l’édition et à l’artefact explicitement étudiés.
État de référence
Au snapshot du 20 août 2026, huit éditions sur treize sont qualifiées et le verdict global demeure NO-GO. Ce compteur est une photographie de campagne, pas une propriété durable du document. Core, Community, Pro Server, Education, Live, Installer, Offline Full et Recovery composent le groupe qualifié à cette date. Toute republication après évolution de RC23 doit régénérer ce passage depuis la source de vérité.
Prérequis
1. Relever version produit, édition, identifiant de build, nom et empreinte complète de l’artefact.
2. Décrire l’environnement : machine ou hyperviseur, firmware, stockage, réseau et ressources pertinentes.
3. Préparer un état initial reproductible et conserver une méthode de retour arrière.
4. Définir le résultat attendu, le résultat interdit et le code de retour correspondant.
5. Utiliser uniquement des données de test et prévoir l’expurgation des traces.
Procédure de référence
Commencer par décrire une séquence observable et ses critères d’acceptation. Ensuite, inventorier données, dépendances, durée, état initial et nettoyage. Exécuter les actions une par une, sans réécrire les journaux ni remplacer un échec par une interprétation. Lorsque le scénario dépend de l’état runtime, redémarrer dans les conditions prévues puis reproduire l’observation. Conserver l’heure, la commande, sa sortie expurgée et son code final.
Preuves attendues
•identité non ambiguë de l’artefact et de l’environnement ;
•préconditions et configuration minimales nécessaires ;
•suite d’actions reproductible, y compris les refus attendus ;
•résultat observé comparé au critère défini avant le test ;
•traces expurgées, empreintes et verdict limité au scénario ;
•nouvelle exécution après toute modification susceptible d’affecter le résultat.
Diagnostic
En cas d’écart, arrêter l’élargissement du périmètre. Vérifier d’abord l’identité du candidat, puis les préconditions, la première étape divergente et le code de retour. Distinguer un problème de harnais, de configuration, d’environnement et de produit. Un timeout, une sortie absente ou un marqueur produit par la commande de test ne constitue pas une réussite.
Frontière de sécurité et de verdict
Une ressource tierce exige licence et attribution compatibles. Ne publier ni secret, ni donnée personnelle, ni adresse interne, ni chemin de poste. La réussite de cette procédure reste locale à l’artefact et au contexte décrits. Le statut global RC23 demeure NO-GO au snapshot et doit prévaloir sur tout résumé plus optimiste.
Complément R2 — Maintenance et non-régression
Cette procédure applique « Exécuter la vérification — Laboratoires reproductibles hors ligne » pour définir les contrôles à rejouer après une modification de source, de configuration ou d’artefact. Elle ne change ni l’identité des treize éditions, ni le snapshot RC23, ni le verdict NO-GO.
Enregistrement minimal
Conserver diff de configuration, nouveau hash, historique de gate, résultat comparé et décision explicite. Relier chaque observation à HexaOS 3.0.0-rc1, au build et au SHA-256 exacts. Séparer les résultats obtenus sous virtualisation des validations réalisées sur matériel.
Condition d’arrêt
Arrêter et classer la gate PENDING ou FAIL dès qu’une précondition, une identité ou une preuve manque : toute modification pertinente invalide la preuve antérieure jusqu’à sa réexécution. Corriger, reconstruire l’artefact si nécessaire, puis rejouer le scénario complet avant toute nouvelle décision.