//! High-level orchestration managers (RFC-013).
//!
//! This module provides three composable managers that wrap the low-level
//! primitives into safe, ergonomic flows:
//!
//! - [`CodeAuth`] โ code issuance, two-step redemption, callback-based
//! redemption, and revocation.
//! - [`SessionManager`] โ session issuance (requires a [`RedeemSuccess`]
//! proof), validation, and revocation.
//! - [`FormTokenManager`] โ form-token issuance and atomic consume with
//! idempotency replay support.
//!
//! ## Layered design (RFC-013 ยง10.1)
//!
//! Primitive layer (`code`, `hashing`, `state`): security-conscious custom apps.
//! Store service layer (`store::*` traits): custom routing and special flows.
//! Flow service layer (`auth::*` managers): standard flows (this module).
//! Framework adapter layer: future crates for quick integration.
//!
//! ## Host application boundary
//!
//! codlet authenticates; the host authorizes. The managers never make access
//! control decisions. [`RedeemSuccess`] carries an opaque `grant` returned by
//! the host at issuance time; codlet does not interpret it.
pub use CodeAuth;
pub use ;
pub use NoRateLimit;
pub use SessionManager;
pub use FormTokenManager;