Module device_join_journal 

The adjacency rules the device-join journal’s compare-and-swap update enforces between recorded steps, and the failures a journal write reports.

Enums

DeviceJoinJournalError

A journal transition that contradicts the durable record. Workflow errors wrap it at the operation boundary.

Functions

joiner_abandonment_retires

The joiner record an observed abandonment advances to, or None when the journal already holds that exact abandonment. Whether record is a joiner row an abandonment may retire.

require_initial

validate_initial_progress

The progress values a role’s first record may hold.

validate_successor