Hibana：Rust 中的编排式编程内核

Choreographic Programming in Rust

Hibana 是一个专为 Rust 打造的 choreography-derived runtime enforcement kernel，它允许开发者通过单一的全局 choreography 来定义和执行多参与方协议。该工具将 choreography 投影为每个角色的紧凑程序，确保所有发送、接收或路由步骤在提交前严格匹配。Hibana 无条件支持 no_std，无需分配器，且利用调用者提供的存储。它通过紧凑的 descriptors 管理协议状态，避免了因协议增长导致的 endpoint type 膨胀。支持最多 256 个 roles，提供异步 send、seq、par 等原语，并通过 Transport trait 实现传输中立集成。无论是 hosted 还是 embedded 目标，Hibana 都提供统一的公共 API，让分布式协议的实现更加安全、高效且易于验证。