Tải AX Code · Miễn phíTài liệu

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.ts và 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ếp
  • graph: 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ăng
  • lsp hiệ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, graph hoặc cache
  • completeness: full, partial hoặc empty
  • timestamp: khi câu trả lời nền được phân giải
  • degraded: 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óp
  • cacheKey: 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ụ lsp ghi các hàng audit_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ì.

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:

  1. mô tả lsp và code_intelligence như các bề mặt ngữ nghĩa riêng
  2. phân biệt thao tác công cụ công khai với hàm trợ giúp nội bộ
  3. 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
  4. nêu cờ khi một bề mặt ngữ nghĩa không phải lúc nào cũng bật
  5. khi nhắc AX Wiki, hãy giữ trách nhiệm wiki và đồ thị tường minh