Struct Checks 

pub struct Checks<'closure, 'requirements, 'view, 'certificate, 'document, N, D, G> { /* private fields */ }

All whole-signature X.509 presence and placement checks derived from the SAME complete participant/status closure and original artifact index. Reports preserve negative facts; no unsuccessful subset is promoted.

Format-specific credential data, status usability, chronology, archive coverage and application trust are separate. In particular a certificate-free credential does not make its other format-specific evidence unnecessary.

Implementations

impl<N: Copy, D: Copy, G: Copy> Checks<'_, '_, '_, '_, '_, N, D, G>

pub fn presence(&self) -> &Incorporation<'_, '_, N, D, G, Placement<N>>

Complete incorporated presence, including explicitly missing artifacts.

pub fn conditional(&self) -> &ConditionalPlacement<'_, '_, N, D, G>

Requirements activated by each present original validation container.

pub fn exclusive(&self) -> &ExclusivePlacement<'_, '_, N, D, G>

Forbidden or indeterminate exclusively credential/TSA CA copies.

pub fn timestamps(&self) -> &TimestampPlacement<'_, '_, '_, '_, '_, N, D, G>

Each actual timestamp’s own validation-material placement.

pub fn all_x509_requirements_met(&self) -> bool

Only complete X.509 incorporated presence and mandatory placement. This is NOT a B-LT grade, Good status or complete credential-format evidence.

Trait Implementations

impl<'v, 'd, N: Copy, D: Copy, G: Copy> X509Material<'v, 'd> for Checks<'_, '_, 'v, '_, 'd, N, D, G>

type Id = N

Original node identity.

type Document = D

Stable document identity.

type Generation = G

Exact document generation.

type Issuer = Xades

Issuer of the receipts the report was derived from.

fn requirements(&self) -> &ParticipantRequirements<'v, 'd, N, D, G, Xades>

The participant census the report was derived from.

fn all_x509_requirements_met(&self) -> bool

Every X.509 presence and placement requirement of the format holds.