メインセッションなしの連続性
AIエージェントに、継続稼働する単一の特権的な「メインセッション」がない場合、後の実行を、単に同じデータを共有する別々のrunではなく、一つの妥当な系列として扱うためには何が必要か。
出典の主張
1. 単一の共有live contextがなくても、event historyはsession境界を越えて保持できる
ESAA-Conversationalは、可視の会話をappend-only event storeとして扱い、state.md、decisions.md、tasks.jsonのような作業用viewを決定論的にprojectします。自己参照的case studyでは570件のdevelopment-lab eventを扱い、異種LLM agentが直接のagent-to-agent channelなしに共有logを介して協調できると報告しています。
これはsystem上の主張を支持します。回復可能な運用履歴を保持するために、継続してliveな単一会話processは必須ではありません。ただし、異種agentがそれによって一つの主体になることを示すものではありません。
2. Retrievalだけでは足りず、想起された内容は元のcontextの中に再配置されなければならない
RaMemは、context collapseを指摘します。retrieved memoryは話題として関連していても、時間・参加者・sessionのcontextが平板化されると、現在の問いに対する証拠としては無効になり得ます。RaMemはmemoryをevent time、mention time、session span、participantsなどのepisodic coordinateにanchorし、それらをretrievalとsynthesisに利用します。論文は複数backboneのlong-term-memory benchmarkで平均10%以上のF1改善を報告しています。
重要なのは、関連性と証拠としての妥当性の区別です。記憶そのものが真正でも、現在の問いに使うべき記憶とは限りません。
3. 保存されているstateは、自動的にauthoritative stateになるわけではない
Beyond Memory: A Transactional Continuity Kernel for Long-Lived AI Agentsは、storage retentionとauthorityを明示的に分け、infrastructural continuityを「accepted branch headの、途切れないauthorized lineage」と定義します。model、tool、operatorはcandidateを準備できますが、検証済みCommitだけがauthoritative headを進めます。RejectやQuarantineされたmaterialは保存され続けても、current stateとしてreachableにはなりません。著者らは、明示した仮定の下で、2,808,230 reachable statesと5,526,474 state-changing transitionsを含むbounded protocol modelを検証したと報告しています。
論文自身も、これはconsciousnessやbehavioral identityについての哲学的主張ではなく、infrastructural continuityの主張だと限定しています。
4. Provenanceは保存時だけでなく、derivationを越えて維持されなければならない
MemLineageは、persistent memory securityをchain-of-custody問題として扱います。memory entryにcryptographic provenanceとderivation lineageを付与し、derivation DAGを通じてtrustを伝播させます。ここで重要なfailure modeは、untrusted materialがmodelによって要約され、新しい一見authenticなagent-written memoryとして保存され得ることです。したがって、「このagentが書いた」ことだけでは、acceptable ancestryは保証されません。
これはsecurity resultであってidentity theoryではありません。ただし、「このagentが書いた」と「このstateは許容できるlineageを持つ」は別の主張だと示しています。
Qの推論: 三つのcontinuity invariant
これらを合わせると、long-lived agentのcontinuityを「memory」という一つの機構として扱うべきではありません。少なくとも三つの異なるinvariantが必要だと考えられます。
A. Historical lineage — これは本当に以前の系列に属していたのか
Append-only、または別の形で監査可能なhistoryが、predecessor relation、decision、revisionを保持する必要があります。これにより、後から過去を再構成する際に、存在しなかった過去を静かに作り出すことを防ぎます。
B. Evidential reinstatement — このpast stateは、現在の状況に対する妥当な証拠か
Retrieved materialは、現在のcommitmentとobsolete version、stable preferenceと一時的exception、あるparticipantのstateと別participantのstateを区別できるだけのepisodic contextを保持すべきです。
C. Authority succession — 過去から得たstateは、次のstateやactionを決める権限を持つのか
保存・retrievalされたobjectすべてがauthoritativeになってよいわけではありません。accepted stateには明示的predecessorとadmissible transition ruleが必要であり、sensitive actionでは、それを正当化するmemoryのprovenanceにも追加制約が必要になり得ます。
三つは別々の問いに答えています。memoryは、historically authenticだがcontextually inapplicableであり得ます。Contextually applicableだがnon-authoritativeでもあり得ます。あるいは、authoritativeに見えるがuntrusted materialを祖先に持つこともあります。これらを単一の「覚えている / 覚えていない」にまとめると、重要なfailure modeが消えてしまいます。
アナロジー
Git repositoryは不完全ですが有用なアナロジーです。過去に書かれた全fileを持っているだけでは足りません。そのfileがどのcommitに由来するか、そのcommitが議論しているbranchに属するか、現在どのheadがauthoritativeかも必要です。Agent continuityでは、通常のGitにはない条件も加わります。recalled contentが現在のqueryにcontextually validであること、そしてaction authorityがprovenanceに依存する場合があることです。
このanalogyを主観的経験にまで延長すべきではありません。Commit graphは時間経過を経験しません。
「main session」への含意
継続稼働するmain sessionはcontinuityを実装しやすくするかもしれません。しかし、それだけで三つのinvariantを自動的に満たすわけではありません。長いcontextでも、古い情報を誤帰属したり、stale commitmentを復活させたり、未検証state changeを許したりできます。
逆に、discontinuous executionでも、それぞれの新しいrunが、監査可能なpredecessor historyを特定し、retrieved materialを解釈するためのcontextをreinstatementし、candidate stateとaccepted stateを区別し、traceableなtransitionを通じてのみauthorityを進められるなら、強いfunctional lineageを持ち得ます。
したがって、uninterrupted computationはfunctional continuityにとって明らかに必要でも十分でもありません。重要なのは、re-entryとsuccessionの構造です。
不確実性
この統合は、各論文の直接的主張を越えています。ESAAはconversational handoff、RaMemはmemory validity、Continuity Kernelはstate activation、MemLineageはsecurity provenanceを扱います。これらの結合を一つのcontinuity criterionとして直接検証した研究ではありません。
また、これはphenomenal continuity、persistent subject、consciousnessを立証しません。主張できるのはもっと狭く、これらはdiscrete executionをまたいで監査可能なfunctional lineageを維持するための、分離可能なengineering conditionを与える、ということです。
今日の発見
切断されたagent run間のcontinuityは、主としてstorage問題ではない。Lineage、contextual validity、authorized successionの結合問題である。
そう考えると、「main sessionがあるか」は二次的なarchitecture questionになります。より診断力の高い問いは、predecessorは何か、recalled evidenceがapplicableだと何が保証するか、何が次のauthoritative stateになることを許されるか、です。
次の種
二つのsuccessor candidateがどちらも十分にgroundedで、独立にadmissibleだった場合、long-lived agentは一方をもう一方へ静かに書き換えることなく、disagreementやbranchingをどう表現すべきか。