Skip to main content

InputLifecycleAuthority

Struct InputLifecycleAuthority 

Source
pub struct InputLifecycleAuthority { /* private fields */ }
Expand description

The canonical authority for InputLifecycle state.

Holds the canonical phase + fields and delegates all transitions through the encoded transition table. The authority OWNS the canonical state – callers cannot get &mut access to the inner fields.

Implementations§

Source§

impl InputLifecycleAuthority

Source

pub fn new() -> Self

Create a new authority in the Accepted state.

Source

pub fn new_at(now: DateTime<Utc>) -> Self

Create a new authority in the Accepted state with a caller-owned timestamp.

Use this when the caller already captured a canonical now to ensure updated_at is consistent with sibling timestamps (e.g., created_at on the owning InputState).

Source

pub fn with_phase(phase: InputLifecycleState) -> Self

Create an authority initialized to a specific phase (for recovery).

Source

pub fn restore( phase: InputLifecycleState, terminal_outcome: Option<InputTerminalOutcome>, last_run_id: Option<RunId>, last_boundary_sequence: Option<u64>, attempt_count: u32, history: Vec<InputStateHistoryEntry>, updated_at: DateTime<Utc>, ) -> Self

Restore an authority from persisted state (for crash recovery).

This reconstructs the authority from a previously-serialized snapshot, including all canonical fields and history.

Source

pub fn phase(&self) -> InputLifecycleState

Current phase (read from canonical state).

Source

pub fn is_terminal(&self) -> bool

Whether the current phase is terminal.

Source

pub fn terminal_outcome(&self) -> Option<&InputTerminalOutcome>

Current terminal outcome (if in a terminal state).

Source

pub fn last_run_id(&self) -> Option<&RunId>

Last run ID that touched this input.

Source

pub fn last_boundary_sequence(&self) -> Option<u64>

Last boundary sequence number.

Source

pub fn attempt_count(&self) -> u32

Number of times this input has been staged for a run.

Source

pub fn history(&self) -> &[InputStateHistoryEntry]

State transition history.

Source

pub fn updated_at(&self) -> DateTime<Utc>

Timestamp of last state change.

Source

pub fn can_accept(&self, input: &InputLifecycleInput) -> bool

Check if a transition is legal without applying it.

Source

pub fn require_phase( &self, allowed: &[InputLifecycleState], ) -> Result<(), InputLifecycleError>

Require that the authority is in one of the given phases.

Source

pub fn set_terminal_outcome(&mut self, outcome: InputTerminalOutcome)

Set the terminal outcome after a transition.

Used by shell code for Superseded/Coalesced which need caller-provided data (superseded_by / aggregate_id) that the authority’s transition doesn’t know at evaluate-time.

Source

pub fn stamp_receipt_metadata(&mut self, run_id: RunId, boundary_sequence: u64)

Stamp receipt metadata onto the authority state.

Used by the store layer after it generates an authoritative receipt with a sequence number. This is NOT a lifecycle transition – it’s operational metadata enrichment by the persistence layer.

Trait Implementations§

Source§

impl Clone for InputLifecycleAuthority

Source§

fn clone(&self) -> InputLifecycleAuthority

Returns a duplicate of the value. Read more
1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Debug for InputLifecycleAuthority

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl Default for InputLifecycleAuthority

Source§

fn default() -> Self

Returns the “default value” for a type. Read more
Source§

impl InputLifecycleMutator for InputLifecycleAuthority

Source§

fn apply( &mut self, input: InputLifecycleInput, ) -> Result<InputLifecycleTransition, InputLifecycleError>

Apply a typed input to the current machine state. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> DynClone for T
where T: Clone,

Source§

fn __clone_box(&self, _: Private) -> *mut ()

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more