Rotifer IR 规约

版本： 0.1（草案）

完整文档： 在 GitHub 查看

---

摘要

Rotifer IR（Rotifer 中间表示）是 Rotifer Protocol 的跨绑定 Gene 可移植性层。它使在一个绑定环境（如 Web3）中诞生的 Gene 能够被编译并在完全不同的环境（如 Cloud、Edge、TEE）中执行——无需人工重写。

Rotifer IR 之于 Gene，就像 LLVM IR 之于程序，或 JVM 字节码之于 Java 类：一个抽象的、可验证的、跨平台可编译的逻辑表示层。然而，与通用编译器 IR 不同，Rotifer IR 是 Gene-Aware 的——其类型系统原生理解 Gene 的输入/输出模式、资源约束和安全边界。

技术决策：WASM + Rotifer 约束层

IR 采用双层设计：

层	职责	技术
执行层	计算逻辑、控制流、数据操作	WebAssembly (WASM)
约束层	资源限制、安全不变量、类型约束	Rotifer 原生自定义注解

宪法统一不变量

Rotifer IR 最关键的属性：

在任何绑定中于 L0 声明的约束，必须在 IR 编译、传输和重编译过程中被保留。任何绑定不得削弱宪法约束。

这是 Rotifer IR 与通用 IR 的根本区别——它承载安全保证，而不仅仅是计算逻辑。

---

完整规约（913 行，11 章）请参见 GitHub 上的完整文档。