Struct ArchiveChecked 

pub struct ArchiveChecked<'model, 'document, 'path> { /* private fields */ }

Independently checked archive token, exact original index coverage and its derived whole-item selection. Application chronology/status/trust remain separate; coverage is usable only with this exact successful token actor.

Implementations

impl<'m, 'd, 'p> ArchiveChecked<'m, 'd, 'p>

pub fn timestamp(&self) -> &Checked<'m, 'd, 'p>

Complete original common timestamp facts, including negative outcomes.

pub fn index(&self) -> &IndexCoverage

Actual original certificate/revocation/unsigned-value index matches.

pub fn coverage(&self) -> &Coverage<Node, DocumentId<'m, 'd>, (), Memory, Cades>

Mathematical input selection; bind it to this timestamp’s actual Verified receipt before claiming archived material or earlier actors.

pub fn requirements( &self, prepared: &Preparation<'m, 'd>, operation: &Reader<'d>, ) -> Result<TimestampRequirements<Node, DocumentId<'m, 'd>, (), Cades>, ScopeError>

Derives the complete earlier-actor census from THIS archive’s actual mathematical index coverage. Source order and genTime are not used as substitutes for coverage; the archive’s own TSA is excluded. The full original counter census is retained with its explicit inclusion mask.

Trait Implementations

impl<'v, 'm, 'd, 'p> From<&'v ArchiveChecked<'m, 'd, 'p>> for ArchiveView<'v, 'm, 'd, 'p>

fn from(value: &'v ArchiveChecked<'m, 'd, 'p>) -> Self

Converts to this type from the input type.