Hibana：Rust并发编程新工具，编译期即可证明协议无死锁

Hibana 是一个专为 Rust 设计的仿射多方会话类型（MPST）运行时引擎。它允许开发者编写全局的通信编排逻辑，并在编译阶段将其投影为本地角色，从而在代码运行前就通过数学证明协议是无死锁的。该工具核心支持 no_std 和无堆内存分配环境，非常适合对安全性和确定性要求极高的嵌入式及系统级开发场景。