Trang này được dịch từ tài liệu tiếng Anh. Lệnh, định danh và ví dụ giữ nguyên. Runtime 7.24.4 · SDK 2.6.7. Bản tiếng Anh
Lớp ngữ nghĩa
Trạng thái: Đang hoạt động Phạm vi: trạng thái hiện tại Xem xét lần cuối: 2026-05-03 Chủ sở hữu: môi trường chạy ax-code
Tài liệu này mô tả lớp ngữ nghĩa tồn tại hôm nay trong AX Code. Đó là một hợp đồng trạng thái hiện tại, không phải lộ trình.
Nguồn sự thật
Trang này ghi hành vi ngữ nghĩa đã phát hành, không phải tham vọng đồ thị mã tương lai. Khi hành vi đổi, hãy đối chiếu với:
packages/ax-code/src/tool/lsp.tsvà các mô-đun LSP liên quan cho thao tác ngữ nghĩa trực tiếp.packages/ax-code/src/code-intelligence/cho hành vi đồ thị đã lập chỉ mục.packages/ax-code-reason/cho các phân tích gỡ lỗi/tái cấu trúc dựa trên đồ thị (tác động, đường lỗi, tranh chấp, vòng đời, trùng lặp, giá trị cứng, phát hiện bảo mật, và áp dụng tái cấu trúc có cổng).- Các kiểm thử phát lại, xuất và kiểm toán trước khi tuyên bố bảo đảm nguồn gốc bền vững.
Nếu một khả năng đang được lên kế hoạch hoặc thử nghiệm, hãy giữ trạng thái đó tường minh.
Mục đích
AX Code phơi các câu trả lời ngữ nghĩa qua hai nguồn tường minh:
lsp: truy vấn máy chủ ngôn ngữ trực tiếpgraph: truy vấn trí tuệ mã bền vững
Hệ thống không âm thầm định tuyến cái này vào cái kia. Bên gọi chọn bề mặt dựa trên yêu cầu về độ mới, độ trễ và tính tất định.
Các bề mặt ngữ nghĩa hiện tại
| Bề mặt | Nguồn chống lưng | Vai trò hiện tại |
|---|---|---|
Công cụ lsp |
máy khách LSP trực tiếp | câu trả lời ngữ nghĩa mới nhất, bề mặt truy vấn trực tiếp tường minh |
Công cụ code_intelligence |
đồ thị mã SQLite đã lập chỉ mục | truy vấn đồ thị tất định trên ký hiệu, tham chiếu và quan hệ gọi đã lập chỉ mục |
Công cụ lsp là giao diện ngữ nghĩa trực tiếp. Công cụ code_intelligence là giao diện ngữ nghĩa đã lập chỉ mục. Không cái nào là phương án dự phòng ẩn của cái kia.
Cổng hiện tại:
code_intelligenceđược bật theo mặc định nhưng có thể tắt bằng cờ tính nănglsphiện đòi hỏi cờ công cụ LSP thử nghiệm
Hợp đồng phong bì
Câu trả lời ngữ nghĩa mang siêu dữ liệu nguồn gốc để bên tiêu thụ phía sau có thể suy luận về tin cậy và độ mới.
Các trường chung:
source:lsp,graphhoặccachecompleteness:full,partialhoặcemptytimestamp: khi câu trả lời nền được phân giảidegraded: tín hiệu tùy chọn rằng câu trả lời nên được đối xử thận trọng
Phong bì dựa trên LSP cũng có thể gồm:
serverIDs: máy chủ ngôn ngữ nào đã đóng gópcacheKey: tham chiếu ổn định tới một hàng bộ nhớ đệm phản hồi LSP
Kiểm toán và phát lại
Hành vi hiện tại:
- các lời gọi ngữ nghĩa trực tiếp qua công cụ
lspghi các hàngaudit_semantic_call - phát lại công cụ giờ giữ
tool.result.metadata, nghĩa là siêu dữ liệu ngữ nghĩa dựa trên đồ thị không bị mất khi phát lại/xuất - phát lại tất định so sánh siêu dữ liệu đường quyết định, không phải sự bằng nhau ngữ nghĩa của mọi danh sách ký hiệu được trả về
Việc này cho câu trả lời ngữ nghĩa dựa trên LSP và dựa trên đồ thị độ nhìn thấy kiểm toán tương đương, dù chúng vẫn đến từ các đường lưu trữ/môi trường chạy khác nhau.
Các thao tác đang được phơi bày
lsp
Bề mặt trực tiếp lsp gồm các thao tác có phong bì cho:
- định nghĩa
- tham chiếu
- rê chuột
- ký hiệu tài liệu
- ký hiệu không gian làm việc
- triển khai
- phân cấp gọi
- chẩn đoán đã tổng hợp
Đây là bề mặt đúng khi độ mới quan trọng hơn khả năng lặp lại.
code_intelligence
Bề mặt đồ thị gồm:
- tra ký hiệu
- ký hiệu tệp
- tham chiếu
- bên gọi
- bên được gọi
Đây là bề mặt đúng khi khả năng lặp lại và độ trễ thấp hơn quan trọng hơn độ mới trạng thái trình soạn tức thì.
Liên quan: AX Wiki
Một bề mặt tri thức thứ ba, tùy chọn, là wiki kho ngữ nghĩa gốc dưới .ax-wiki/, được biên dịch bởi ax-code wiki. Nó không thuộc hợp đồng phong bì đồ thị/LSP cấu trúc ở trên.
| Bề mặt | Vai trò |
|---|---|
lsp / code_intelligence |
Độ chính xác cấu trúc (tài liệu này) |
.ax-wiki/ |
Tường thuật kiến trúc có nguồn chống lưng cho tác nhân |
Xem AX Wiki cho CLI, định tuyến và các mục không nhằm tới. Việc tổng hợp wiki không được coi là thứ thay cho bên gọi/bên được gọi/tham chiếu.
Các mục không nhằm tới quan trọng
Lớp ngữ nghĩa hiện tại không làm những việc này:
- không định tuyến đồ thị trước ẩn với phương án dự phòng LSP tự động
- không tuyên bố độ mới đồ thị bằng độ mới LSP trực tiếp
- không tuyên bố mọi trợ giúp ngữ nghĩa nội bộ được phơi qua HTTP hoặc SDK
- không tách môi trường chạy ngữ nghĩa Rust trong triển khai hiện tại
- không tuyên bố markdown AX Wiki là nguồn sự thật cấu trúc (xem AX Wiki)
Hướng dẫn tích hợp
Khi viết tài liệu, ràng buộc SDK, hoặc quy trình cấp cao hơn:
- mô tả
lspvàcode_intelligencenhư các bề mặt ngữ nghĩa riêng - phân biệt thao tác công cụ công khai với hàm trợ giúp nội bộ
- chỉ mô tả các bảo đảm kiểm toán/phát lại thực sự được giữ trong lược đồ hiện tại
- nêu cờ khi một bề mặt ngữ nghĩa không phải lúc nào cũng bật
- khi nhắc AX Wiki, hãy giữ trách nhiệm wiki và đồ thị tường minh