論文の概要: Architectural Debt Enforcement under Incomplete Observation: A Controlled Study of Ratchets and Evidence Qualification
- arxiv url: http://arxiv.org/abs/2610.41276v1
- Date: Fri, 30 Oct 2026 05:26:42 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-11-02 22:05:31.623799
- Title: Architectural Debt Enforcement under Incomplete Observation: A Controlled Study of Ratchets and Evidence Qualification
- Title（参考訳）: 不完全な観察による建築負債の執行--ラチェットとエビデンス・資格の制御された研究
- Abstract要約: 我々は、観察資格の分離、関係アイデンティティの禁止、相続債務、認定基準更新に関する決定契約について検討する。
4つのリポジトリから240以上のファイルが固定され、現在のオブザーバーとプログラムによる参照は166ファイル(69.17%)と正確な参照関係のエッジアグリーメントを持つ。
このコントリビューションは、言語完全性や自然維持性、新たな縮小ベースラインアルゴリズムなどではなく、エビデンス認定された執行とその制限の制御された説明である。
- 参考スコア（独自算出の注目度）: 8.401473551081748
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Architectural debt gates must distinguish an allowed change from an incompletely observed one. We study a decision contract separating observation qualification, prohibited relation identity, inherited debt and authorized baseline updates. Across 240 fixed files from four repositories, the current observer and programmatic reference jointly qualify 166 files (69.17%), all with exact reference-relative edge agreement; 74 remain reference-UNKNOWN. Coverage varies from 13/60 to 59/60 by repository. On 480 constructed state scenarios sharing 60 source anchors, both the candidate ratchet and mature dependency-cruiser baseline match every expected outcome, whereas static and count-only baselines match 420 and 360. These results do not establish candidate superiority. Preserved failures include nine additional false-PASS probes and 120 unqualified full-tree timing attempts. A subsequent generic binding layer rejects 54 specified mismatches, accepts 54 current controls and permits legal repetition. Two bounded package scopes support 40 scenarios and 48 fresh-process functional checks; their costs remain tied to the measured implementations. Diagnostics explain residual uncertainty through type/runtime relations, installation context and generated-artifact provenance. TypeScript 5.9.3 and 6.0.2 yield identical outputs on ten paired emission witnesses, but neither that agreement nor verified release provenance changes the frozen UNKNOWN labels. The contribution is a controlled account of evidence-qualified enforcement and its limits, not language completeness, natural maintenance effectiveness or a new shrinking-baseline algorithm.
- Abstract（参考訳）: アーキテクチャ上の負債ゲートは、許可された変更と不完全な変更を区別する必要があります。
我々は、観察資格の分離、関係アイデンティティの禁止、相続債務、認定基準更新に関する決定契約について検討する。
4つのリポジトリからの240以上の固定ファイル、現在のオブザーバーとプログラムによる参照は166ファイル (69.17%) をそれぞれ正確な参照関係のエッジ契約で、74は参照-UNKNOWNのままである。
カバー範囲はリポジトリによって13/60から59/60まで様々である。
480では、60のソースアンカーを共有する状態シナリオが構築され、候補のラチェットと成熟した依存性サーベイザベースラインは期待されるすべての結果に一致し、静的およびカウントのみベースラインは420と360に一致した。
これらの結果は、候補の優位性を確立しない。
保存された障害には、追加の9つの偽PASSプローブと120の未定のフルツリータイミング試行が含まれる。
その後のジェネリックバインディング層は、54の特定ミスマッチを拒絶し、54の電流制御を受け入れ、法的反復を許可する。
2つの境界パッケージスコープは、40のシナリオと48の新しいプロセス機能チェックをサポートします。
診断は、タイプ/ランタイム関係、インストールコンテキスト、生成アーティファクトの証明を通じて不確実性を説明する。
TypeScript 5.9.3と6.0.2は、10組のエミッション証人に対して同じ出力を出力するが、その合意も、リリースの証明も、凍結したUNKNOWNラベルを変更しない。
このコントリビューションは、言語完全性や自然維持性、新たな縮小ベースラインアルゴリズムなどではなく、エビデンス認定された執行とその制限の制御された説明である。
関連論文リスト
- Omission-Safe Conditional Contracts for Evidence-Closed CI Qualification [8.401473551081748]
ワークフローはどのジョブを実行するべきかを判断し、アーカイブはどのジョブが観測可能であるかを記録します。
本稿では、ピン付きワークフローを目標存在から独立して条件付きジョブ要求にコンパイルし、固定されたキャプチャインベントリを保持し、ソース完全導出証明書を別実装でチェックする資格方法を提案する。
論文 参考訳（メタデータ） (2026-10-29T02:57:38Z) - ANCHOR: Assessing Naturalistic Constraint Hierarchies and Ordering in Repository-Grounded Agentic Coding [37.56127721120043]
ANCHOR(Assessing Naturalistic Constraint Hierarchies and Ordering in Repository-Grounded Agentic Coding)は、自然主義の多言語リポジトリタスクをベースとしたベンチマークである。
ANCHORは、(i)実際の開発者インタラクションから抽出された10のカテゴリと78の葉型の階層的な分類、(ii)タスク基底の原子的制約をインスタンス化し、それらを型付きおよび/THEN/PRIORITY関係に構成する自動パイプライン、(iii)軌道基底の評価フレームワークを組み合わせる。
論文 参考訳（メタデータ） (2026-10-12T14:28:38Z) - Beyond Corrected Memory: Execution Consistency in Multi-Agent Systems [42.90481302321822]
我々は、国家利用、情報ハンドオフ、そして最終状態合意を管理する義務を通じて、実行の一貫性を定義します。
私たちの主張の中核は、同じ保持されたレコードは、同じタスクルールの下での実行に準拠し違反する可能性がある、ということです。
整合性診断と回復のためのフレームワークであるCAVERTを用いて、ログからサポート対象の関係を抽出する。
論文 参考訳（メタデータ） (2026-10-06T10:29:41Z) - Relic: From Multi-Agent Collaboration to Persistent Organizational Capability [37.80629799707573]
繰り返し発生するコラボレーションの失敗を組織所有の実行可能なプロトコルに変えるRelicを紹介します。
メンバーは目に見える仕事を反映し、ルールを提案し、採用を管理します。
新たなメンバ転送では、動作の正確性は25.4%で、継承されたプロトコルが無く、34.6%が可読性テキストと同じルールで、41.2%が実行可能バインディングである。
論文 参考訳（メタデータ） (2026-09-26T21:55:49Z) - The Cognitive Continuity Test: Verifying Governed State Transitions in Persistent AI Agents [2.124730017640531]
永続AIエージェントは、信念を修正し、メモリを集約し、実行基板を置き換える。
同様の後継州は異なる承認された移行条件を伴い得るが、正当な開発は州を実質的に変えることができる。
本稿では,CCT(Cognitive Continuity Test:認知継続性テスト)について紹介する。CCT(Cognitive Continuity Test:認知継続性テスト:認知継続性テスト:認知継続性テスト:Cognitive Continuity Test:認知継続性テスト:認知継続性テスト:認知継続性テスト:Cognitive Continuity Test:認知継続性テスト:CCT)。
論文 参考訳（メタデータ） (2026-09-09T18:28:33Z) - Versioned Transitive Dependency-Closure Binding and Operation-Time Effect Governance for Agent Skills: ClosureBound [4.805352087824778]
ClosureBoundは、正確なクロージャルート、エフェクト天井、目的/実績、妥当性、エポックをバインドする。
閉鎖と状態を再解決し、操作を外部効果IRに正規化し、共同証人がすべての境界を満たす場合にのみ承認する。
549 Public Skillsの語彙監査では、526のルートのうち21がバンドルされたファイル名であり、すべての非マニファストパスの動詞名であり、67はルートの外で解決されるリンクを含んでおり、ルートはフロントマッター依存フィールドを宣言しない。
論文 参考訳（メタデータ） (2026-09-05T06:27:52Z) - Change-Provenant Supervision: Governing Learned Artifacts Under Policy Change [0.0]
依存グラフは、省略されたエッジを含まないことを証明できない。
学習したアーティファクトにとって、グラフスコープによる無効化は、権限変更後の入場を正当化するものではない。
我々は記録された系統を分離し、影響範囲と依存性の説明を提案する。
論文 参考訳（メタデータ） (2026-08-21T17:40:26Z) - Best Friends, Not Forever: Evaluating Long-Horizon Persona Collapse and Behavioral Drift in AI Companions [34.277389276831435]
本研究では,2つの長期的障害について検討する。「人的崩壊」,展開された役割の喪失,境界,値,スタイル,および「行動漂流」である。
本稿では,人的行為とトラジェクティブリコールを別々に計測する制御型総合監査システムANCHORを紹介する。
この研究には、27人のペルソナにまたがる2,008の会話、9つのインタラクションスケジュール、3つの生成されたメモリ設定、そして4つの評価モデルが含まれている。
論文 参考訳（メタデータ） (2026-07-30T20:18:39Z) - Looping Is Not Reliability: State-Bound Evidence and Typed Revision Contracts for Agentic Code Repair [36.56438114281786]
正しいパッチの発見と保持、検証、提出のギャップについて検討する。
我々はエビデンスバウンド型ループ契約を導出し、その機械的に強制可能なサブセットを参照実装でインスタンス化する。
論文 参考訳（メタデータ） (2026-07-27T16:05:23Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。