Un article propose un contrat de conformité pour la reprise des workflows

Un nouvel article publié sur arXiv propose RESUME CONTRACT, un contrat vérifiable par machine pour le comportement de checkpoint, d’interruption et de reprise dans les couches de persistance des workflows. Le contrat définit six propriétés d’API de persistance, ainsi que des obligations liées à l’intention de bifurcation et à la vivacité, et les auteurs valident une sémantique de référence avec un modèle TLA+ couvrant 7,4 millions d’états. À l’aide d’un banc d’essai déterministe, sans LLM, sur des versions épinglées, l’article fait état de comportements de reprise différents et parfois incohérents dans cinq frameworks de workflows d’agents largement déployés.