Module preconditions 

Moving a row along, or out of, the chain of things that must be true before we submit. Decided from the database alone, so it keeps running during a Suotar outage.

Structs

PendingMove 🔒

Constants

PRECONDITIONS_LIMIT

How many rows one iteration may move.

Functions

pending_moves 🔒

Only the rows whose facts disagree with the state they are in, so limit cannot be spent on rows that need nothing.

recompute_preconditions

Applies at most limit moves to the scoped rows and returns how many moved.

resume_state 🔒

Where a failed_retryable row goes when its backoff elapses, derived from how far it had got. Never submitting: only the import phase writes that, in the transaction before it sends.

transition_for 🔒

The transition each edge writes: kept out of the query so every edge’s error code, admin flag and audit message sit in one place.