Struct AttemptJournalGuard 

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

Exclusive local accounting borrowing stable layout exclusion.

Successful reservation persists consumption before returning its number. It grants no fresh IC authority, backend settlement or subprocess dispatch permission.

Implementations

impl<'a> AttemptJournalGuard<'a>

pub fn create( layout: &'a BackupLayoutGuard, authority: AttemptAuthorityRecord, ) -> Result<Self, AttemptJournalError>

Create original exact identity and limits without replacing retained evidence.

Errors

Rejects unsafe/existing journals, lock contention, replaced layouts and failed persistence.

pub fn open( layout: &'a BackupLayoutGuard, expected: &AttemptAuthorityRecord, ) -> Result<Self, AttemptJournalError>

Open exact retained identity and original budgets, replaying only local events.

Errors

Rejects identity/budget changes, invalid chronology, missing/unsafe/oversized records and locks.

pub fn record(&self) -> Result<&AttemptJournalRecord, AttemptJournalError>

Read validated retained accounting without observing remote state.

Errors

Rejects indeterminate writes or replaced layouts.

pub fn path(&self) -> PathBuf

Return the exact journal location for this operation sequence.

pub fn reserve_mutation(&mut self) -> Result<u32, AttemptJournalError>

Durably consume one mutation attempt before any admitted caller-owned call.

Errors

Rejects unresolved attempts, exhaustion, applied operations and persistence failures.

pub fn reserve_observation( &mut self, mutation: u32, request: &str, ) -> Result<u32, AttemptJournalError>

Durably consume one observation bound to an exact unresolved mutation and request.

Fresh authority, paid-effect settlement and ended command custody remain caller-owned.

Errors

Rejects wrong attempts/requests, unresolved observations, exhaustion and failed writes.

pub fn record_mutation( &mut self, receipt: MutationReceiptRequest, ) -> Result<(), AttemptJournalError>

Retain an exact integration-qualified direct mutation reply.

Errors

Rejects unmatched identity, absent/unsettled attempts, invalid evidence and failed persistence.

pub fn record_observation( &mut self, receipt: ObservationReceiptRequest, ) -> Result<(), AttemptJournalError>

Retain an exact observation; unresolved evidence never authorizes another mutation.

The integration qualifies completed observation and paid-effect settlement. A lost observation response stays pending until qualified settlement.

Errors

Rejects unmatched identity, absent/unsettled attempts, invalid evidence and failed persistence.

Trait Implementations

impl<'a> Debug for AttemptJournalGuard<'a>

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

Formats the value using the given formatter.