A runtime-independent architecture that separates a continuity-bearing substrate $P_t=(I_t,M_t,B_t)$ from replaceable execution and interaction bindings is presented, which support mechanical continuity for the tested deployments and bounded workflows.
Abstract
Long-lived AI agents may replace their models, orchestration harnesses, interaction surfaces and hosts while retaining identity, memory and executable body lineage. We present a runtime-independent architecture that separates a continuity-bearing substrate $P_t=(I_t,M_t,B_t)$ from replaceable execution and interaction bindings. Six continuity invariants and a quiesce--checkpoint--validate--bind--rehydrate--resume protocol govern state preservation, capability changes and continuation authority. Enoch implements the design through a reusable software body, private installed state, provider contracts and fenced migration. We report complementary evidence from frozen implementation snapshots and three kinds of live study. An operational case retains an established instance's identity, nonempty memory, body revision and historical task IDs across host, joint Codex-to-Claude model/harness, and chat-surface substitutions. A separate cross-host task resumes from a verified artifact checkpoint. A supervised Codex--Muse--Codex study completes five ordinary round trips and five matched same-runtime controls on their first attempts after a separate qualification run. A planned worker interruption recovers through the native task API with the checkpoint preserved, a stale reply rejected and one task completion recorded. These results support mechanical continuity for the tested deployments and bounded workflows. They do not establish behavioral equivalence, arbitrary-task portability, general exactly-once external effects or unattended reliability.
Metis, a multi-provider runtime that converts provider streams into typed events before admitted calls reach external effects is presented, a multi-provider runtime that converts provider streams into typed events before admitted calls reach external effects.
A contract-bounded runtime architecture, a source-preserving data substrate, and a falsifiable measurement protocol are contributed, which proposes a cluster-period randomized crossover experiment with a four-state verdict: supported, falsified, conditional-engineering, or inconclusive.
Ya-Xiao Liu, Peng Liu, Yi-Wen Liu et al.· 0 citations
TRACE is presented, a training-free layer that treats re-entry as an eligibility decision rather than a storage or retrieval operation, reconciling a departure checkpoint against absence-period updates, resolving explicit and implicit invalidation, and releasing a bounded Return View only when it covers the returning r...
Wen-Jun Xiong, Shengtao Zhang, Shangding Gu et al.· 0 citations
Operating systems must evolve continuously. Yet their development remains code-centric and largely manual: even a localized change can require recovering implicit assumptions, coordinating multiple subsystems, and repeatedly building, booting, testing, and debugging the complete system. General-purpose coding agents au...
Heng Zhang, Qing-Yuan Liu, Mo Zou et al.· 0 citations
AI agents are stateless across sessions by default and therefore operationally amnesic: each session begins with little durable knowledge of prior failures, repairs, preferences, or successful strategies. As a result, agents repeat the same mistakes and discard hard-won experience. The dominant fix is \emph{bespoke mem...
K. Jayaram, Vatche Isahagian, Vinod Muthusamy et al.· 0 citations
GPM is introduced, an auditable bitemporal state-transition model with source-bound admission, derived lifecycle state, current public barriers, and fail-closed structured release with bounded contract and implementation results, not open-world model accuracy or evidence of world truth.
Guodong Xu· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.