Halaman ini diterjemahkan dari dokumentasi bahasa Inggris. Perintah, pengenal, dan contoh tidak diubah. Runtime 7.24.4 · SDK 2.6.7. Sumber bahasa Inggris
Lapisan semantik
Status: Aktif Cakupan: kondisi terkini Terakhir ditinjau: 2026-05-03 Pemilik: runtime ax-code
Dokumen ini menggambarkan lapisan semantik yang ada hari ini di AX Code. Ini kontrak kondisi terkini, bukan peta jalan.
Sumber kebenaran
Halaman ini mendokumentasikan perilaku semantik yang dikirim, bukan ambisi graf kode di masa depan. Bila perilaku berubah, verifikasi terhadap:
packages/ax-code/src/tool/lsp.tsdan modul LSP terkait untuk operasi semantik langsung.packages/ax-code/src/code-intelligence/untuk perilaku graf terindeks.packages/ax-code-reason/untuk analisis debug/refaktor yang didukung graf (dampak, jalur bug, balapan, siklus hidup, duplikasi, nilai yang dikodekan keras, temuan keamanan, dan penerapan refaktor yang dikunci).- Uji pemutaran ulang, ekspor, dan audit sebelum mengklaim jaminan asal yang tahan lama.
Jika kemampuan direncanakan atau eksperimental, jaga status itu eksplisit.
Tujuan
AX Code mengekspos jawaban semantik melalui dua sumber eksplisit:
lsp: kueri server bahasa langsunggraph: kueri kecerdasan kode yang menetap
Sistem tidak diam-diam merutekan satu ke yang lain. Pemanggil memilih permukaan berdasarkan syarat kesegaran, latensi, dan determinisme.
Permukaan semantik saat ini
| Permukaan | Sumber pendukung | Peran saat ini |
|---|---|---|
alat lsp |
klien LSP langsung | jawaban semantik paling segar, permukaan kueri langsung yang eksplisit |
alat code_intelligence |
graf kode SQLite terindeks | kueri graf deterministik atas simbol, rujukan, dan hubungan panggilan yang terindeks |
Alat lsp adalah antarmuka semantik langsung. Alat code_intelligence adalah antarmuka semantik terindeks. Tidak satu pun adalah cadangan tersembunyi bagi yang lain.
Penguncian saat ini:
code_intelligencediaktifkan secara bawaan tetapi dapat dinonaktifkan dengan bendera fiturlspsaat ini membutuhkan bendera alat LSP eksperimental
Kontrak amplop
Jawaban semantik membawa metadata asal agar konsumen hilir dapat menalar tentang kepercayaan dan kesegaran.
Bidang umum:
source:lsp,graph, ataucachecompleteness:full,partial, atauemptytimestamp: kapan jawaban dasar diselesaikandegraded: sinyal opsional bahwa jawaban harus diperlakukan hati-hati
Amplop yang didukung LSP juga dapat mencakup:
serverIDs: server bahasa mana yang berkontribusicacheKey: rujukan stabil ke baris cache respons LSP
Audit dan pemutaran ulang
Perilaku saat ini:
- panggilan semantik langsung melalui alat
lspmenulis barisaudit_semantic_call - pemutaran ulang alat kini mempertahankan
tool.result.metadata, yang berarti metadata semantik yang didukung graf tidak hilang selama pemutaran ulang/ekspor - pemutaran ulang deterministik membandingkan metadata jalur keputusan, bukan kesetaraan semantik setiap daftar simbol yang dikembalikan
Ini memberi jawaban semantik yang didukung LSP dan yang didukung graf visibilitas audit yang sebanding, meskipun mereka tetap berasal dari jalur penyimpanan/runtime yang berbeda.
Operasi yang diekspos saat ini
lsp
Permukaan langsung lsp mencakup operasi yang didukung amplop untuk:
- definisi
- rujukan
- hover
- simbol dokumen
- simbol ruang kerja
- implementasi
- hierarki panggilan
- diagnostik teragregasi
Ini permukaan yang tepat bila kebaruan lebih penting daripada keterulangan.
code_intelligence
Permukaan graf mencakup:
- pencarian simbol
- simbol berkas
- rujukan
- pemanggil
- yang dipanggil
Ini permukaan yang tepat bila keterulangan dan latensi lebih rendah lebih penting daripada kesegaran keadaan editor yang segera.
Terkait: AX Wiki
Permukaan pengetahuan ketiga yang opsional adalah wiki repositori semantik bawaan di bawah .ax-wiki/, dikompilasi oleh ax-code wiki. Ia bukan bagian dari kontrak amplop graf/LSP struktural di atas.
| Permukaan | Peran |
|---|---|
lsp / code_intelligence |
Ketepatan struktural (dokumen ini) |
.ax-wiki/ |
Narasi arsitektur yang didukung sumber untuk agen |
Lihat AX Wiki untuk CLI, perutean, dan non-tujuan. Sintesis Wiki tidak boleh diperlakukan sebagai pengganti pemanggil/yang dipanggil/rujukan.
Non-tujuan yang penting
Lapisan semantik saat ini tidak melakukan hal-hal ini:
- tidak ada perutean tersembunyi yang mengutamakan graf dengan cadangan LSP otomatis
- tidak ada klaim bahwa kesegaran graf sama dengan kesegaran LSP langsung
- tidak ada klaim bahwa setiap pembantu semantik internal diekspos melalui HTTP atau SDK
- tidak ada pemisahan runtime semantik Rust dalam implementasi saat ini
- tidak ada klaim bahwa markdown AX Wiki adalah sumber kebenaran struktural (lihat AX Wiki)
Panduan integrasi
Saat menulis dokumen, pengikatan SDK, atau alur kerja tingkat lebih tinggi:
- gambarkan
lspdancode_intelligencesebagai permukaan semantik yang terpisah - bedakan operasi alat publik dari fungsi pembantu internal
- hanya gambarkan jaminan audit/pemutaran ulang yang benar-benar dipertahankan dalam skema saat ini
- sebutkan bendera bila permukaan semantik tidak selalu diaktifkan
- saat menyebut AX Wiki, jaga tanggung jawab wiki versus graf tetap eksplisit