論文の概要: Omission-Safe Conditional Contracts for Evidence-Closed CI Qualification

• arxiv url: http://arxiv.org/abs/2610.39241v1
• Date: Thu, 29 Oct 2026 02:57:38 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-11-03 00:29:07.908919
• Title: Omission-Safe Conditional Contracts for Evidence-Closed CI Qualification
• Title（参考訳）: Evidence-Closed CI Qualification のためのオーミッションセーフ条件付き契約
• Abstract要約: ワークフローはどのジョブを実行するべきかを判断し、アーカイブはどのジョブが観測可能であるかを記録します。 本稿では、ピン付きワークフローを目標存在から独立して条件付きジョブ要求にコンパイルし、固定されたキャプチャインベントリを保持し、ソース完全導出証明書を別実装でチェックする資格方法を提案する。
• 参考スコア（独自算出の注目度）: 8.401473551081748
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Continuous-integration evidence is conditional: a workflow determines which jobs should run, while an archive records which jobs remain observable. Reconstructing requirements from those observations lets an omission erase its own obligation. We present a qualification method that compiles a pinned workflow into conditional job requirements independently of target presence, retains a fixed capture inventory, and checks source-complete derivation certificates with a separate implementation. For a fixed source, context, scope and binding universe, with sound obligations and applicability judgments that preserve established truth under information extension, withdrawing observation facts cannot create authorization. The implementation handles static matrices, dependency guards and bounded pinned reusable workflows, preserving unknown applicability and separating tolerated outcomes from evidence coverage. Both implementations match the 45 hand-specified authorization controls, reject 180 source-certificate attacks, and exhibit no authorization gain over 704 distinct proper development erasures. An explicitly witnessed 12-job platform run qualifies in both implementations; all 4,095 proper payload-subset erasures block authorization. A frozen collection spans 240 runs in eight workflow families across six projects. All 160 evaluation source certificates independently validate, but unavailable historical execution-source identities leave actual qualification open. Initial gate diagnoses agree on 155/160 runs; a preserved unknown-propagation repair yields 160/160 agreement in a retrospective rerun. The study establishes bounded source extraction and omission resistance, rather than natural-fault prevalence or producer authenticity.
• Abstract（参考訳）: ワークフローはどのジョブを実行するべきかを判断し、アーカイブはどのジョブが観測可能であるかを記録します。 これらの観測から要件を再構築することで、省略者は自身の義務を廃止できる。 本稿では、ピン付きワークフローを目標存在から独立して条件付きジョブ要求にコンパイルし、固定されたキャプチャインベントリを保持し、ソース完全導出証明書を別実装でチェックする資格方法を提案する。 固定された情報源、文脈、スコープ、結合宇宙において、情報拡張の下で確立された真理を保存するための健全な義務と適用可能性の判断がある場合、観測事実を削除しても承認は得られない。 実装は、静的マトリックス、依存関係ガード、バウンドピン化された再利用可能なワークフローを扱い、未知の適用性を保持し、許容された結果とエビデンスカバレッジを分離する。 どちらの実装も、手動で特定した45の認証コントロールと一致し、180のソース認証攻撃を拒否し、704以上の適切な開発消去の承認が得られない。 明示的な12-jobプラットフォームは、両方の実装で適しており、すべての4,095の適切なペイロード-サブセット消去ブロックの承認である。 フリーズされたコレクションは、6つのプロジェクトにわたる8つのワークフローファミリで240の実行にまたがる。 160の評価ソース証明書はすべて独立して検証されるが、過去の実行ソースのIDは使用できないため、実際の資格は開放されている。 最初のゲート診断は155/160ランで一致し、保存された未知のプロパゲーション修復は、振り返り再実行時に160/160ランで一致する。 この研究は、自然フォールトの有病率や生産者の正当性ではなく、ソースの抽出と省略抵抗を定めている。

関連論文リスト

• Beyond Corrected Memory: Execution Consistency in Multi-Agent Systems [42.90481302321822]
  我々は、国家利用、情報ハンドオフ、そして最終状態合意を管理する義務を通じて、実行の一貫性を定義します。 私たちの主張の中核は、同じ保持されたレコードは、同じタスクルールの下での実行に準拠し違反する可能性がある、ということです。 整合性診断と回復のためのフレームワークであるCAVERTを用いて、ログからサポート対象の関係を抽出する。
  論文  参考訳（メタデータ） (2026-10-06T10:29:41Z)
