idempotency

const (
	// AvailabilityFailClosed rejects execution when ownership is unavailable.
	AvailabilityFailClosed AvailabilityPolicy = iota
	// AvailabilityAllowUntracked permits explicitly duplicate-tolerant execution.
	AvailabilityAllowUntracked
)

const (
	// OutcomeAcquired means the caller owns a new executable attempt.
	OutcomeAcquired Outcome = "acquired"
	// OutcomeReplayed means the same fingerprint has a completed result.
	OutcomeReplayed Outcome = "replayed"
	// OutcomeInProgress means another unexpired owner is current.
	OutcomeInProgress Outcome = "in_progress"
	// OutcomeConflict means the retained key has a different fingerprint.
	OutcomeConflict Outcome = "conflict"
	// OutcomeUnavailable means durable ownership could not be established.
	OutcomeUnavailable Outcome = "unavailable"
	// OutcomeStaleOwnerTakeover means the caller replaced an elapsed active owner.
	OutcomeStaleOwnerTakeover Outcome = "stale_owner_takeover"
	// OutcomeTerminalFailure means a terminal failure is available for replay.
	OutcomeTerminalFailure Outcome = "terminal_failure"
)

const (
	// ReasonInvalidKey identifies a missing or invalid logical key component.
	ReasonInvalidKey Reason = "invalid_key"
	// ReasonInvalidFingerprint identifies an invalid fingerprint or policy version.
	ReasonInvalidFingerprint Reason = "invalid_fingerprint"
	// ReasonLimitExceeded identifies input that crosses a documented resource bound.
	ReasonLimitExceeded Reason = "limit_exceeded"
	// ReasonStaleOwner identifies an ownership proof from a superseded attempt.
	ReasonStaleOwner Reason = "stale_owner"
	// ReasonLeaseExpired identifies a current proof used after its lease boundary.
	ReasonLeaseExpired Reason = "lease_expired"
	// ReasonNotFound identifies an operation targeting a missing record.
	ReasonNotFound Reason = "not_found"
	// ReasonInvalidTransition identifies an operation illegal for the current state.
	ReasonInvalidTransition Reason = "invalid_transition"
	// ReasonUnavailable identifies failure to establish or mutate durable state.
	ReasonUnavailable Reason = "unavailable"
	// ReasonInvalidConfiguration identifies invalid constructor or policy options.
	ReasonInvalidConfiguration Reason = "invalid_configuration"
	// ReasonInvalidLease identifies a nonpositive lease duration.
	ReasonInvalidLease Reason = "invalid_lease"
	// ReasonInvalidPayload identifies malformed or unsupported persisted data.
	ReasonInvalidPayload Reason = "invalid_payload"
	// ReasonUnsafeBackend identifies a backend configuration that breaks correctness.
	ReasonUnsafeBackend Reason = "unsafe_backend"
)

const (
	// StateAcquired means an owner holds a fresh lease but has not heartbeated.
	StateAcquired State = "acquired"
	// StateRunning means the current owner has extended its lease.
	StateRunning State = "running"
	// StateCompleted means a successful bounded result is terminal and replayable.
	StateCompleted State = "completed"
	// StateFailed means a bounded terminal failure is replayable.
	StateFailed State = "failed"
	// StateExpired means an elapsed active lease was explicitly recorded.
	StateExpired State = "expired"
	// StateAbandoned means the owner deliberately released without a result.
	StateAbandoned State = "abandoned"
)

const (
	// TransitionAcquire identifies a Service.Begin acquisition attempt.
	TransitionAcquire Transition = "acquire"
	// TransitionInspect identifies a Service.Inspect read.
	TransitionInspect Transition = "inspect"
	// TransitionHeartbeat identifies a Service.Heartbeat lease extension.
	TransitionHeartbeat Transition = "heartbeat"
	// TransitionComplete identifies a Service.Complete terminal transition.
	TransitionComplete Transition = "complete"
	// TransitionFail identifies a Service.Fail terminal transition.
	TransitionFail Transition = "fail"
	// TransitionRelease identifies a Service.Release abandonment transition.
	TransitionRelease Transition = "release"
	// TransitionExpire identifies a Service.Expire audit transition.
	TransitionExpire Transition = "expire"
)