Les agents d'IA à longue durée de vie peuvent remplacer leurs modèles, leurs harnais d'orchestration, leurs surfaces d'interaction et leurs hôtes tout en devant conserver leur identité, leur mémoire et la lignée de leur corps exécutable. Dans la pratique actuelle, ces éléments sont enchevêtrés avec le runtime, si bien qu'un remplacement signifie reconstruire l'agent de zéro.
La conception sépare un substrat porteur de continuité P_t=(I_t, M_t, B_t) des liaisons d'exécution et d'interaction remplaçables. Six invariants de continuité et un protocole quiesce-checkpoint-validate-bind-rehydrate-resume régissent la préservation de l'état, les changements de capacités et l'autorité de continuation ; Enoch met en œuvre la conception au moyen d'un corps logiciel réutilisable, d'un état privé installé, de contrats de fournisseur et d'une migration clôturée.
Les preuves sont mécaniques et délibérément circonscrites : un cas opérationnel a conservé l'identité d'une instance établie, une mémoire non vide, une révision de corps et des identifiants de tâches historiques à travers un changement d'hôte, un remplacement conjoint de modèle et de harnais de Codex à Claude, et une substitution de surface de discussion ; une tâche inter-hôtes a repris à partir d'un point de contrôle d'artefact vérifié ; et une étude supervisée Codex-Muse-Codex a accompli cinq allers-retours ordinaires et cinq contrôles appariés à runtime identique lors de leurs premières tentatives.
Une interruption planifiée d'un travailleur a été récupérée via l'API de tâches native, le point de contrôle étant préservé, une réponse périmée rejetée et une seule fin de tâche enregistrée. Les auteurs affirment que ces résultats établissent une continuité mécanique pour les déploiements et les flux de travail bornés testés — non l'équivalence comportementale, la portabilité vers des tâches arbitraires, ni la fiabilité sans surveillance.
Faire de l'agent un substrat P_t = (identité, mémoire, corps) que les runtimes empruntent, déplacé via un protocole quiesce-checkpoint-validate-bind-rehydrate-resume
Les invariants de continuité rendent « le même agent » vérifiable au lieu d'être simplement affirmé.
La validation au moment de la liaison détecte les changements de capacités avant que l'agent ne reprenne le travail.
La migration clôturée limite ce qu'un nouveau runtime peut faire à l'ancien état.
Les tâches avec point de contrôle permettent à un agent interrompu de reprendre sans dupliquer les effets — une réponse périmée a été rejetée et exactement une fin enregistrée.
Traiter « quel modèle exécute l'agent » comme une pièce remplaçable. Si l'identité et la mémoire vivent en dehors du runtime, remplacer le modèle devient une maintenance de routine plutôt qu'un recommencement.
Suites
Les artefacts publics se trouvent à github.com/our-ark/enoch-muse-runtime. La version 2 (septembre 2026) a ajouté les migrations Claude/hôte/surface, les tâches avec point de contrôle, les contrôles et les preuves de récupération après panne ; les auteurs circonscrivent explicitement leurs affirmations aux flux de travail bornés.
VÉRIFIEZ LES SOURCES
Les sources
- Runtime-Independent Persistent Agents: Preserving Identity, Memory, and Code Across Models, Harnesses, and Servers arXiv Software Engineering · arxiv.org ·