Liên hệ

Phân tích chương trình

ActantOS

An toàn vận hành và xác minh cho hệ thống đa tác tử.

Lõi thực thi v1.2.0 đã phát hành, đường đi của một lệnh gọi công cụ qua lõi đó, và những câu hỏi an toàn đa tác tử vẫn còn là mục tiêu nghiên cứu.

v1.2.0 “Quiet Open-Core” — đã phát hành, tự lưu trữ

  • Hệ thống đa tác tử
Truy cập actantos.com Tất cả dự án
Minh họa nghiên cứu về các tác tử phần mềm tạm dừng để chờ con người phê duyệt
Hình minh họa của chương trình, không phải ảnh chụp phần mềm.

Bối cảnh nghiên cứu

ActantOS thuộc lĩnh vực Hệ thống đa tác tử và làm việc với câu hỏi mà phòng nghiên cứu luôn quay lại: hệ thống tự chủ được phép làm gì, và ai là người quyết định?

Chương trình tách rõ hai điều dễ nhầm: một nền tảng thực thi đã phát hành và tự lưu trữ, và những bảo đảm phối hợp vẫn đang được kiểm chứng.

Cách tiếp cận

  1. Chặn lệnh gọi công cụ trước khi lệnh đó chạm tới hệ thống mà nó sẽ tác động.
  2. Đối chiếu lệnh gọi với chính sách và trả về một trong ba kết quả: cho phép, tạm dừng chờ con người, hoặc chặn.
  3. Ghi lại quyết định, để sau đó có thể dựng lại đường đi tới một hành động.

Kiến trúc hệ thống

Sơ đồ — đường đi của một lệnh gọi công cụ qua lõi ActantOS. Đọc từ trên xuống: lệnh gọi được chặn, đối chiếu với chính sách, rẽ vào một trong ba kết quả và được ghi lại. API /v1 cố định là hợp đồng bao quanh đường đi này.

  1. Bên gọi

    Lệnh gọi công cụ của tác tử

    Một hành động tác tử yêu cầu thực hiện. Lõi coi đó là chưa đáng tin cho tới khi chính sách quyết định.

  2. Điểm chặn

    Lõi thực thi tự lưu trữ

    Nằm giữa tác tử và hệ thống mà chúng tác động, để không lệnh gọi nào tới hệ thống đích mà chưa được xem xét.

    • Thực thi an toàn khi có lỗi

  3. Quyết định

    Bộ máy chính sách Cedar

    Đánh giá lệnh gọi đã bị chặn theo chính sách của tổ chức.

    • Bộ máy chính sách Cedar

  4. Kết quả

    Cho phép, tạm dừng hoặc chặn

    Ba kết quả mà chương trình nêu. Một lệnh gọi bị tạm dừng chỉ tiếp tục khi có phê duyệt một lần của con người.

    • Phê duyệt một lần bởi con người

  5. Ghi lại

    Nhật ký kiểm toán liên kết mã băm

    Lưu quyết định và thứ tự các sự kiện, để có thể dựng lại đường đi tới một hành động.

    • Nhật ký kiểm toán liên kết mã băm

  6. Hợp đồng

    API /v1 cố định

    Bản phát hành cố định giao diện có phiên bản, để bên tích hợp có thể dựa vào đó.

    • API /v1 cố định

Hiện trạng triển khai

Trạng thái công bố
v1.2.0 “Quiet Open-Core” — đã phát hành, tự lưu trữ

Trạng thái nêu trên là trạng thái đã công bố: lõi chạy trên hạ tầng của chính đơn vị vận hành, và bản phát hành được ghi lại trên trang của chương trình.

Những gì trang này không khẳng định

  • Các tính chất an toàn đa tác tử là mục tiêu nghiên cứu, không phải khẳng định của v1.2.0: cơ chế chấp thuận dùng chung, an toàn xuyên suốt phê duyệt–quyết định–tác động và bằng chứng tác động có xét đến trường hợp bỏ sót vẫn đang được kiểm chứng.
  • Một lõi đã phát hành không phải bằng chứng rằng các tính chất đó đúng, và phần phân tích này không trình bày nó như bằng chứng.

Bằng chứng

Bằng chứng xác lập được gì

Bằng chứng là một bản phát hành đã ship, tự lưu trữ, có API cố định và trang phát hành được ghi lại tại actantos.com — cùng ActantBot, dòng bot hướng đến người dùng nội bộ chạy trên cùng kernel đó.

Bằng chứng chưa xác lập được gì

Bản phát hành không chứng minh các tính chất phối hợp đa tác tử. Chương trình nêu chúng như giả thuyết, và trang này giữ nguyên cách diễn đạt đó.

Lộ trình

Mọi mục dưới đây là dự kiến, đề xuất hoặc đang nghiên cứu. Không mục nào đã phát hành, và danh sách này không phải lịch phát hành.

  1. Đang nghiên cứu

    Cơ chế chấp thuận dùng chung (C1)

    Đang nghiên cứu: tối đa một lần chấp thuận ủy quyền thành công trên các bộ thực thi khác nhau, trong các trường hợp tranh chấp, trùng lặp, sự cố, phục hồi và phân vùng đã khai báo.

  2. Đang nghiên cứu

    An toàn phê duyệt–quyết định–tác động (C2) và bằng chứng tác động có xét trường hợp bỏ sót (C3)

    Đang nghiên cứu: bất biến ràng buộc dưới một mô hình lỗi đã khai báo, giữ tách biệt các trạng thái đã thử, đã chấp nhận, đã hoàn tất, đã quan sát và chưa rõ.

  3. Đề xuất

    Triển khai có quản lý ngoài hình thức tự lưu trữ

    Đề xuất: trang của chương trình liệt kê triển khai đa tổ chức có quản lý như lộ trình có điều kiện, không thuộc nền tảng công khai hiện tại.

Hợp tác

ActantOS phát triển cùng các nhóm nền tảng và an toàn đang cho tác tử vận hành trên hệ thống thật và muốn các lệnh gọi được quản trị thay vì chỉ được tin.

Hợp tác với chúng tôi Cách phòng nghiên cứu làm việc

Cùng chúng tôi phát triển một chương trình.

Mỗi chương trình tìm đối tác ở nơi câu hỏi nghiên cứu gặp thực tiễn: phản biện lâm sàng với AIMed; quản trị vận hành tác tử với ActantOS và Agent Platform; quy trình học thuật với ScienzaOS; và bộ tài liệu quy mô lớn với AgenticOCR.

Trao đổi hợp tác
  • Thí điểm lâm sàng
  • Hợp tác nghiên cứu
  • Hợp tác về bộ dữ liệu
  • Đề tài sinh viên
  • Đóng góp mã nguồn mở