Contract-Coding: 構造化されたシンボリックパラダイムによるリポジトリ・レベル生成へのアプローチ

arXiv cs.AI / 2026/4/16

💬 オピニオンSignals & Early TrendsIdeas & Deep AnalysisModels & Research

共有:

要点

本論文は、意図に駆動された「Vibe Coding」がリポジトリ・レベルのタスクでは破綻する、と主張する。理由は、コンテキストの忠実性と引き換えになるトレードオフがあり、曖昧な意図によって推論チェーンが圧倒されることでアーキテクチャが失敗するためである。
「Contract-Coding」を提案し、曖昧なユーザ意図を形式的な言語コントラクトへと変換することで、意図と実行可能コードの間の単一の真実のソース（single source of truth）として機能させる、構造化されたシンボリック手法を提示する。
この手法は「Autonomous Symbolic Grounding」を用いてモジュール間の実装詳細を切り分け、トポロジカルな実行の深さを低減し、コード生成時のアーキテクチャ並列性を可能にする。
Greenfield-5ベンチマークにおいて、機能的成功率47%を報告しつつ、構造的完全性をほぼ完全な水準に保っている。これは、最先端エージェントで見られる異なる種類のハルシネーションのパターンと対比される。
著者らは、脆弱な仕様追従から、より堅牢な意図駆動のアーキテクチャ合成へと移行することで、Contract-Codingをリポジトリ規模の自律的エンジニアリングに向けた一歩として位置づけており、コードは公開されている。

Abstract

意図駆動型ソフトウェア工学（しばしば「Vibe Coding」と呼ばれる）への転換は、重要な文脈忠実度トレードオフを露呈させます。すなわち、曖昧なユーザー意図が線形な推論チェーンを圧倒し、複雑なリポジトリ規模の生成においてアーキテクチャが崩壊してしまうのです。私たちは、自律的シンボリック・グラウンディング（Autonomous Symbolic Grounding）によって、非構造の意図と実行可能コードを橋渡しする構造化された記号論理パラダイム「Contract-Coding」を提案します。曖昧な意図を形式的な言語コントラクトへ射影することで、本枠組みは単一の真実の源泉（Single Source of Truth: SSOT）として機能し、トポロジー的独立性を強制します。これによりモジュール間の実装詳細が実質的に隔離され、トポロジー的な実行の深さが減少し、アーキテクチャ並列性が解放されます。実験的に、最先端のエージェントはGreenfield-5ベンチマーク上で異なる種類の幻覚に悩まされる一方で、Contract-Codingは、構造の完全性をほぼ完全に保ちながら、機能的成功率47 ext{%}を達成します。本研究は、リポジトリ規模の自律的エンジニアリングに向けた重要な一歩を示します。すなわち、厳密な「仕様追従」から、頑健な意図駆動型アーキテクチャ合成へと移行するのです。私たちのコードは https://github.com/imliinyi/Contract-Coding で公開しています。