Rul (.rl) 技术路线图 — 从 v0.4 列式计算引擎到 v1.0 通用系统编程语言
四个里程碑的工程路线图，将 Rul (.rl) 从 29 操作码列式计算引擎 (v0.4) 扩展为替代 Rust 与 Go 的 AI 原生通用系统编程语言 (v1.0)。
为什么我们从数据与向量流水线起步 (v0.1 – v0.4)？
为了在引入通用语言结构之前先在真实硅片上证明 16 字节二进制指令格式的可行性，我们将 v0.1 至 v0.4 阶段严格限制在数组与向量处理流水线（29 个操作码）——实证达成了 ~5.78 ns/节点的 O(N) 验证、~6.4 µs 的独立 ELF64 编译以及 51.53 GB/s 的吞吐量。
迈向 v1.0 通用系统编程语言的四个里程碑
29 操作码列式 SSA-DAG 核心、白盒追踪器与线性扫描 AVX2 ELF64 AOT 编译器
在真实硬件上验证了 16 字节二进制指令格式、单遍 O(N) 验证器 (~5.8 ns/节点)、三层执行引擎、rul-mcp 服务器以及无需 LLVM 的原生 Linux ELF64 编译器 (~6.4 µs)。
- 01. 涵盖 29 个操作码的 64 字节 RulHeader、16 字节 ArenaDescriptor、16 字节 ProofEntry 与 16 字节 NodeFrame。
- 02. 无损双向 .rls <-> .rl 符号汇编器、独立 rul CLI、rul-bench 基准套件与 6 工具 rul-mcp 服务器。
- 03. 线性扫描 YMM 寄存器分配器 (ymm2..ymm13)，在 80 MB 数组上实现 51.53 GB/s 吞吐量（比 C 快 4.72 倍）。
通用控制流、模块化函数与复合数据类型
将 16 字节指令集扩展到数值数组之外，支持通用标量、结构体、枚举、UTF-8 字符串、哈希表、条件分支以及带有终止证明的循环。
- 01. 原生支持 i64、i32、u8、f32、固定布局结构体、代数标签联合体、已验证 UTF-8 字符串与 Arena 哈希表。
- 02. SelectBranch：要求两个分支在完全相同的内存版本状态下汇合的条件分支（以 O(1) 复杂度验证）。
- 03. RegionLoop 与 Call：带 ProofEntry 终止燃料/变体见证的有界循环，以及无需全程序内联即可独立验证的模块化函数。
O(N) 时间内实现 Rust 级堆内存所有权与结构体生命周期
将 32 位 TokenOp 版本票据与 16 字节 ProofEntry 见证从平坦数组推广至基于区域（Region）的堆分配与结构体字段借用。
- 01. 绑定到线性所有权令牌的确定性区域堆分配与释放，零 GC 停顿且零 malloc/free 碎片。
- 02. 用于不相交结构体字段并发修改与零拷贝子切片生命周期的 ProofEntry 旁路见证，每条指令以 O(1) 检查。
- 03. 无需数秒的借用检查器约束求解，即可彻底防止释放后使用 (use-after-free)、双重释放与非法别名。
Go 风格确定性并发与受 CapabilityMask 管控的操作系统 I/O
引入轻量级任务、转移所有权的通道（Channel）以及管控文件、网络与进程系统调用的细粒度文件头权限位。
- 01. 通过类型化通道发送缓冲区会对发送方令牌执行 AffineConsume 并将所有权转移给接收方——无需 GC 即可在加载时杜绝数据竞争。
- 02. 扩展 64 位 RulHeader.capability_mask，精细管控文件系统读写、网络套接字、定时器与子进程。
- 03. 带有 CAP_NONE (0x0) 的 .rl 二进制文件在执行开始前就在数学层面被禁止发起任何网络或磁盘调用。
多架构原生后端（x86_64、ARM64、WASI）与形式化可靠性证明
无需 LLVM 即可生成跨 Linux、macOS、Windows 和 WebAssembly 的独立可执行文件，并由 Kani 模型检查与 50 个 v1.0 一致性测试套件提供背书。
- 01. 面向 Linux、macOS 和 Windows 的 x86_64 与 AArch64 (ARM64) 零 LLVM 原生代码生成，以及确定性 WASI 模块。
- 02. 覆盖二进制解码器、O(N) 验证器与原生代码生成器的 Kani 有界模型检查证明与持续差分模糊测试。
- 03. 冻结 .rl v1.0 二进制规范并发布公开的 50 程序一致性测试套件。
三大核心工程铁律（非目标 Non-Goals）
每一项安全属性（类型、所有权、边界、循环终止、I/O 权限）都必须在单次前向扫描 O(N) 内完成验证。
零 GC 停顿且零隐藏后台线程；内存生命周期通过版本化 Arena 与 Region 显式追踪。
所有执行层（Tier 0、Tier 1、Tier 2 与 ELF64 AOT）必须产生完全一致的结果，否则以确定性错误安全中止。