Struct Mathematical 

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

CMS facts from the actual PDF ByteRange pass. The private constructor prevents a result over caller replacement content from entering PAdES.

Implementations

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

pub fn checks(&self) -> &DocumentChecks<'v>

Independent content and arithmetic answers of the original PDF pass.

pub fn signature(&self) -> Signature<'a, 's, D, G>

The exact original signature whose ByteRange was actually processed.

pub fn input_verified(&self) -> bool

Both the original range input and its selected-key signature passed. Certificate association, paths and application trust remain separate.

pub fn bind<'r, 'path, 'q, P: AsnDigest<'q>>( &'r self, certificate: &'path Certificate<'d>, path: Option<&'path CheckedPath<'d>>, provider: &'q P, parent: &Reader<'q>, ) -> Result<Bound<'v, 'p, 'm, 'd, 'a, 's, 'path, D, G>, BindError<P::Error>>

where 'd: 'q,

Compares the actual checked effective key, original SID, included certificate and all protected ESS/path restrictions through their one existing shared kernel. It does not replay the PDF or its signature.

Panics

Panics if the internal single-root verification invariant is violated.