//! # jinn
//!
//! A **verification-first language and framework for whole Cardano EUTXO
//! protocols**: model a protocol once, then prove safety properties, emit the
//! on-chain validators (compiled directly to UPLC), and derive the off-chain
//! transaction builders — projections of one checked artifact.
//!
//! **Status: early development — this crate name is reserved.** The umbrella API
//! (re-exporting the public `jinn-*` crates) is not published yet. Follow
//! development at <https://github.com/hackphobic/jinn>.