Skip to main content

Module lifecycle

Module lifecycle 

Expand description

Atomic trial ownership and lifecycle capability.

Storage remains the compatible CRUD/read-model seam. This module is a deliberately narrow opt-in capability for backends that can make trial ownership, leases, and terminal transitions one transaction. The types in this module are capability values, not wire DTOs: backends may encode them privately when a transport adapter is added later.

Structs§

AbandonRequest
Input to the conditional reservation-abandon operation.
ClaimRequest
Input to an atomic claim.
FailStaleRequest
Input to conditional stale-worker failure.
FencedMutationRequest
Input to an ownership-fenced mutation.
FinalizedStateRequest
A post-terminal, trial-scoped state replacement.
LeaseObservation
A read-only complete lease observation used for conditional failover.
RenewRequest
Input to a lease renewal.
ReserveAndCreateRequest
Input to TrialLifecycleStorage::reserve_and_create_if_budget.
TerminalRequest
Input to an atomic terminal transition.
TrialOwnerToken
Opaque owner/epoch fence returned by a successful claim.
TrialReservation
Opaque capability proving that a trial was created by a lifecycle reserve.

Enums§

ClaimTarget
The two trial kinds that can be atomically claimed.
FencedMutation
One ownership-fenced mutation.
ReservationOutcome
The result of an atomic budget reservation.
TerminalOutcome
An atomic terminal result.

Traits§

TrialLifecycleStorage
Atomic ownership/lifecycle operations for a storage backend.

Type Aliases§

ParamWrite
One parameter/distribution/value entry written by a lifecycle operation.
ReserveOutcome
Alias emphasizing that the outcome belongs to the reserve-and-create operation.