pub struct ParticipantRequirements<'path, 'document, N, D, G, I> { /* private fields */ }Expand description
All source-derived actor paths for ONE original validation-data scope.
Paths shared by several actors remain separately attributed. Status-input
closure, placement/coverage, format-specific material and trust are separate;
this object cannot assert a baseline grade or turn negative facts into Good.
It keeps the issuer I of the timestamp census it was derived from.
Implementations§
Source§impl<'path, 'document, N: Copy, D: Copy, G: Copy, I> ParticipantRequirements<'path, 'document, N, D, G, I>
impl<'path, 'document, N: Copy, D: Copy, G: Copy, I> ParticipantRequirements<'path, 'document, N, D, G, I>
Sourcepub fn scope(&self) -> TimestampScope<N, D, G>
pub fn scope(&self) -> TimestampScope<N, D, G>
Whole selected signature or exact preceding-archive scope.
Sourcepub fn entries(&self) -> &[ParticipantRequirement<'path, 'document, N>]
pub fn entries(&self) -> &[ParticipantRequirement<'path, 'document, N>]
Every participant authority, preserving signer/counter/credential/token order.
Sourcepub fn same_credentials<C>(&self, credentials: &C) -> bool
pub fn same_credentials<C>(&self, credentials: &C) -> bool
Whether this census was derived from exactly this credential receipt. Constant-time identity only: the caller admits its current query first; no authentication is replayed.
Sourcepub fn same_timestamps(
&self,
timestamps: &TimestampPaths<'_, '_, '_, N, D, G, I>,
) -> bool
pub fn same_timestamps( &self, timestamps: &TimestampPaths<'_, '_, '_, N, D, G, I>, ) -> bool
Whether this census was derived from this exact complete TSA-path receipt. The current caller must admit this metadata query first.
Sourcepub fn require_inputs<S, C, R, Q>(
&self,
signer: &S,
counters: &C,
credentials: &R,
timestamps: &TimestampPaths<'_, '_, '_, N, D, G, I>,
query: &Q,
) -> Result<(), ParticipantError<N>>
pub fn require_inputs<S, C, R, Q>( &self, signer: &S, counters: &C, credentials: &R, timestamps: &TimestampPaths<'_, '_, '_, N, D, G, I>, query: &Q, ) -> Result<(), ParticipantError<N>>
Require the exact live input receipts that produced this complete participant census. Equivalent IDs, a different valid path/provider context or independently collected credentials do not establish that relation. This is a current-operation metadata query, not a replay of parsing, crypto, credential authentication or catalogue allocation.
Source§impl<'path, 'document, N: Copy + Eq, D: Copy + Eq, G: Copy + Eq, I> ParticipantRequirements<'path, 'document, N, D, G, I>
impl<'path, 'document, N: Copy + Eq, D: Copy + Eq, G: Copy + Eq, I> ParticipantRequirements<'path, 'document, N, D, G, I>
Sourcepub fn close_statuses<'requirements, 'view, 'certificate, Q>(
&'requirements self,
roots: &'view [&'view PathStatuses<'view, 'certificate, 'document>],
supplied: &'view [AuthorityNode<'view, 'certificate, 'document>],
query: &Q,
) -> ClosureResult<'requirements, 'view, 'certificate, 'document, N, D, G, I>where
Q: Query<Id = N, Document = D, Generation = G>,
'path: 'view,
pub fn close_statuses<'requirements, 'view, 'certificate, Q>(
&'requirements self,
roots: &'view [&'view PathStatuses<'view, 'certificate, 'document>],
supplied: &'view [AuthorityNode<'view, 'certificate, 'document>],
query: &Q,
) -> ClosureResult<'requirements, 'view, 'certificate, 'document, N, D, G, I>where
Q: Query<Id = N, Document = D, Generation = G>,
'path: 'view,
Associate EVERY source-derived Path actor with its complete status inputs, then follow the existing CRL/OCSP authority kernel. Evaluation labels are explicit original inputs, not guessed from a claimed signing time or token order; their usability and historical trust remain separate checks. Paths may legitimately repeat for several actors or distinct evaluation labels. Direct anchors retain their separate certificate-material obligation. No parse, provider, hash, status evaluation or signature is repeated.