• From Evidence to Action: How Tool-Using Agents Fail [44.361207294180424]
  このエビデンス・ツー・アクション・チェーンは、エージェントが単一アクションの実行に行動するかどうかを決定するため、どこで壊れるかを調査する。 10のモデルハーネスで、強力な静的アクションアセスメントは、より弱いインタラクティブ実行と共存することができる。
  論文  参考訳（メタデータ） (2026-10-06T04:50:29Z)
• Watermarking: from Impossibility to Auditable Compliance [78.87513208320995]
  EU人工知能法第50条(2)は、合成出力を機械可読かつ検出可能にするために、生成システムの提供者を要求する。 自由形式のテキストにとって、重要な実装の1つは、生成的な透かし処理の実装である。 本稿は、強い透かしに代わる聴覚的な代替品を開発する。
  論文  参考訳（メタデータ） (2026-10-05T13:32:41Z)
• Cognitive Admission Control: Risk-Conditioned Assurance for Consequential Actions in Agentic Distributed Systems [2.124730017640531]
  エージェント分散システムでは、エージェントは外部のインフラを変更できるが、突然変異の実行準備が整っているという証拠は欠如している。 CAC(Cognitive Admission Control)は、この証拠を明示する。 ポリシーは、型付けされた行動とそのモデル化されたリスクを、述語、エビデンスクラス、スコープ、鮮度、証人セットの制約を指定する保証義務にマップする。 承認が成功すると、アクション、証人マニフェスト、ディスパッチタイムガードを結び付ける証明書が生成される。
  論文  参考訳（メタデータ） (2026-09-14T20:20:54Z)
• Runtime Authorization for Resources Acquired by AI Agents [4.805352087824778]
  充足後のアクティベーションギャップは、ツールによる作成、エージェント間デリゲート、エージェントコマースにまたがる。 本稿では,実行時認証アーキテクチャを提案する。 検疫,バック,非増幅,非回避分割,クラッシュ/リトライ,返金,エポック,エフェクトの8つの安全性特性を実証する。
  論文  参考訳（メタデータ） (2026-09-13T19:16:44Z)
• VeriPhy: Agentic Physical Reasoning for World Model Evaluation and Refinement [57.86962208273888]
  テキストのみのプランナが入力された物理義務にプロンプトをコンパイルする監査可能な物理検証システムを提案する。 それぞれのアクションは、ペイロードがタイプされた測定か、明示的にタグ付けされた学習状態である証明付きエビデンスレコードを返す。 我々は, 実発生障害を即時参照, 空間, 時間でローカライズする, 1500クリックの欠陥記録のコーパスにおいて, 評価をアンロックする。
  論文  参考訳（メタデータ） (2026-09-02T20:36:45Z)
• Object-to-Source Mapping under Optimization: What a Control-Flow Trace Can Show, and Where Source-Level Coverage Breaks [46.45816037744739]
  制御フロートレースは、マシンレベルの実行を再構築することができるが、ソースレベルの構造カバレッジに加えて、生成された命令からの検証された帰属と、ソースの義務への分岐結果が必要である。 本稿では,その境界を定義し,コンパイラの正確な出力を図示する。 付録では、実際のシリコン上でのエンド・ツー・エンドのメカニズムを例示している。
  論文  参考訳（メタデータ） (2026-08-29T17:06:10Z)
• From Trajectories to Evidence: Auditable Experimental Records for Industrial Research Agents [47.678562263387214]
  研究エージェントは、産業レコメンデーション設定において、多段階の機械学習実験をますます実施している。 生成されたアーティファクトは、サポートされないか、不完全かもしれないし、実行されたラウンドは無効かもしれないし、あるいは廃止されるかもしれないし、後の修正は、以前の発見を曖昧にするかもしれない。 本稿では,連続的アーティファクトのバウンダリ検証と実行後のクレーム資格を結合するエビデンス・グラウンド・フレームワークを提案する。
  論文  参考訳（メタデータ） (2026-08-05T13:37:38Z)
• Verify-Gated Completion as Admission Control in a Governed Multi-Agent Runtime: A Bounded Architecture Case Study [0.6875312133832079]
  制御されたマルチエージェントランタイムの入出力制御パターンとして,検証ゲート補完について検討する。 観測条件下では,読み取り専用検証ゲートとパケット化入力記録が検査可能で,フェールクロースされた。
  論文  参考訳（メタデータ） (2026-05-18T07:52:13Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。