論文の概要: Runtime BiDi Structural Verification Catches Right-to-Left Layout Defects that Accessibility, Actionability, and Logical-Property Linting Miss
- arxiv url: http://arxiv.org/abs/2610.32934v1
- Date: Fri, 23 Oct 2026 17:31:35 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-27 01:38:06.621777
- Title: Runtime BiDi Structural Verification Catches Right-to-Left Layout Defects that Accessibility, Actionability, and Logical-Property Linting Miss
- Title（参考訳）: アクセシビリティ, アクセシビリティ, ロジック・プロパタイティ・ライニング・ミスを考慮した直立積層欠陥のランタイムバイディ構造検証
- Abstract要約: 双方向(右から左、RTL)レイアウトの欠陥は、物理的指向CSSで書かれたインターフェースがミラーされることなく dir="rtl" でレンダリングされるときに発生する。
ヘッドレスブラウザでこれらの欠陥をキャッチするランタイム構造不変量を提示する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Bidirectional (right-to-left, RTL) layout defects arise when interfaces authored with physical directional CSS (margin-left, border-left, text-align:left) are rendered under dir="rtl" without being mirrored. Accessibility engines (axe-core), actionability engines (Playwright), and even Stylelint's current core logical-property rule fail to localise these defects. We present runtime structural invariants -- a zero-golden mode over computed style and geometry, and a bidi-conservative differential mode -- that catch them in a headless browser. On a held-out benchmark of 14 real RTL bugs reconstructed from dated fix commits in Bootstrap and Material Components Web, the detector recovers 13/14 (2 via zero-golden, 11 via the differential mode), with no false alarm on any patched version; on the actual committed historical bootstrap.rtl.css it catches 1 of 2 attempted. It reports 0 false positives on 16 negative LTR-island cases and, in both modes, on 43 unmodified real components across four design systems and three RTL architectures (rule-of-three 95% upper bound <= 7%), and it surfaced a real directional defect in the current Bulma 1.0.4. By contrast, Stylelint's core rule emits an identical 1744 warnings on Bootstrap's LTR and correct-RTL builds, pseudo-localisation detects none of the mirroring bugs, and a naive pixel mirror-and-diff reaches only F1 0.87 with a test-set-tuned threshold. The two modes are complementary: zero-golden is the sole detector of the decoration/styling-asymmetry class (5/6) but false-flags the correct logical border-inline-end, while the differential detects none of that class yet never false-alarms and is empirically exact on the block-level inset/margin class. We scope this paper to detection; repair is future work.
- Abstract（参考訳）: 物理的指向CSS(margin-left, border-left, text-align:left)で記述されたインターフェースが、ミラーされることなく dir="rtl" でレンダリングされるとき、双方向(右から左、RTL)レイアウトの欠陥が発生する。
アクセシビリティエンジン(xe-core)、アクセシビリティエンジン(Playwright)、さらにはStylelintの現在の論理的プロパティルールでさえ、これらの欠陥をローカライズすることができない。
計算スタイルと幾何に対するゼロゴールドモードと、それらをヘッドレスブラウザでキャッチする入札保存差分モードのランタイム構造不変量を提示する。
BootstrapとMaterial Components Webの日付付き修正コミットから再構築された14の実際のRTLバグのベンチマークでは、検出器は13/14(0-golden、11は差動モード)を回復するが、パッチされたバージョンには誤報はない。
どちらのモードでも、4つの設計システムと3つのRTLアーキテクチャ(rule-of-95% upper bound <= 7%)にわたる43の未修正のリアルコンポーネント(rule-of-95% upper bound <= 7%)に対して0の偽陽性を報告し、現在のBulma 1.0.4において真の方向性の欠陥を表面化した。
対照的に、Stylelintのコアルールは、BootstrapのLTRと正しいRTLビルドに同じ1744の警告を出力し、擬似局所化はミラーリングバグを検出せず、単純なピクセルミラー・アンド・ディフはテストセットで調整された閾値でF1 0.87にしか達しない。
ゼロゴルデンは装飾/スティリング・ア対称性のクラス (5/6) の唯一の検出器であるが、false-flags the correct logical border-inline-end であり、差分はそれらのクラスのうちのどのクラスも検出せず、ブロックレベルの inset/margin クラスで経験的に正確なものである。
我々は本論文を検出対象とし, 修復は今後の作業である。
関連論文リスト
- DeBERTa-ConPara: Attack-Aware and Deployment-Realistic Detection of AI-Generated Text [42.255101883505056]
DeBERTa-ConParaは,HC3 Plus,M4,MAGE,RAIDで学習した文脈変換器エンコーダと,攻撃対応Unicode前処理を組み合わせたデプロイメント指向検出器である。
我々の中心的な発見は、前処理が適用された場所によって反対方向に作用することである。
2つの配置の因子的変化は、正規化推論による生のトレーニングを最高の設定として独立に識別する。
12種類の攻撃クラスのうち、ホモグリーフとゼロ幅空間の挿入は11.05%から1.12%から96.98%に増加した。
論文 参考訳（メタデータ） (2026-10-01T00:57:33Z) - Validation and Simulation Catch Different Errors: Four Levels of Evaluation for LLM-Generated Circuits [0.0]
シミュレーション成功は、LCM生成回路の構造的正しさと等価ではない。
スキーマの妥当性,トポロジ的妥当性,バックエンド実行可能性,コンポーネントセット合意の4つの評価レベルを測定した。
動作している回路は必ずしも構造的に有効ではなく、構造的に有効な回路は必ずしも実行可能であるとは限らない。
論文 参考訳（メタデータ） (2026-09-21T05:36:23Z) - TyPatch: Transforming Patches into Typestate Rules for Kernel Bug Detection [9.241492644741198]
我々はTyPatchを紹介し、パッチ固有の欠陥セマンティクスをアナライザの実装から分離する。
Linux v6.16では、TyPatchは559の異なるバグを発見し、そのうち121はカーネル開発者によって確認されている。
論文 参考訳（メタデータ） (2026-09-12T05:34:12Z) - Architecture-Dependent Causal Transfer of Activation States Across Large Language Models [51.56484100374058]
内部言語アクティベーション状態は、異なる大きな言語モデル間で因果的に転送することができる。
生成中に投影された活性化をターゲットモデルに注入すると、統計的に有意で事前登録された因果効果が生じる。
現在実装されているLCM間のエンド・ツー・エンドのアクティベーション・ステート・トランスファーは、ユニバーサルではなくアーキテクチャに依存していると結論付けている。
論文 参考訳（メタデータ） (2026-08-17T09:53:27Z) - Intrinsic Structure: Spectral Identifiability for Mechanistic Interpretability [51.56484100374058]
機械論的解釈可能性プリミティブに対する最初の識別可能性定理を証明した。
スペクトルは、正当性分解ではなく、記述されたエラーバーを持つ識別可能なモデル固有の指紋である。
論文 参考訳（メタデータ） (2026-08-10T19:42:01Z) - Adversarially Robust Abductive Fusion of Pre-trained Transformer-based Perception Models [5.574264082008515]
従来のメタ認知的手法は、モデルのエラーを示す論理ルールを学習するが、手書きのドメイン知識に頼っている。
このメタ認知層はベクトル空間幾何学を利用してドメインの知識を使わずに学習可能であることを示す。
アプローチはニューロシンボリックであるため、これらのルールは単一の論理的枠組みを共有しており、利用可能なドメイン知識によって補完することができる。
論文 参考訳（メタデータ） (2026-08-04T19:46:57Z) - Semantic Drift in Bug Resolution: How Behavioral Signals Propagate from Reports to Tests and Patches [18.727291516223115]
Desc2Fixは、バグレポートのセマンティックアライメント、テストのトリガー、開発者による修正を測定するフレームワークである。
GPT-4o と DeepSeek-Chat を用いて,Defects4J と SWT-Bench の2,857 個のレポート・パッチを解析した。
論文 参考訳（メタデータ） (2026-07-20T22:32:23Z) - DiffSpot: Can VLMs Spot Fine-Grained Visual Differences in Web Interfaces? [24.710597841706413]
textbfDiffSpotは、Webインターフェース上のオープンなスポット・ザ・ディファレンスのためのコード駆動ベンチマークである。
ベンチマークには4,400のペアが含まれており、13のCSSプロパティ演算子間でバランスの取れた3,900のhas-diffペアが含まれている。
最高のモデルでさえ、真の変更の40.7%しか見つからず、ハード層リコールはすべてのモデルに対して23%以下である。
論文 参考訳（メタデータ） (2026-05-28T08:50:34Z) - The Geometry of Forgetting: Temporal Knowledge Drift as an Independent Axis in LLM Representations [50.43168858368539]
大規模言語モデルは自信を持って時代遅れの回答を生成し、既存の方法では検出できない。
これは工学的な失敗ではなく構造的な失敗であり、時間的ドリフトは、幾何的に残留流の方向として、正確性と不確実性の両方に符号化される。
論文 参考訳（メタデータ） (2026-05-09T22:27:31Z) - Deterministic Zeroth-Order Mirror Descent via Vector Fields with A Posteriori Certification [45.85698554568285]
我々は、勾配を一般的なベクトル場に置き換えることで、決定論的ゼロ階ミラー降下フレームワークを開発する。
我々の分析は、最終段階の不等式評価のための評価テンプレートを提供する。
これらの結果は、ブレグマンのアイデンティティ、決定論的証明、およびゼロ階ミラー降下におけるロバストな円錐幾何学を隠蔽した幾何学的リンクを明らかにする。
論文 参考訳（メタデータ） (2026-01-31T10:05:05Z) - SemGuard: Real-Time Semantic Evaluator for Correcting LLM-Generated Code [46.20378145112059]
ポストホック修復パイプラインは、実行後にのみそのような障害を検出する。
本稿では,実時間で行レベルのセマンティック監視を行うセマンティック評価フレームワークSemGuardを紹介する。
論文 参考訳（メタデータ） (2025-09-29T09:21:32Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。