Struct Basic 

pub struct Basic<'r, 'v, 'p, 'm, 'd, 'a, 's, 'path, D, G> { /* private fields */ }

Complete root and original nested counter composition. Reuses the same source-domain receipts later consumed by the common LTV participant core.

Implementations

impl<D: Copy + Eq, G: Copy + Eq> Basic<'_, '_, '_, '_, '_, '_, '_, '_, D, G>

pub fn all_basic_requirements_met(&self) -> bool

Mandatory format, actual PDF input math and whole counter census hold. This is independent of trusted time, revocation usability and trust.

impl<'r, 'v, 'p, 'm, 'd, 'a, 's, 'path, D: Copy + Eq, G: Copy + Eq> Basic<'r, 'v, 'p, 'm, 'd, 'a, 's, 'path, D, G>

pub fn binding(&self) -> &'r Bound<'v, 'p, 'm, 'd, 'a, 's, 'path, D, G>

Actual original signer/certificate/path binding used by this stage.

pub fn counters(&self) -> &Counters<'r, 'm, 'd, 'path, D, G>

The complete original counter receipt set, without caller subsetting.

pub fn timestamp_actor<'c>( &self, actor: CheckedActor<'c, 'd, Node, DocumentId<'m, 'd>, (), Cades>, operation: &impl Work, ) -> Result<CheckedActor<'c, 'd, Node, D, G, Pades>>

Carries an already checked original CMS timestamp into this PDF’s source domain. The original model, parent signature and exact input remain checked by the shared CAdES receipt, without cryptographic replay.

impl<'m, 'd, 'p, 's, D: Copy + Eq, G: Copy + Eq> Basic<'_, '_, '_, 'm, 'd, '_, 's, 'p, D, G>

pub fn participants<'r, 'certificate, E, S: RangeSource<Document = D, Generation = G>>( &'p self, credentials: &'p Complete<'r, 'm, 'd, 'p, D, G, E>, timestamps: &'p TimestampPaths<'p, 'certificate, 'd, Node, D, G, Pades>, query: &Query<'_, '_, S>, ) -> Result<ParticipantRequirements<'p, 'd, Node, D, G, Pades>, ParticipantError<Node>>

Derives the original complete participant census from the SAME root, all counters, authenticated credentials and complete TSA-path receipt. No caller-defined positive receipt or selected successful subset is used.

pub fn authenticate_credentials<P: Provider<'p, 'd>, S: RangeSource<Document = D, Generation = G>>( &self, provider: &P, query: &Query<'_, '_, S>, ) -> Result<Report<'m, 'd, 'p, 's, D, G, P::Evidence>, Error<P::Error>>

Authenticates every original protected credential using the shared property kernel and this operation’s actual scoped producing reader. PAdES root requirements are checked before the first handler call.

Trait Implementations

impl<'r, 'v, 'p, 'm, 'd, 'a, 's, 'path, D: Copy + Eq, G: Copy + Eq> BasicStage<'path, 'd> for Basic<'r, 'v, 'p, 'm, 'd, 'a, 's, 'path, D, G>

type Id = Node

Original node identity.

type Document = D

Stable document identity.

type Generation = G

Exact document generation.

type Signer = Bound<'v, 'p, 'm, 'd, 'a, 's, 'path, D, G>

The signing-certificate binding receipt.

type Counters = Counters<'r, 'm, 'd, 'path, D, G>

The complete countersignature census.

fn signer(&self) -> &Self::Signer

Same signer receipt the stage checked.

fn counters(&self) -> &Self::Counters

Same countersignature census the stage checked.

fn all_requirements_met(&self) -> bool

Every condition of the format’s basic level holds.