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

Bằng chứng thực thi

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-08-25 Chủ sở hữu: môi trường chạy AX Code

Mỗi phiên AX Code được ghi trong lúc chạy. Trang này trình bày các lệnh biến bản ghi đó thành thứ bạn có thể xem lại, so sánh, xuất và hoàn tác.

Dùng nó khi một tác nhân đã xong và bạn cần trả lời: nó đã làm gì, rủi ro thế nào, nó so với một lần thử khác ra sao, và làm thế nào để quay lại?

Cái gì được ghi

Trong một lần chạy, AX Code ghi hai thứ độc lập:

Một nhật ký sự kiện có kiểu — quyết định định tuyến, hoạt động mô hình, ranh giới bước, lời gọi công cụ và kết quả công cụ. Đây là nguồn cho graph, replay, compare, trace và audit.
Ảnh chụp tệp — được ghi vào một kho đối tượng Git nằm ngoài kho của bạn, dưới thư mục dữ liệu AX Code, dùng refs/snapshots/<hash>. Cây làm việc của bạn và .git/ của dự án không bị sửa để lưu chúng.

Cả hai đều cục bộ. Không có gì được tải lên.

Dựng lại một lần chạy

ax-code graph <sessionID>

Dựng lại phiên thành một đồ thị thực thi: thời lượng, tóm tắt rủi ro, số token, các tác nhân đã dùng, và mọi bước với lời gọi công cụ cùng thời điểm của chúng.

## Session ses_01H8XK

Duration: 9m 54s | Risk: HIGH (53/100) | Tokens: 167,650 in / 18,494 out
Agents: architect

### Step 1 (8s) | tokens: 12263/587

- read: api.ts → ok (5ms)
- grep: rateLimit → ok (12ms)

--format chọn các đầu ra thay thế, gồm Mermaid và một khung nhìn tô pô, khi bạn muốn đồ thị trong một công cụ khác.

Lưu ý đây là đồ thị thực thi phiên — việc tác nhân đã làm. Nó không phải đồ thị mã kho; đó là ax-code index và lớp trí tuệ mã.

So sánh hai lần chạy

ax-code session compare <sessionA> <sessionB>
ax-code session compare <sessionA> <sessionB> --deep

Báo chênh lệch rủi ro, tệp đã đổi, số lỗi công cụ, đường quyết định mỗi lần chạy đã đi, và số đếm theo loại sự kiện. --deep thêm phân tích phân kỳ cấp bước qua so sánh phát lại.

Việc này so sánh các lần chạy, không phải mã nguồn. Nó trả lời “lần thử thứ hai điểm kém hơn — nó phân kỳ ở đâu”, không phải “cho tôi xem diff mã”.

Một cách dùng điển hình là chọn giữa hai chiến lược cho cùng tác vụ:

  Risk Comparison
  ----------------------------------------
  Score: 53 → 93 (+40) ↑
  Level: HIGH → CRITICAL
  Files: 8 → 25
  Failures: 0 → 15

Kiểm tra nhật ký sự kiện đã ghi

ax-code session replay <sessionID> --mode summary
ax-code session replay <sessionID> --mode verify
ax-code session replay <sessionID> --mode reconstruct
ax-code session replay <sessionID> --mode export

verify kiểm tra nhật ký đã ghi xem có nhất quán không. reconstruct dựng lại luồng bước từ sự kiện. export ghi một gói phát lại có thể mang đi.

Phát lại dựng lại; nó không thực thi lại. Nó không chạy lại mô hình, không gọi lại công cụ, và không tái tạo trạng thái bên ngoài. Chế độ execute chuẩn bị một luồng đã dựng lại để so sánh theo chương trình với bản gốc và nhằm cho kiểm thử, không nhằm chạy lại công việc.

Đọc các tín hiệu rủi ro

ax-code risk <sessionID>
ax-code risk <sessionID> --explain
ax-code risk <sessionID> --json

Điểm là một suy đoán tất định suy từ các tín hiệu đã ghi, gồm bao nhiêu tệp đã đổi, thay đổi có trải nhiều vùng cấp cao nhất hay không, bao nhiêu lời gọi công cụ thất bại, xác thực đã chạy chưa, có ảnh chụp diff hay không, bao nhiêu bề mặt API bị ảnh hưởng, lần chạy kết thúc thế nào (một cổng hoàn tất bị chặn hoặc một kết thúc trần bước/đình trệ đều thêm trọng số), và các đường dẫn nhạy về bảo mật có bị chạm hay không. Mỗi yếu tố đóng góp được liệt kê kèm trọng số, cùng các biện pháp giảm được gợi ý.

Đó là trợ giúp xem lại. Nó không phải xác suất, độ tin đã hiệu chuẩn, hay một tuyên bố rằng mã an toàn. Một điểm THẤP trên một thay đổi chưa xác minh vẫn nghĩa là thay đổi chưa được xác minh.

