Hibana es un núcleo de ejecución derivado de la coreografía diseñado para Rust que permite a los programas ejecutar protocolos multiparte finitos desde una única coreografía global. A diferencia de los enfoques tradicionales, Hibana proyecta la coreografía en programas compactos para cada rol, garantizando que cada paso de envío, recepción o enrutamiento coincida con el programa antes de comprometer el progreso. Esta herramienta es unida por defecto a no_std, no requiere asignadores de memoria y utiliza almacenamiento proporcionado por el llamador, manteniendo el estado del protocolo en descriptores compactos en lugar de tipos de continuación distintos, lo que evita que el crecimiento del protocolo se traduzca en un crecimiento de tipos de extremo.
El sistema soporta hasta 256 roles mediante un dominio de rol de un byte completo y ofrece integración neutra de transporte a través de una única interfaz Transport. Hibana no implementa una pila de red ni un algoritmo distribuido; su función es enforced localmente en cada extremo adjunto, dejando las condiciones de transporte, codificación y programación como responsabilidad externa. La arquitectura permite que los extremos sean afines, es decir, pueden ser liberados pero no pueden publicar progreso duplicado, y mantiene la misma API pública tanto en objetivos alojados como en embebidos. El proyecto requiere Rust 2024 y una versión estable de Rust 1.95 o superior, sin dependencias normales ni variantes de características seleccionadas. Hibana está diseñado para escalar protocolos a través de sesiones sin multiplicar los tipos de extremo, utilizando reglas de ejecución proyectadas y marcadores de frescura para garantizar la coherencia distribuida.