L'environnement d'exécution enregistre les choix d'exécution susceptibles de varier, afin que les validateurs puissent reproduire le chemin accepté.