AX Code を入手 · 無料ドキュメント
AX Code.
ja
English繁體中文简体中文日本語한국어FrançaisDeutschBahasa IndonesiaItalianoPortuguês (Brasil)РусскийEspañolTürkçeTiếng Việt
始める

このページは英語版ドキュメントの翻訳です。コマンド、識別子、例はそのままです。ランタイム 7.24.4 · SDK 2.6.7。 英語版

セマンティックレイヤー

状態: 有効 範囲: 現行状態 最終確認: 2026-05-03 担当: ax-code ランタイム

この文書は、AX Code に現在あるセマンティックレイヤーを説明します。ロードマップではなく、現行状態の契約です。

真実の源

このページは、出荷済みのセマンティックな振る舞いを文書化します。将来のコードグラフの野心ではありません。振る舞いが変わったら、次に照らして確認してください。

  • ライブのセマンティック操作については、packages/ax-code/src/tool/lsp.ts と関連する LSP モジュール。
  • 索引付きグラフの振る舞いについては、packages/ax-code/src/code-intelligence/。
  • グラフに裏付けられたデバッグとリファクタリングの解析（影響、バグ経路、競合、ライフサイクル、重複、ハードコードされた値、セキュリティ所見、ゲート付きリファクタ適用）については、packages/ax-code-reason/。
  • 耐久性のある来歴の保証を主張する前に、再生、エクスポート、監査のテスト。

能力が計画中または実験的なら、その状態を明示したままにしてください。

目的

AX Code は、2 つの明示的な源を通してセマンティックな回答を公開します。

  • lsp: ライブの言語サーバー問い合わせ
  • graph: 永続的なコードインテリジェンス問い合わせ

システムは、一方を他方へ黙ってルーティングしません。呼び出し側は、鮮度、遅延、決定性の要件に基づいて表面を選びます。

現在のセマンティック表面

表面 裏付けとなる源 現在の役割
lsp ツール ライブの LSP クライアント 最も新しいセマンティック回答。明示的なライブ問い合わせの表面
code_intelligence ツール 索引付き SQLite コードグラフ 索引付きシンボル、参照、呼び出し関係に対する決定的なグラフ問い合わせ

lsp ツールはライブセマンティックのインターフェースです。code_intelligence ツールは索引付きセマンティックのインターフェースです。どちらも、他方の隠れたフォールバックではありません。

現在のゲート:

  • code_intelligence は既定で有効ですが、フィーチャーフラグで無効にできます
  • lsp は現在、実験的な LSP ツールフラグを必要とします

エンベロープ契約

セマンティックな回答は来歴メタデータを運び、下流の消費者が信頼と鮮度について判断できるようにします。

共通フィールド:

  • source: lsp、graph、または cache
  • completeness: full、partial、または empty
  • timestamp: 基盤の回答が解決されたとき
  • degraded: 回答を慎重に扱うべきだという任意の信号

LSP に裏付けられたエンベロープには、次も含まれることがあります。

  • serverIDs: どの言語サーバーが寄与したか
  • cacheKey: LSP 応答キャッシュ行への安定した参照

監査と再生

現在の振る舞い:

  • lsp ツールを通したライブセマンティック呼び出しは、audit_semantic_call 行を書き込みます
  • ツール再生は現在 tool.result.metadata を保持します。つまり、グラフに裏付けられたセマンティックメタデータは、再生やエクスポートの間に失われません
  • 決定的な再生は、決定経路のメタデータを比較し、返されたすべてのシンボル一覧の意味的等価は比較しません

これにより、LSP に裏付けられた回答とグラフに裏付けられたセマンティック回答は、なお異なるストレージとランタイム経路から来ていても、比較できる監査の可視性を得ます。

現在公開されている操作

lsp

ライブの lsp 表面には、エンベロープに裏付けられた次の操作が含まれます。

  • 定義
  • 参照
  • ホバー
  • ドキュメントシンボル
  • ワークスペースシンボル
  • 実装
  • 呼び出し階層
  • 集約された診断

新しさが再現性より重要なときの、正しい表面です。

code_intelligence

グラフ表面には次が含まれます。

  • シンボル検索
  • ファイルシンボル
  • 参照
  • 呼び出し元
  • 呼び出し先

再現性とより低い遅延が、エディタ状態の即時の鮮度より重要なときの、正しい表面です。

3 つ目の、任意の知識表面は、.ax-wiki/ 配下のネイティブなセマンティックリポジトリ wiki で、ax-code wiki がコンパイルします。上記の構造グラフと LSP のエンベロープ契約の一部ではありません。

表面 役割
lsp / code_intelligence 構造上の精度（この文書）
.ax-wiki/ エージェント向けの、ソースに裏付けられたアーキテクチャの語り

CLI、ルーティング、非目標については AX Wiki を参照してください。Wiki の合成を、呼び出し元、呼び出し先、参照の代わりとして扱ってはなりません。

重要な非目標

現在のセマンティックレイヤーは、次のことはしません。

  • 自動 LSP フォールバックを伴う、隠れたグラフ優先ルーティングはありません
  • グラフの鮮度がライブ LSP の鮮度に等しいという主張はありません
  • すべての内部セマンティックヘルパーが HTTP または SDK を通して公開されているという主張はありません
  • 現在の実装に Rust セマンティックランタイムの分割はありません
  • AX Wiki の markdown が構造上の真実の源であるという主張はありません（AX Wiki を参照）

連携の案内

ドキュメント、SDK バインディング、またはより高水準のワークフローを書くとき:

  1. lsp と code_intelligence を別々のセマンティック表面として説明します
  2. 公開ツール操作と内部ヘルパー関数を区別します
  3. 現在のスキーマで実際に保持されている監査と再生の保証だけを説明します
  4. セマンティック表面が常に有効とは限らないとき、フラグに言及します
  5. AX Wiki に言及するとき、wiki とグラフの責任を明示したままにします