Struct DigestMemo 

pub struct DigestMemo<'a, P: Digest<'a>> { /* private fields */ }

Immutable completed outputs, sorted by the selected provider’s full identity.

Implementations

impl<'a, P: Digest<'a>> DigestMemo<'a, P>

pub fn digest_related<'m, S: Source, W: Work>( &'m self, ordinal: usize, source: &mut S, execution: &W, field: &'static str, at: u64, ) -> PassResult<Option<RelatedDigest<'m, 'a, P>>, S::Error, P::Error>

Completes another input with the original request’s resolved identity.

For CMS signed attributes, feed their original retagged ranges here; their output is distinct from the payload output used by message-digest. No resolver, Identity clone, state reconstruction or payload replay is performed. An absent ordinal does not call the source or provider. field/at locate the caller’s enclosing original input structure.

pub fn len(&self) -> usize

Number of unique finalized outputs.

pub fn is_empty(&self) -> bool

Whether no completed output is held.

pub fn request_count(&self) -> usize

Number of original requests, including identities that shared a state.

pub fn for_request<W: Work>( &self, ordinal: usize, execution: &W, ) -> DigestResult<Option<&DigestOutput<'a, P>>, P::Error>

The already finalized output for an original request ordinal.

This constant-work link avoids resolving an algorithm again or cloning its identity/state merely to find a shared output. Out-of-range ordinals mean absence only after current-operation admission.

pub fn find<W: Work>( &self, identity: &P::Identity, execution: &W, ) -> DigestResult<Option<&DigestOutput<'a, P>>, P::Error>

Looks up a full resolved identity in the current execution account.

Storage remains on its original account. No state/output clone, new hash or finalization is performed. A resource refusal cannot become absence.