Choreographic Programming in Rust

Automated excerpt

Projectable is sealed: only Hibana choreography constructors establish it. step-list and projection checks. Hibana owns choreography meaning and route authority. Route offer and unresolved route demultiplexing require ReceivedFrame::framed(... ) evidence.

Selected automatically from source text; not independently written or fact-checked. Read the original for full context.