Expand description
Form-token consume state machine (RFC-007).
Pure classifier for atomic form-token consume operations (RFC-007). 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.