Enochはエージェントのアイデンティティをモデル、ハーネス、ホストをまたいでライブマイグレーションのように移動させる

長期間稼働するAIエージェントは、アイデンティティ、メモリ、実行可能なボディの系譜を保持する必要がありながら、モデル、オーケストレーションハーネス、対話インターフェース、ホストを交換することがある。現在の実践ではこれらはランタイムと絡み合っているため、交換とはエージェントをゼロから再構築することを意味する。

この設計は、連続性を担う基盤 P_t=(I_t, M_t, B_t) を、交換可能な実行および対話のバインディングから分離する。6つの連続性不変条件と、quiesce（静止化）・checkpoint（チェックポイント）・validate（検証）・bind（バインド）・rehydrate（再水和）・resume（再開）というプロトコルが、状態の保存、能力の変化、継続の権限を統制する。Enochはこの設計を、再利用可能なソフトウェアボディ、プライベートなインストール済み状態、プロバイダ契約、フェンス付きマイグレーションを通じて実装している。

証拠は機械的なものであり、意図的に範囲を限定している。運用事例では、ホストの変更、CodexからClaudeへのモデルとハーネスの同時交換、チャットサーフェスの差し替えをまたいで、既存インスタンスのアイデンティティ、空でないメモリ、ボディのリビジョン、過去のタスクIDが保持された。クロスホストのタスクは検証済みのアーティファクトチェックポイントから再開された。また、監督下のCodex-Muse-Codex研究では、5回の通常の往復と5回の対応する同一ランタイムの対照を初回試行で完了した。

計画されたワーカーの中断は、チェックポイントを保持したままネイティブのタスクAPIを通じて復旧し、古い応答は拒否され、タスク完了は1件だけ記録された。著者らは、これらの結果が確立するのは試験済みのデプロイメントと境界付けられたワークフローにおける機械的連続性であり、行動的等価性、任意タスクのポータビリティ、無人での信頼性ではないと明言している。

エージェントを、ランタイムが借用する基盤 P_t =（アイデンティティ、メモリ、ボディ）とし、quiesce・checkpoint・validate・bind・rehydrate・resume プロトコルによって移動させる。

連続性不変条件により、「同じエージェント」であることを主張ではなく検証可能にできる。

バインド時の検証により、エージェントが作業を再開する前に能力の変化を捕捉できる。

フェンス付きマイグレーションにより、新しいランタイムが古い状態に対してできることが制限される。

チェックポイント化されたタスクにより、中断されたエージェントは効果を重複させることなく再開できる。古い応答は拒否され、完了はちょうど1件だけ記録された。

「どのモデルがエージェントを実行するか」を交換可能な部品として扱う。アイデンティティとメモリがランタイムの外にあれば、モデルの交換はゼロからのやり直しではなく日常的な保守になる。

公開アーティファクトは github.com/our-ark/enoch-muse-runtime にある。バージョン2（2026年9月）では、Claude・ホスト・サーフェスのマイグレーション、チェックポイント化されたタスク、対照、障害復旧の証拠が追加された。著者らは主張の範囲を境界付けられたワークフローに明示的に限定している。