Struct ApplicationObservationRequest 

pub struct ApplicationObservationRequest<'a> { /* private fields */ }

Exact separately reserved application recovery update for an unresolved mutation.

This consumes the observation lane, even when its opaque method reads status. It never reuses mutation allowance or supplies application settlement semantics.

Implementations

impl<'a> ApplicationObservationRequest<'a>

pub fn new( plan: &'a OperationPlanRecord, sequence: u64, journal: &AttemptJournalRecord, payload: &'a ApplicationIngressPayload, ) -> Result<Self, ApplicationIngressError>

Bind exact recovery bytes to the independently reserved observation digest.

Errors

Rejects changed authority/target, absent attempts or different reserved bytes.

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

Read the complete original mutation plan/context and inventory.

pub const fn payload(&self) -> &ApplicationIngressPayload

Read exact original recovery update fields.

pub const fn authority(&self) -> &AttemptAuthorityRecord

Read original authority; its request still names the unresolved mutation.

pub const fn mutation_attempt(&self) -> u32

Read the original unresolved mutation attempt.

pub const fn observation_attempt(&self) -> u32

Read the independently consumed observation attempt.

pub fn validate_journal( &self, journal: &AttemptJournalRecord, ) -> Result<(), ApplicationIngressError>

Recheck exact current observation identity without a dispatch permit.

Errors

Rejects settled/replaced attempts, changed authority or different reserved bytes.

Trait Implementations

impl<'a> Debug for ApplicationObservationRequest<'a>

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

Formats the value using the given formatter.