01 / conception
Conception.
Définissez la tâche, les limites de l'environnement, les outils disponibles et les prédicats de réussite.
Contrat de tâche et de réception
04 / de l'intention à la preuve
Méthodologie de vérification
Un épisode n'est admis que lorsque ses vérifications de schéma, de réinitialisation, de rediffusion, de vérificateur et de provenance réussissent. Une porte défaillante reste une porte défaillante.
La séquence ci-dessous explique la méthode de production. Les preuves de production exécutées et le modèle de processus illustratif sont identifiés séparément.
01 / conception
Définissez la tâche, les limites de l'environnement, les outils disponibles et les prédicats de réussite.
Contrat de tâche et de réception
02 / générer
Construisez un état initial versionné à partir d’entrées contrôlées et d’une graine enregistrée.
État initial et dépendances
03 / exécuter
Enregistrez les transitions réelles et les résultats des outils sous les contraintes convenues.
Trajectoire de référence
04 / échec
Retenir une interruption concrète et ses preuves. Une affaire échouée ne devient jamais silencieusement un succès.
État de défaillance et motif du rejet
05 / récupérer
Exécuter les actions qui rétablissent la progression ; gardez la récupération séparée du chemin de référence.
Trajectoire de récupération
06 / vérifier
Vérifiez le schéma, réinitialisez, rejouez, vérifiez l'état final et la provenance.
Porte d'acceptation
07 / livrer
Regroupez uniquement les enregistrements acceptés avec la version, la limite des droits et les interfaces reproductibles.
Package de livraison versionné
Convenez de la tâche, de l’interface d’action et du prédicat de réussite.
Entrées et états initiaux contrôlés par version.
Enregistrez les actions, les transitions, les échecs et les récupérations.
Appliquez les portes de schéma, de réinitialisation, de relecture, de vérification et de provenance.
Publier les documents acceptés avec leurs preuves et leurs limites de droits.
L’échec et la récupération appartiennent à l’exécution. Un résultat n’est admis que lorsque les contrôles requis sont réussis.