Module reducer 

Recovery reducer - applies events to reconstruct state.

A replay reducer applies WAL events to reconstruct the current state of the ActionQueue system. This is used during recovery to rebuild state from the WAL.

Lease replay semantics are strict by design:

• lease events must reference a known run,
• lease events must satisfy explicit run-state preconditions,
• lease mutations must satisfy owner/expiry causality checks,
• terminal runs cannot retain active lease projection.

Structs

ActorRecord

Actor projection record.

AttemptHistoryEntry

A deterministic attempt lineage record for a run.

BudgetRecord

Budget allocation and consumption record.

CapabilityGrantRecord

Capability grant record.

LeaseMetadata

A deterministic lease metadata record for a run.

LedgerEntryRecord

Ledger entry record.

ReplayReducer

A reducer that applies WAL events to reconstruct state.

RoleAssignmentRecord

Role assignment record.

RunStateHistoryEntry

A deterministic state transition record for a run.

SubscriptionRecord

Subscription state record.

TaskRecord

Projection record for a task with timestamp metadata.

TenantRecord

Tenant projection record.

Enums

EngineControlCausalityError

Typed engine control replay causality failures.

LeaseCausalityError

Typed lease replay causality failures.

LeaseEventKind

Lease event kinds used by typed causality errors.

ReplayReducerError

Errors that can occur during replay reduction.

TaskCausalityError

Typed task replay causality failures.