Module recovery 

Controller recovery replay-bound decisions.

Enums

BarrierRecoveryFinalizeDecision

Whether recovery may close an interrupted barrier injection.

BarrierRecoveryFoldAction

The only state mutation one ordered barrier record may perform.

BarrierRecoveryRecordKind

The keyed barrier-state record that recovery is folding.

ReplayCursorDecision

Whether a replay loop advances its cursor, and to where.

ReplayRecordDecision

Whether controller recovery replays one metadata record.

Functions

barrier_recovery_finalize_decision

Decide whether an interrupted injection can be finalized conservatively.

barrier_recovery_fold_action

Select the exact mutation for one decoded barrier-state record.

replay_batch_cursor_decision

Validate one decoded replay batch and compute its exclusive next cursor.

replay_cursor_decision

Advance a replay cursor to the next batch offset the reader reported, and stop when there is none or it would not move the cursor forward, so a replay loop always terminates.

replay_record_decision

Decide whether controller recovery replays one decoded metadata record, and at which absolute offset.

should_capture_first_downgrade

Capture a metadata-version downgrade snapshot only for the first downgrade replay meets; a later downgrade never replaces the pending one.