Skip to main content

ExecutionStageGuard

Struct ExecutionStageGuard 

Source
pub struct ExecutionStageGuard<'a> { /* private fields */ }
Expand description

One original stage’s fixed layout, retained under both workflow and child exclusion.

Existing attempt journals remain the only spending owner. Creation supplies no journals and reopening never creates, resets or reconstructs them. Integrations retain exact learned inputs, authenticate their relation to settled originals, and qualify fresh authority, command custody and proof of no previous dispatch.

Implementations§

Source§

impl<'a> ExecutionStageGuard<'a>

Source

pub fn create( workflow_layout: &'a BackupLayoutGuard, binding: ExecutionStageBindingRecord, plan: OperationPlanRecord, ) -> Result<Self, ExecutionWorkflowPersistenceError>

Create a fixed private stage directory, exact child plan and immutable binding.

Every original predecessor must have its exact retained binding, plan and complete chronological Applied settlement. The directory is create-only: occupied or interrupted preparation is retained and cannot be recreated with another plan. No journal or backend effect occurs before return.

§Errors

Rejects changed allocation, unavailable prerequisites, occupied stages and IO failures.

Source

pub fn open( workflow_layout: &'a BackupLayoutGuard, expected_workflow: &ArtifactChecksumRecord, sequence: u64, expected_binding: &ArtifactChecksumRecord, ) -> Result<Self, ExecutionWorkflowPersistenceError>

Reopen an exact fixed stage without allocation, repair or journal creation.

Lost successful creation responses reconcile here. A partially prepared directory without both immutable records rejects and remains retained. Missing pending journals cannot be treated as unused allowance by the existing execution-progress or settlement owners.

§Errors

Rejects missing/changed original records, prerequisite history or ownership failures.

Source

pub const fn plan(&self) -> &OperationPlanRecord

Read the exact bound original child plan; no fresh permission is implied.

Source

pub const fn binding(&self) -> &ExecutionStageBindingRecord

Read the immutable original stage and predecessor commitments.

Source

pub fn layout( &self, ) -> Result<&BackupLayoutGuard, ExecutionWorkflowPersistenceError>

Re-admit both original records and expose the existing journal/layout owner.

Callers must use complete original journal admission for resume. Never create a missing journal on resume or substitute a freshly derived plan.

§Errors

Rejects changed roots, retained records or predecessor settlement histories.

Trait Implementations§

Source§

impl<'a> Debug for ExecutionStageGuard<'a>

Source§

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

Formats the value using the given formatter. 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> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

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, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = !

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

fn try_from(value: U) -> Result<T, !>

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.