Struct TimestampRequirements 

pub struct TimestampRequirements<N, D, G, I> { /* private fields */ }

Complete original token set for one explicit protocol scope. Failed or unreadable tokens cannot disappear behind a caller’s successful subset: only the holder of issuer I derives it from the original source.

Implementations

impl<N: Copy, D: Copy, G: Copy, I> TimestampRequirements<N, D, G, I>

pub fn new( _issuer: I, signature: N, scope: TimestampScope<N, D, G>, entries: OwnedVec<RequiredToken<N>>, ) -> Self

The complete token obligations of one signature without countersignatures.

The format layer derives entries from every original timestamp in scope, in source order, failed and unsupported ones included.

pub fn with_counters( _issuer: I, signature: N, scope: TimestampScope<N, D, G>, entries: OwnedVec<RequiredToken<N>>, signatures: OwnedVec<N>, covered: Option<OwnedVec<bool>>, ) -> Self

The same obligations including every original countersignature’s tokens.

signatures lists every countersignature in source order. For an archive scope, covered marks the ones whose whole element that archive’s own input covers; a later countersignature is not an earlier actor. A whole-signature scope takes None.

pub fn signature(&self) -> N

Original selected signature.

pub fn scope(&self) -> TimestampScope<N, D, G>

Actual whole-signature or preceding-archive scope.

pub fn entries(&self) -> &[RequiredToken<N>]

Every original token in prepared property/token order.

impl<N: Copy + Eq, D: Copy + Eq, G: Copy + Eq, I> TimestampRequirements<N, D, G, I>

pub fn counter_in_scope<Q: Query<Id = N, Document = D, Generation = G>>( &self, ordinal: usize, query: &Q, ) -> Result<bool, ObligationError<N>>

Whether the countersignature at this census ordinal is an actor of this scope: every counter for the whole signature, only covered ones before an archive.

pub fn includes_counters<'p, 'd, C: CounterReceipts<'p, 'd, Id = N>, Q: Query<Id = N, Document = D, Generation = G>>( &self, counters: &C, query: &Q, ) -> Result<bool, ScopeError<N>>

where 'd: 'p,

Whether these obligations were derived from exactly this counter census.

pub fn bind_paths<'view, 'certificate, 'document, Q>( &'view self, paths: &'view [&'view TimestampPath<'view, 'certificate, 'document, N, D, G, I>], query: &Q, ) -> PathBindingResult<'view, 'certificate, 'document, N, D, G, I>

where Q: Query<Id = N, Document = D, Generation = G>,

Associate actual paths once per original token. The SAME source/purpose comparison governs all-token LT and preceding-archive requirements. Paths of another issuer cannot be associated.