Struct ExecutionWorkflowRecord 

pub struct ExecutionWorkflowRecord { /* private fields */ }

Strict v1 original stage catalog, admitted by the existing plan structural owner.

Each allocation operation denotes one stage: its request hash commits the integration-owned input/purpose contract, its target is the exact stage target, and its budget is the original ceiling for that stage’s later exact child plan. The allocation is never an executable operation plan or an attempt-journal authority. Only bound child plans own attempt journals. Unassigned aggregate headroom cannot be transferred to a stage. This distinct record does not change the meaning or schema of ordinary v1 operation plans.

Implementations

impl ExecutionWorkflowRecord

pub const fn new(allocation: OperationPlanRecord) -> Self

Retain a canonical allocation without creating journals or dispatch authority.

pub fn stage( &self, sequence: u64, ) -> Result<&PlannedOperationRecord, OperationPlanError>

Read one original stage’s purpose commitment, target and attempt ceilings.

Errors

Rejects a stage not present in the original catalog.

pub fn stages(&self) -> &[PlannedOperationRecord]

Read the canonical original stage catalog; rows are declarations, not journals.

pub fn digest(&self) -> ArtifactChecksumRecord

Bind the full original allocation under a distinct NUL-terminated v1 domain.

Trait Implementations

impl Clone for ExecutionWorkflowRecord

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExecutionWorkflowRecord

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ExecutionWorkflowRecord

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ExecutionWorkflowRecord

impl PartialEq for ExecutionWorkflowRecord

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for ExecutionWorkflowRecord

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ExecutionWorkflowRecord