Un artículo propone un contrato de conformidad para reanudar flujos de trabajo

Un nuevo artículo en arXiv propone RESUME CONTRACT, un contrato verificable por máquina para el comportamiento de checkpoint, interrupción y reanudación en capas de persistencia de flujos de trabajo. El contrato define seis propiedades de API de persistencia, además de obligaciones de intención de bifurcación y vivacidad, y los autores comprueban una semántica de referencia con un modelo TLA+ que cubre 7,4 millones de estados. Mediante un arnés determinista, sin LLM y con versiones fijadas, el artículo informa de comportamientos de reanudación distintos y a veces incoherentes en cinco frameworks de flujos de trabajo de agentes ampliamente desplegados.