Hibana is a Rust runtime that enforces finite multiparty protocols by projecting a global choreography into compact programs for each role, ensuring all communication steps match the protocol before committing. It operates without allocation, supports up to 256 roles, and provides transport-neutral integration with the same API across hosted and embedded targets.