Hoàn tác chính xác

Ảnh chụp tệp hoạt động trong kho Git và thư mục dự án thông thường khi Git đã được cài và snapshot được bật. AX Code giữ kho Git ảnh chụp của nó ngoài dự án của bạn; nó không tạo thư mục .git của dự án. Quy tắc bỏ qua và loại trừ đường dẫn không được hỗ trợ vẫn áp dụng.

Hoàn nguyên của TUI hoàn tác thông điệp và các thay đổi tệp đã ghi. Với snapshot: false, hoặc với các lượt cũ hơn chưa từng ghi đường cơ sở, nó chỉ có thể hoàn tác thông điệp; các sửa tệp vẫn nằm trên đĩa. Bật ảnh chụp bây giờ không thể dựng lại nội dung tệp trước đó. Một lượt đã ghi không có thay đổi tệp cũng không có gì để khôi phục.

ax-code session rollback <sessionID> --list      # show recoverable points
ax-code session rollback <sessionID> --dry-run   # show what would change
ax-code session rollback <sessionID> --step 4    # restore one step
ax-code session rollback <sessionID>             # restore the whole session

--list kết hợp sự kiện bước bền vững với chi tiết đồ thị thực thi, nên bạn có thể nhắm một bước cụ thể thay vì hoàn nguyên cả lần chạy. --dry-run dùng cùng bộ lập kế hoạch quay lui như áp dụng và liệt kê mọi phiên được ủy thác có sổ tệp đóng góp vào kết quả.

Quay lui theo các phiên con lồng nhau khi chúng ghi vào đúng thư mục làm việc của cha. Nó khôi phục các thay đổi tệp sau ranh giới của chúng trong khi giữ bản ghi của chúng. Các hậu duệ chạy trong worktree hoặc thư mục khác bị loại, và quay lui đóng khi lỗi nếu bất kỳ phiên được đưa vào nào vẫn đang chạy.

Các ranh giới đáng biết trước khi dựa vào nó: quay lui khôi phục từ ảnh chụp lấy trong lần chạy. Một tệp chưa từng được chụp — vì nó bị đổi ngoài phiên, hoặc không ở trạng thái có thể khôi phục — không thể được khôi phục theo cách này. Hãy dùng --dry-run trước trên bất cứ thứ gì có hệ quả.

Thử một chiến lược khác

ax-code session branch <sessionID>
ax-code session branch <sessionID> --from <messageID>

Rẽ nhánh trạng thái đã lưu của phiên để một lần thử thứ hai bắt đầu từ một điểm đã chọn thay vì từ đầu.

Việc này rẽ nhánh trạng thái phiên — thông điệp và mục tiêu. Nó không phải nhánh Git và không phải worktree. Với các ứng viên Git tách biệt, xem Thay đổi đa mô hình đã xác minh.

Chẩn đoán

ax-code session trace <sessionID>
ax-code session trace <sessionID> --logs

Chẩn đoán dựa trên phát lại với một dòng thời gian đã chấm rủi ro. --logs chuyển sang phân tích tệp nhật ký cũ thay vì sự kiện phát lại, hữu ích khi bạn điều tra một vấn đề vận hành thay vì xem lại một thay đổi.

Xuất bằng chứng

ax-code audit export --all --since 2026-08-01     # JSON Lines
ax-code audit export --all --risk HIGH            # filter by minimum risk
ax-code audit report <sessionID>                  # Markdown report
ax-code audit otlp <sessionID>                    # OpenTelemetry spans
ax-code audit prune --days 90                     # delete old events

JSONL và OTLP làm bản ghi lần chạy có thể được đường ống xem lại hoặc quan sát của bạn tiêu thụ. Báo cáo Markdown dành cho người đính kèm bằng chứng vào một PR hoặc một bản ghi thay đổi.

Duyệt nó

ax-code run-report                 # latest session
ax-code run-report --index         # session index

Mở báo cáo lần chạy cục bộ trong trình duyệt với tóm tắt lần chạy, dòng thời gian, thay đổi, trạng thái xác thực, chi tiết rủi ro, thông tin nhánh và các điểm quay lui. Máy chủ chỉ gắn loopback.

Bảo đảm mục tiêu — kiểm tra nghiệm thu có thể thực thi và độ mới nguồn cho mục tiêu dài
Vì sao AX Code — lớp bằng chứng này dùng để làm gì
Thay đổi đa mô hình đã xác minh — tạo các ứng viên đáng so sánh
Lớp ngữ nghĩa — phong bì nguồn gốc trên câu trả lời đồ thị và LSP
Báo cáo lần chạy — khung nhìn cấp không gian làm việc và báo cáo theo phiên