Module state 

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.

Re-exports

pub use claim::ClaimOutcome;

pub use claim::classify_claim;

pub use session::SessionValidationOutcome;

pub use session::classify_session;

pub use token::TokenConsumeOutcome;

pub use token::classify_token_consume;

Modules

claim

Code-claim state machine (RFC-005).

session

Session validation state machine (RFC-006).

token

Form-token consume state machine (RFC-007).