//! Pure lifecycle classifiers (RFC-005, RFC-006, RFC-007).
//!//! Each sub-module encodes a single state machine as a pure function. No I/O,
//! no `async`. Adapters supply the inputs; these functions produce the outcome.
pubmodclaim;pubmodsession;pubmodtoken;pubuseclaim::{ClaimOutcome, classify_claim};pubusesession::{SessionValidationOutcome, classify_session};pubusetoken::{TokenConsumeOutcome, classify_token_consume};