cadrumo.application.operations.persistence.leases module¶

Application-owned durable operation lease contracts.

operation_conflict_scope_reference(*, definition_id, subject_ref)[source]¶

Derive the domain-separated definition-and-subject lease scope.

Return type:

TypeAliasType

Parameters:

definition_id (str)
subject_ref (str)

class OperationLeaseObservationDisposition(*values)[source]¶

Bases: StrEnum

Authoritative state of one operation lease at an observed instant.

ABSENT¶

ACTIVE¶

EXPIRED¶

class OperationLeaseDisposition(*values)[source]¶

Bases: StrEnum

Outcome of one durable operation-owner lease transition.

ACQUIRED¶

RENEWED¶

RELEASED¶

CONFLICT¶

EXPIRED¶

TAKEN_OVER¶

OWNER_LOST¶

class OperationOwnerLease(**data)[source]¶

Bases: BaseModel

Immutable proof that one supervisor owns an operation for a UTC window.

Parameters:: data (Any)

operation_id: OperationId¶

scope_ref: OperationConflictScopeReference¶

owner_id: Hex64Str¶

token: OperationLeaseToken¶

acquired_at: datetime¶

expires_at: datetime¶

class OperationLeaseObservation(**data)[source]¶

Bases: BaseModel

Stable, targetable lease state observed at the caller-supplied UTC instant.

Parameters:: data (Any)

schema_version: Literal[1]¶

scope_ref: OperationConflictScopeReference¶

operation_id: OperationId¶

disposition: OperationLeaseObservationDisposition¶

observed_at: datetime¶

current: OperationOwnerLease | None¶

evidence_ref: ContentDigest¶

class OperationLeaseResult(**data)[source]¶

Bases: BaseModel

Stable evidence for every durable lease transition or refusal.

Parameters:: data (Any)

schema_version: Literal[1]¶

scope_ref: OperationConflictScopeReference¶

operation_id: OperationId¶

disposition: OperationLeaseDisposition¶

observed_at: datetime¶

predecessor: OperationOwnerLease | None¶

current: OperationOwnerLease | None¶

evidence_ref: ContentDigest¶