Struct Sources 

pub struct Sources<'p, 'a, 'v, 's, S: RangeSource> { /* private fields */ }

Full original carrier source census and one reusable exact-artifact index. Participant completeness, source-negative semantics and usable status remain independent. Missing carrier pools cannot become successful source coverage.

Implementations

impl<'p, 'a, 'v, 's, S: RangeSource> Sources<'p, 'a, 'v, 's, S>

pub fn read<W: Work>( census: &Census<'v, 's, S>, pools: &[&'p Pool<'a, 'v, 's, S>], work: &W, ) -> Result<Self, SourcesError<S::Error>>

Derives slot order from the actual original census, not the caller’s successful pool list. Every CAdES/TST file remains a source obligation.

Panics

An internal census invariant fails if its own bounded ordinal is absent.

pub fn slots(&self) -> &[SourceSlot<'p, 'a, 'v, 's, S>]

All original carrier slots, retaining missing and negative sources.

pub fn all_sources_inspected(&self) -> bool

Every original carrier has a completed first-read pool. This does not assert conformance or complete participant/path/status interpretation.

pub fn open(&self) -> &[Open<'p, S::Document, S::Generation>]

Original malformed/open carrier findings, without replacing their causes.

pub fn index<'g, 'q, W: Work>( &'g self, work: &'q W, ) -> SourcesIndexResult<'g, 'q, 'p, 'v, 's, S>

where 'v: 'q, 'a: 'g, 'p: 'g,

One exact-artifact index over all available original pools. The full source census remains alongside it, so a missing source is never erased.