論文の概要: State Without a Landlord: An Architecture Proposal for Peer-to-Peer Replication of Durable Workflow State
- arxiv url: http://arxiv.org/abs/2609.17645v1
- Date: Tue, 15 Sep 2026 15:10:25 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-20 08:55:53.471855
- Title: State Without a Landlord: An Architecture Proposal for Peer-to-Peer Replication of Durable Workflow State
- Title（参考訳）: 地主のいない状態: 永続的なワークフロー状態のピアツーピアレプリケーションのためのアーキテクチャ提案
- Abstract要約: 本稿では、ジャーナルが、ワークフローの当事者間で複製された、認証された、追加のみのログである場合の変化について検討する。
本稿では,単一文字コアのチェーンを動作させるアーキテクチャを提案し,その継承はクォーラムファイナライズされたクロージャ証明書によって管理される。
脅威モデルは、署名が確立した(権限と秩序)ものと、そうでないものとを区別する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: Durable-execution frameworks commonly journal execution steps of a long-running function and reconstruct state by deterministic replay; the journal is therefore the workflow's authoritative state, and in current deployments it typically resides with whichever provider hosts the run. This paper examines what changes if the journal is instead an authenticated, append-only log replicated among the parties to the workflow. We propose an architecture in which runs are chains of single-writer epoch cores; executor succession is governed by quorum-finalized closure certificates; durability, timeout, and checkpoint decisions are carried by explicit certificates rather than implicit trust; and large payloads travel a separate content-addressed distribution plane. A threat model separates what signatures establish (authorship and order) from what they do not (truth of recorded effects). We state the design as a set of typed artifacts and invariants, identify which claims are established by existing systems and which are proposals requiring validation, and define the prototype experiments, including specific adversarial cases, that would validate or falsify the proposal's central mechanisms.
- Abstract（参考訳）: Durable-executionフレームワークは、長期的に実行される関数の実行ステップをジャーナルし、決定論的リプレイによって状態を再構築する。
本稿では、ジャーナルが、ワークフローの当事者間で複製された、認証された、追加のみのログである場合の変化について検討する。
本稿では,単一文字のエポックコアのチェーンである実行,量子ファイナライズされたクロージャ証明書による実行の継承,耐久性,タイムアウト,チェックポイント決定が暗黙的な信頼ではなく明示的な証明書によって実行されるアーキテクチャを提案する。
脅威モデルは、署名が確立した(権限と秩序)ものと、そうでないもの(記録された影響の真実)を区別する。
この設計は,既存のシステムでどのクレームが確立されており,どのクレームが検証を必要とするのかを識別し,提案の中央機構を検証又は偽造する特定の対立事例を含むプロトタイプ実験を定義する。
関連論文リスト
- Fluid Notarization: Verifiable Evolution of Concurrently Edited Structured Documents [0.30586855806896046]
本稿では,文書の進化そのものが表記の対象となる,表記パラダイムを紹介する。
独立した状態を認証する代わりに、Fluid NotarizationはCRD-DTによって生成された因果関係のアーティファクトのグラフを認定する。
論文 参考訳（メタデータ） (2026-09-16T16:20:19Z) - The Shape of Ownership: Verifying LLM Provenance through Semantic Structures [38.16125764360159]
ProSEを導入し、固定されたクエリセットをターゲットのセマンティックドメインに置き換え、応答キーをドメイン条件の応答として意味構造に置き換える。
PROSEは、ドメイン固有のセマンティックテンプレートのプライベートバンクを構築し、構造的検証とクリーン応答の混合微調整によってそれらを内部化し、保持された自然クエリに対する応答で指定された構造を検出してオーナシップを検証する。
論文 参考訳（メタデータ） (2026-09-02T13:04:51Z) - Who Can Make the Action Happen? An Authority-Decomposition Framework for High-Risk Automated Systems [8.71734630214811]
本稿では,信頼領域の連立関係が保護された実行を引き起こすのに十分である行動関連手法を提案する。
これは、実行に対する因果制御と、操作の権威的アカウントの制御を分離する。
インクルージョン最小限の連立と、要求される実行境界が指定された上流ドメインから独立しているかどうかのテストが導かれる。
論文 参考訳（メタデータ） (2026-08-19T14:30:58Z) - Vero: Can AI Agents Build Formally Verified Software Repositories? [45.09790101960906]
Veroはリポジトリレベルで共同実装と証明を評価する最初のベンチマークである。
Python、Dafny、Verus、Coqにまたがる実世界のリポジトリから43のマルチモジュールインスタンスが含まれている。
ベンチマークの信頼性を改善するため、Veroには、エージェントが提供された仕様の不満足さを正式に証明できる監査メカニズムも含まれている。
論文 参考訳（メタデータ） (2026-08-13T17:41:27Z) - PhyAgentOS: A Self-Evolving Operating System for Embodied Agents with Decoupled Cognitive Planning and Physical Execution [49.776611937968]
我々は、スケジューリング、検証、メモリ、ベンチマーク、安全性をシステムレベルのサービスとして提供するPhyAgentOSを紹介します。
セッション中心のセッションは、スケジューリング、互換性、監督された実行、エビデンス収集、受け入れの最小単位として、アクションではなくセッションを扱う。
SessionVerifierは、実行終了とセマンティックタスク完了を、成功、失敗、または再計画のエビデンスに基づいて判断する。
ベンチマークはデプロイメントセッションと検証パスを再利用するので、結果は実際の実行に遡る。
論文 参考訳（メタデータ） (2026-07-18T04:46:53Z) - TRACE: An Operational Reasoning Schema for Auditable Agentic Commitments [0.0]
TRACE (Typed Reasoning And Commitment Evidence) は、推論トレースを記録するためのタイプ付きバージョン付きスキーマである。
論文は3つのレイヤで、推論は言語モデルにはない、と論じている。
レコード消費者契約は、レコードが保証するものと、その見返りに消費者が尊重すべきものを記述する。
論文 参考訳（メタデータ） (2026-07-14T08:08:21Z) - Composing Verifiable Conceptual Models via Building Blocks: Towards Design-Time Verification of Agentic AI Workflows [39.47298454012977]
エージェントAIシステムは、意思決定、ツール、外部アクションを調整するワークフローアーキテクチャを通じて、複数のベースエージェントをオーケストレーションする。
現在のプラットフォームではランタイムセーフガードが重視されているが、システム設計時の検証のサポートはほとんどない。
本稿では,エージェント構成を再利用可能なビルディングブロックとして相互作用させる設計時検証手法を提案する。
論文 参考訳（メタデータ） (2026-06-19T16:03:53Z) - Sovereign Execution Broker: Enforcing Certificate-Bound Authority in Agentic Control Planes [2.124730017640531]
Sovereign Execution Broker (SEB) は証明書バウンドエージェントインフラストラクチャのランタイム実行境界である。
提案、承認、実行を分離することで、SEBは認定された権限を短期間で監査可能なランタイム能力に変換する。
本稿では,SEBの実行モデル,証明書と再生検証の述語,スコープ付きアイデンティティセマンティクス,バイパス防止デプロイメントパターン,障害行動,具体的プロトタイプ実装について述べる。
論文 参考訳（メタデータ） (2026-06-18T17:36:46Z) - ContextFlow: Hierarchical Task-State Alignment for Long-Horizon Embodied Agents [41.517468049737936]
ロングホライゾンの実施するエージェントは、ナビゲーション、探索、アプローチ、操作を専門家に委任する傾向にある。
タスク状態の不整合(Task-state misalignment)、すなわち、プランナーのアクティブステージ、実行時のエビデンス、記憶されたコンテキスト、委任されたエグゼクティブが、もはや同じ次のステップの決定を正当化しないタスクレベルの整合性障害(Task-level consistency failure)について研究する。
我々は,段階を明示的な契約として表現し,実行時の観察結果をエビデンスパケットに変換し,スコープ付き更新を適用する検査可能なアライメントフレームワークであるContextFlowを提案する。
論文 参考訳（メタデータ） (2026-05-19T03:49:17Z) - interwhen: A Generalizable Framework for Verifiable Reasoning with Test-time Monitors [47.363850513075356]
実験時間検証フレームワークであるInterwhenを提案し, 与えられた検証結果に対して, 推論モデルの出力が有効であることを保証する。
検証された推論は、物理的な世界にエージェントを配置するといった高度なシナリオにおいて重要な目標である。
論文 参考訳（メタデータ） (2026-02-05T08:35:01Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。