v1.0.0

Telltale v1.0.0

Initial stable release of Telltale, a Rust framework for choreographic programming with multiparty session types.

Highlights

• Choreographic DSL: Write distributed protocols from a global viewpoint with automatic projection to local session types
• Multiparty Session Types: Compile-time protocol safety guarantees
• Effect Handler System: Decouple protocol logic from transport implementation
• Bytecode VM: Alternative execution model with deterministic scheduling
• Lean Verification: ~620 files of mechanized proofs for preservation, progress, coherence, and harmony

Crates

Crate	Purpose
telltale	Facade with session types and async channel abstractions
telltale-types	Core types matching Lean definitions with content addressing
telltale-macros	Procedural macros (choreography!, session, Role, etc.)
telltale-choreography	DSL parser, projection, effect handlers, simulation, topology
telltale-theory	Session type algorithms (projection, merge, duality, subtyping)
telltale-vm	Bytecode VM execution engine
telltale-simulator	VM-backed simulation with deterministic middleware
telltale-lean-bridge	Lean interop with JSON export/import

Documentation

See the documentation for guides and API reference.