論文の概要: Source-Bounded Exact Recovery over Docker's Logs API
- arxiv url: http://arxiv.org/abs/2608.01564v1
- Date: Mon, 03 Aug 2026 00:47:07 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-04 15:07:25.287631
- Title: Source-Bounded Exact Recovery over Docker's Logs API
- Title(参考訳): DockerのLogs APIによるソースバウンドなExactリカバリ
- Abstract要約: Dockerは、アタッチメントやダウンタイム前にコレクタが見逃すレコードを保持することができる。
我々はDockerがサポートしているLogs APIを通じて、正確なリカバリ契約が達成可能であるかを調査する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Docker can retain records that a collector misses before attachment or during downtime. A persisted read position does not by itself ensure recovery after lifecycle changes. We study what exact recovery contract is achievable through Docker's supported Logs API. We define source-bounded exactness: every retained, distinguishable source record eventually appears exactly once in durable collector output. Our method uses a generation-aware multiset oracle that separates source truncation from collector omission and exposes simultaneous loss and replay. Applied to LogDeck, it uncovered a start-to-attachment race; a one-record attachment overlap, finite Docker-API reconciliation, and exact insertion closed the tested boundary. We compare the fixed revision with unmodified Grafana Alloy 1.18.0, which uses the same API and persists read positions; across 120 collector-runs, LogDeck was exact in 60/60 and Alloy in 20/60. Alloy succeeded at guarded startup and process pause but omitted retained history when recovery required discovering an exited or restarted source. In a causal control, a 5,000-record source exited before collection: stock discovery was exact in 0/20 trials and acquired nothing, while the same reader given the container ID recovered all records exactly in 20/20. This reproduced on OrbStack and independent Ubuntu hosts with Docker 29.4.0 and 24.0.9; both collectors recovered daemon restart, while neither recovered records after source removal. Exactness assumes distinct tuples of physical generation, timestamp, stream, and bytes; 200,000 byte-identical records across two drivers produced no observed collisions. Our results show that lifecycle reacquisition, not a persisted position alone, determines exact recovery within the retained-source horizon. This is a bounded interface claim, not a universal collector ranking or proof of collision freedom.
- Abstract(参考訳): Dockerは、アタッチメントやダウンタイム前にコレクタが見逃すレコードを保持することができる。
持続的な読み取り位置は、ライフサイクル変更後の回復を保証するものではない。
我々はDockerがサポートしているLogs APIを通じて、正確なリカバリ契約が達成可能であるかを調査する。
すべての保持され、識別可能なソースレコードは、最終的に耐久性のあるコレクタ出力で1度だけ現れる。
本手法では,ガベージコレクタの欠落からソースの切り離しを分離し,同時損失と再生を露呈する世代対応マルチセットオラクルを用いる。
LogDeckに適用されると、ワンレコードアタッチメントのオーバーラップ、DockerとAPIの和解の限定、テストされた境界の正確な挿入といった、開始から到着までのレースが明らかになった。
我々は、修正されていないGrafana Alloy 1.18.0と比較し、同じAPIを使用し、読み取り位置を持続する。
合金は防衛された起動とプロセスの停止に成功していたが、回収が完了または再起動されたソースを発見する必要があったため、履歴を省略した。
在庫発見は0/20の試験で正確に行われ、何も取得されなかったが、コンテナIDが与えられた同じリーダが20/20ですべてのレコードを正確に回収した。
これはOrbStackとDocker 29.4.0と24.0.9で独立したUbuntuホストで再現された。
Exactnessは、物理的生成、タイムスタンプ、ストリーム、バイトの異なるタプルを仮定する。
以上の結果から, 維持源地平線内でのライフサイクル再獲得は, 維持位置のみではなく, 正確な回復を決定できることがわかった。
これは境界インターフェイスのクレームであり、普遍的なコレクタのランキングや衝突の自由の証明ではない。
関連論文リスト
- VeriPhy: Agentic Physical Reasoning for World Model Evaluation and Refinement [57.86962208273888]
テキストのみのプランナが入力された物理義務にプロンプトをコンパイルする監査可能な物理検証システムを提案する。
それぞれのアクションは、ペイロードがタイプされた測定か、明示的にタグ付けされた学習状態である証明付きエビデンスレコードを返す。
我々は, 実発生障害を即時参照, 空間, 時間でローカライズする, 1500クリックの欠陥記録のコーパスにおいて, 評価をアンロックする。
論文 参考訳(メタデータ) (2026-09-02T20:36:45Z) - Hindsight Memory-PRM: Supervising Memory Management with Auditable Hindsight Credit [48.811961095386]
Hindsight Memory-PRMはこの監査パスを2回利用します。
オフラインで操作条件付きメモリユーティリティの批判をトレーニングする。
オンラインでは、検索、引用、および1つの制御された削除と再回答が、介入校正されたエントリーレベルのプレゼンスクレジットを確定する。
論文 参考訳(メタデータ) (2026-08-30T06:53:13Z) - The Acknowledgment Point Is the System: Durable Policy-Decision Receipts for AI Audit Evidence [0.0]
私たちは、決定論的政策決定を正確なポリシーソースにバインドし、プライバシを最小化するレコードをコミットし、Ed25519に署名されたレシートを返すAIを構築します。
4つのワーカスレッドと2,048バイトのプロンプトを持つApple M4 Proでは、バッファリングされた署名されたエビデンスが27,193リクエスト/秒に達し、141.9マイクロ秒中央のレイテンシを持つ。
プロトタイプは、モデル実行を証明せず、妥協されたシグナーが歴史をフォークしたり、法的適合性を確立したりするのを防ぐ。
論文 参考訳(メタデータ) (2026-08-17T22:35:07Z) - The Recall Trap: A Recall-Maximizing Retriever Configuration Reduces Issue Resolution in Fixed-Budget Code Context [45.88028371034407]
コード修復における制御ケーススタディを報告し,新しい現象ではない。
私たちは、同じスタック上の1つのフラグ(1チャンク毎の重複)を切り替えます。
BM25(3.2pp、重要なパラダイム間相互作用)を逆転させる。
厳格な固定予算では、ファイルごとのハードダイドプリケートや、タスクに対するA/Bパッケージングポリシは、メトリックフラグを調整しないことが示されます。
論文 参考訳(メタデータ) (2026-08-14T19:22:50Z) - SCOUT: Symmetric Consensus Outlier Detection for Failure Localization in LLM Pre-Training [7.018753691717986]
事前トレーニングでは、同期は、ランクローカルなストール、スローダウン、数値的なエラーをジョブワイドな症状へと伝播し、その起源を隠蔽する。
SCOUTは1つの設計原則に基づいて構築された統一型ランタイム障害局所化フレームワークである。
SCOUTはトレーニングループやフレームワークソースの変更なしに、PyTorch、TorchTitan、Megatron-Core、DeepSpeedと統合されている。
論文 参考訳(メタデータ) (2026-08-11T15:12:14Z) - Stage-Replay Divergence Follows the KV Cache: Fixed-Prefix Precision Controls and Bidirectional Cache Transplantation [51.56484100374058]
Stage-replayは中間トークンプレフィックスを再構築し、プレフィックスに最初に到達したデコーダ状態からの継続として、新しいプリフィル継続を処理する。
一致した200itemの実験では、保持されたライブキャッシュと同一の整数トークンのワンショットプリフィルを比較し、両側に正確なレプリカを配置する。
論文 参考訳(メタデータ) (2026-07-30T16:41:40Z) - MemOps: Benchmarking Lifecycle Memory Operations in Long-Horizon Conversations [50.24315431387575]
ライフサイクル操作のシーケンスとして会話メモリを再構成するベンチマークであるMemOpsを紹介する。
MemOpsは、それぞれのメモリイベントをトリガ、ターゲット、スコープ、状態遷移、エビデンスを指定した構造化トレースで表現する。
長いコンテキスト、検索ベース、パラメトリック、マネージドメモリシステムにわたって、MemOpsはファイナ・アンサーの精度のみを隠蔽する障害モードをアンタングルする。
論文 参考訳(メタデータ) (2026-07-14T15:33:44Z) - Taming the Drift: Context-aware Repair of Dockerfile Drift during Software Evolution [52.50730821321986]
Cadreは、Dockerfileの自動ドリフト修復のためのコンテキスト認識フレームワークである。
CDGは、各Dockerfile命令をファイルレベルとインストラクション間の依存関係にマップする。
DodeXはGitHub Actions CIログから現実のDockerfileドリフトインスタンスをマイニングする。
論文 参考訳(メタデータ) (2026-07-14T09:12:26Z) - The Hidden Footprint: Making Storage a First-Class Metric for LLM Agent Evaluation [29.747532095696965]
LLMエージェントベンチマークは、タスクの完了、信頼性、推論コストを測定するが、エージェントがディスクに残す永続的なデータではない。
AgentFootprintは、実行後のエージェントストレージフットプリントのクロスフレームベンチマークである。
論文 参考訳(メタデータ) (2026-07-13T06:44:33Z) - Before the Pull Request: Mining Multi-Agent Coordination [0.0]
我々は、並行エージェントが共有作業に対して主張し、分割し、衝突する方法において、欠けている信号がPRの前に存在すると主張している。
我々はこのプロセスを,中央サーバを必要としないオープンソースのコーディネート基板であるgriteを通じて研究し,そのレコードをgit自体に格納する。
i) この共有基板は, 重複と矛盾する作業のオーバーヘッドを低減し, (ii) 各エージェントのログのコピーは, 書き込みを無音に落とさずに同じ状態に収束し, (iii) ログは, コンクリート破壊モードが自動的に回復可能な, 採掘可能な人工物であることを示す。
論文 参考訳(メタデータ) (2026-06-17T21:47:53Z) - Rethinking RAG in Long Videos: What to Retrieve and How to Use It? [56.38819694781005]
V-RAGBenchは$langle$query, evidence chunk, answer$rangle$三重項のベンチマークで、検索と生成を忠実に分離した評価を可能にする。
また、CARVEは、コンフィグレーションにまたがって並列レトリバーを動作させ、チャンク毎に入賞構成を識別するためにチャンク適応リランクを用いる手法である。
論文 参考訳(メタデータ) (2026-06-11T10:05:49Z) - Entity-Collision: A Stratified Protocol for Attributing Retrieval Lift in Agent Memory [0.0]
エンドツーエンドのエージェント-メモリベンチマークでは、レトリバー毎に単一の hit@k が報告されている。
本稿では,BM25フロアを構造的に固定するシステムに依存しないプロトコルであるエンティティ・コリジョンを提案する。
論文 参考訳(メタデータ) (2026-05-28T09:02:48Z) - What Are We Actually Decoding? Source Attribution for Non-Invasive Brain-to-Language Retrieval [42.66754319854329]
我々は,刺激同期MEG-to-audio検索を監査フレームワークとして再放送した。
構造的ショートカット、ウィンドウレベルの刺激ロックされたエビデンス、ウィンドウ間のコンテキストアグリゲーションを使用します。
これらの結果は、脳から言語へのパフォーマンスは、単に報告されるのではなく、ソース属性であるべきだことを示唆している。
論文 参考訳(メタデータ) (2026-05-23T11:23:39Z) - It's Not Just Timestamps: A Study on Docker Reproducibility [0.3553493344868413]
Dockerの測定パイプラインを構築して,Dockerfileを含む2,000のGitHubリポジトリのサンプルに適用します。
構築可能なイメージは56%に過ぎず、2.7%はインフラストラクチャの設定なしでビット単位で再現可能である。
これらのパターンから具体的なDockerfileガイドラインを導き、再現可能なコンテナに対する将来のlinterとContinuous Integration(CI)チェックを通知する方法について説明します。
論文 参考訳(メタデータ) (2026-02-03T00:26:53Z) - Chained-Tracker: Chaining Paired Attentive Regression Results for
End-to-End Joint Multiple-Object Detection and Tracking [102.31092931373232]
そこで我々は,3つのサブタスク全てをエンド・ツー・エンドのソリューションに統合する簡単なオンラインモデルである Chained-Tracker (CTracker) を提案する。
鎖状構造と対の注意的回帰という2つの大きな特徴は、CTrackerをシンプルに、速く、効果的にする。
論文 参考訳(メタデータ) (2020-07-29T02:38:49Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。