本文にスキップ
AI News HubLIVE
サイト内リライト2 分で読了

Evidence Graph:AIエージェントが実装する仕様の型チェック

記事の要約

Evidence Graphは、AIエージェント(Claude CodeやCodexなど)が要件を明示的に認識することを強制するツールです。コンパイル時にチェックし、省略を防ぎます。

ソースHacker News AI著者: autobe
Evidence Graph:AIエージェントが実装する仕様の型チェック
誤りを報告

訂正窓口はまだ利用できません。記事情報をコピーして保存できます。

訂正案内
本文へ

Evidence Graphは、AIコーディング時代のためのガードレールです。AIエージェント(Claude CodeやCodexなど)が自律的に動作する際、要件をスキップしても「完了」と報告することがあります。Evidence Graphは、設定されたすべての要件に対して、それを満たすコード、テスト、またはドキュメントからの明示的な確認を要求します。

各確認は、正確なターゲットを指名し、なぜ該当するのかを述べます。コンパイラはその理由が真実かどうかを判断しませんが、エージェントに具体的な主張を強制します。捏造された理由は、もはやもっともらしい差分の中に隠れることはできず、それが矛盾する宣言と証拠の隣に置かれます。

エージェントはまだ嘘をつくことができますが、省略によって嘘をつくことはできません。すべての設定された義務が説明されるか、ビルドが失敗します。選択されたエクスポートはすべて、テストによって名前で主張される必要があります。決定とコードは明示的に接続されたままです。「完了」はターゲットと理由を伴います。引用はそのターゲットよりも長く生き残ることはできません。

セットアップは簡単です。パッケージをインストールし、lint.config.tsでプラグインを設定します。例えば、Reactコンポーネントがdocs内の各H2およびH3セクションを引用することを要求する宣言を定義できます。違反はすべてのttscビルドで表面化し、型エラーと同じストリームで報告されるため、別のCIジョブは必要ありません。

Evidence Graphは複雑な宣言の構成をサポートしています。要件ドキュメントに基づく機能ドキュメント、機能ルールを実装するコンポーネント、それらを検証するテストなど、多層的な引用チェーンを作成できます。TypeScriptのシンボル、Markdownの見出し、SwaggerのAPI操作もサポートしています。

このツールは、AIエージェントによる仕様実装に前例のない透明性をもたらします。嘘をつくことを防ぐわけではありませんが、不誠実は明確で追跡可能な主張の形で現れなければならないことを保証し、コードの品質と保守性を大幅に向上させます。

要点と分析を開く

記事インテリジェンス

エンジニア上級

要点

  • @evidenceタグでエージェントに要件の明示的引用を強制し、欠落があればビルド失敗。
  • Markdown、TypeScript、Swagger間のクロスファイル参照をサポート。
  • エージェントは省略によって嘘をつけない。「完了」は対象と理由を伴う。
  • ttscプラグインとして動作し、TypeScriptエラーと同じストリームで報告。

要点と分析は自動生成され、誤りを含む場合があります。原典をご確認ください。