Expand description
Form-token consume state machine (RFC-007).
This is a direct port of zinnias_ciao_contracts::auth::classify_token_consume
and its six tests, lifted into codlet-core so the logic is a pure,
storage-free primitive. The function signature and all invariants are
preserved exactly; adapters supply the inputs from their query results.
Enums§
- Token
Consume Outcome - Outcome of a single-use form-token consume attempt (RFC-007 §3).
Functions§
- classify_
token_ consume - Classify a consume attempt from the atomic UPDATE and a follow-up SELECT.