Rotifer IR 规约

此内容已重组。请参见 跨 Binding IR 了解完整的 IR 参考，包括 WASM 选型理由、自定义段和宪法统一不变式。

完整的形式化规范请参见 GitHub 上的完整文档。