rul .rl
← Bàn Thử Nghiệm ROADMAP · v0.4.0 → v1.0 v0.4.0 DOI: 10.5281/zenodo.23722094

Lộ Trình Kỹ Thuật Rul (.rl) — Từ Engine Dữ Liệu Cột v0.4 Đến Ngôn Ngữ Hệ Thống Đa Dụng v1.0

Lộ trình kỹ thuật 4 cột mốc mở rộng Rul (.rl) từ engine tính toán cột 29 opcode (v0.4) thành ngôn ngữ hệ thống đa dụng thay thế Rust và Go cho phần mềm do AI sinh ra (v1.0).

[0x01] STRATEGY

Tại Sao Khởi Đầu Với Pipeline Mảng & Vector (v0.1 – v0.4)?

Để chứng minh khung lệnh nhị phân 16-byte hoạt động thực sự trên phần cứng trước khi thêm các tính năng ngôn ngữ đa dụng, chúng tôi chủ đích giới hạn v0.1 đến v0.4 ở các pipeline xử lý mảng và vector (29 opcodes). Kết quả đạt được: kiểm chứng tĩnh O(N) trong ~5.78 ns/lệnh, biên dịch ELF64 độc lập trong ~6.4 µs và băng thông thực tế 51.53 GB/s.

[0x02] SIX-MONTH ROADMAP TO v1.0

Bốn Cột Mốc Tiến Tới Ngôn Ngữ Hệ Thống Đa Dụng v1.0

v0.1.0 → v0.4.0 · Đã Phát Hành (Nền Tảng Sản Xuất) ✓ ĐÃ PHÁT HÀNH

Lõi SSA-DAG Dữ Liệu Cột 29 Opcode, White-Box Tracer & Trình Biên Dịch AVX2 ELF64 AOT

Chứng minh thực nghiệm khung lệnh nhị phân 16-byte, bộ kiểm chứng O(N) 1 lượt (~5.8 ns/node), engine 3 tầng, máy chủ rul-mcp và trình biên dịch mã máy Linux ELF64 không cần LLVM (~6.4 µs).

  • 01. RulHeader 64-byte, ArenaDescriptor 16-byte, ProofEntry 16-byte và NodeFrame 16-byte với 29 opcode.
  • 02. Bộ dịch hai chiều không suy hao .rls <-> .rl, công cụ dòng lệnh rul, rul-bench và máy chủ rul-mcp 6 công cụ.
  • 03. Bộ cấp phát thanh ghi YMM quét tuyến tính (ymm2..ymm13) đạt băng thông 51.53 GB/s (nhanh hơn C 4.72 lần).
v0.5 · Cột Mốc 1 (Tháng 1–2) ● ĐANG TRIỂN KHAI

Luồng Điều Khiển Đa Dụng, Hàm Mô-đun & Kiểu Dữ Liệu Phức Hợp

Mở rộng tập lệnh 16-byte vượt khỏi mảng số học để hỗ trợ số nguyên, struct, enum, chuỗi UTF-8, bảng băm, rẽ nhánh và vòng lặp có chứng chỉ dừng.

  • 01. Hỗ trợ trực tiếp i64, i32, u8, f32, struct cố định, enum đại số, chuỗi UTF-8 hợp lệ và bảng băm trên Arena.
  • 02. SelectBranch: rẽ nhánh điều kiện bắt buộc hai nhánh hội tụ về cùng trạng thái phiên bản bộ nhớ (kiểm tra trong O(1)).
  • 03. RegionLoop & Call: vòng lặp kèm chứng chỉ dừng trong ProofEntry và bảng hàm mô-đun kiểm chứng độc lập không cần inline toàn chương trình.
v0.6 – v0.7 · Cột Mốc 2 (Tháng 2–3) ○ THEO LỘ TRÌNH

Quyền Sở Hữu Heap & Vòng Đời Struct Cỡ Rust Trong Thời Gian O(N)

Tổng quát hóa token phiên bản 32-bit TokenOp và bảng ProofEntry 16-byte từ mảng phẳng sang cấp phát vùng nhớ Heap (Region) và mượn trường struct.

  • 01. Cấp phát và giải phóng vùng nhớ Heap tất định gắn liền với token sở hữu tuyến tính, không cần GC và không phân mảnh malloc/free.
  • 02. Chứng chỉ ProofEntry cho phép ghi đồng thời các trường struct tách biệt và kiểm tra vòng đời lát cắt zero-copy trong O(1).
  • 03. Chống tuyệt đối lỗi use-after-free, double-free và aliasing mà không tốn hàng giây giải hệ phương trình như Borrow Checker của rustc.
v0.8 – v0.9 · Cột Mốc 3 (Tháng 4–5) ○ THEO LỘ TRÌNH

Đồng Thời Định Tính Kiểu Go & Hệ Thống I/O Kiểm Soát Bằng CapabilityMask

Bổ sung tác vụ nhẹ (tasks), kênh truyền chuyển giao quyền sở hữu (channels) và mặt nạ quyền hạn phần cứng chi tiết cho syscall tệp, mạng và tiến trình.

  • 01. Gửi bộ đệm qua channel sẽ tiêu thụ token của bên gửi (AffineConsume) và chuyển quyền sở hữu sang bên nhận — triệt tiêu data race ngay lúc nạp mà không cần GC.
  • 02. Mở rộng RulHeader.capability_mask 64-bit để kiểm soát đọc/ghi file, socket mạng, bộ đếm thời gian và tiến trình con.
  • 03. File .rl có CAP_NONE (0x0) bị khóa chặt về mặt toán học khỏi mọi lời gọi mạng hoặc ổ cứng trước khi chương trình kịp chạy.
v1.0 · Cột Mốc 4 (Tháng 6) ○ THEO LỘ TRÌNH

Trình Biên Dịch Mã Máy Đa Kiến Trúc (x86_64, ARM64, WASI) & Chứng Minh Hình Thức Kani

Phát sinh file thực thi độc lập trên Linux, macOS, Windows và WebAssembly không cần LLVM, được bảo chứng bởi kiểm chứng mô hình Kani và bộ 50 bài test chuẩn v1.0.

  • 01. Sinh mã máy trực tiếp không cần LLVM cho x86_64 và AArch64 (ARM64) trên Linux, macOS, Windows cùng mô-đun WebAssembly (WASI).
  • 02. Chứng minh tính đúng đắn bằng Kani model-checking và kiểm thử đối chiếu liên tục (differential fuzzing) trên toàn bộ trình giải mã, verifier và AOT.
  • 03. Đóng băng đặc tả nhị phân .rl v1.0 và công bố bộ 50 chương trình kiểm chuẩn chính thức.
[0x03] ARCHITECTURAL DISCIPLINE

Ba Nguyên Tắc Kỹ Thuật Bất Biến (Non-Goals)

1. Không Dùng Bộ Giải Quay Lui (No Backtracking)

Mọi tính chất an toàn (kiểu, quyền sở hữu, biên mảng, tính dừng vòng lặp, quyền I/O) đều phải kiểm chứng được trong đúng 1 lượt quét tiến O(N).

2. Không Bộ Thu Gom Rác (No Garbage Collector)

Không có độ trễ dừng GC và không có luồng ngầm; vòng đời bộ nhớ được theo dõi tường minh qua các Arena và Region gắn số phiên bản.

3. Không Chạy Dự Phòng Ngầm (No Silent Fallbacks)

Mọi tầng thực thi (Tier 0, Tier 1, Tier 2 và ELF64 AOT) phải cho kết quả khớp nhau hoặc dừng an toàn với mã lỗi tất định.