//! Persistent sealed state `Σ` and its decrypted form `M`.
//!
//! `Σ_0 := ( C, {(cid_c, η_c, K̂_c)}, Reg, ver )`
//!
//! - `C = Enc_K(M; DS_seal ‖ ver)` — sealed protected state.
//! - `K̂_c = Wrap_{W_c}(K)` — per-credential wrapped state key.
//! - `Reg = {cid_c → pk_c}` — verifier registry, populated at enrollment.
//! - `ver` — wrapping epoch identifier.
pub use ;
pub use Registry;
pub use ;