Module promise_semantics 

Store-agnostic state transitions for AwaitEvent keyed promises.

Backends own persistence, authentication, and compare-and-swap mechanics. This module owns the semantic decisions that must remain identical across the inline, SQLite, Postgres, and engine-backed implementations.

Enums

PromiseState

State observed by a backend while holding its promise transition fence.

PromiseTransition

Pure decision returned for a proposed terminal transition.

SessionRevocationTransition

Pure session-tombstone decision shared by in-memory and durable stores.

Functions

cancel_sweep

Decide the session cancel-sweep transition for one promise.

constant_time_eq

Compare authentication bytes without branching on their contents.

derive_key_id

Derive the stable promise identity shared by every substrate.

resolve

Decide a normal first-writer-wins resolve.

revoke_session

session_allows_access

Whether mint and resolve may proceed for a session.

sign_material

Canonical bytes authenticated by HMAC-backed durable AwaitEvent adapters.