pub struct PathCertificates<'path, 'document, N, D, G, P> { /* private fields */ }Expand description
Complete certificate census for one actual checked path and archive input. It deliberately retains its path: ordinals cannot be relabelled as another actor after this check. Status artifacts and actor association are separate.
Implementations§
Source§impl<'path, 'document, N: Copy, D: Copy, G: Copy, P> PathCertificates<'path, 'document, N, D, G, P>
impl<'path, 'document, N: Copy, D: Copy, G: Copy, P> PathCertificates<'path, 'document, N, D, G, P>
Sourcepub fn path(&self) -> &'path CheckedPath<'document>
pub fn path(&self) -> &'path CheckedPath<'document>
Same actual common-validator path, not an independent artifact list.
Sourcepub fn archive(&self) -> Location<N, D, G>
pub fn archive(&self) -> Location<N, D, G>
Original archive token whose actual input coverage was used.
Sourcepub fn entries(&self) -> &[ArchivedCertificate<N, D, G, P>]
pub fn entries(&self) -> &[ArchivedCertificate<N, D, G, P>]
Every existing anchor/member certificate, including missing late copies.
Sourcepub fn all_certificates_covered(&self) -> bool
pub fn all_certificates_covered(&self) -> bool
Whether every certificate in this path has an exact covered copy. This alone proves neither status completeness nor any baseline level.
Auto Trait Implementations§
impl<'path, 'document, N, D, G, P> !Freeze for PathCertificates<'path, 'document, N, D, G, P>
impl<'path, 'document, N, D, G, P> !RefUnwindSafe for PathCertificates<'path, 'document, N, D, G, P>
impl<'path, 'document, N, D, G, P> !Send for PathCertificates<'path, 'document, N, D, G, P>
impl<'path, 'document, N, D, G, P> !Sync for PathCertificates<'path, 'document, N, D, G, P>
impl<'path, 'document, N, D, G, P> !UnwindSafe for PathCertificates<'path, 'document, N, D, G, P>
impl<'path, 'document, N, D, G, P> Unpin for PathCertificates<'path, 'document, N, D, G, P>
impl<'path, 'document, N, D, G, P> UnsafeUnpin for PathCertificates<'path, 'document, N, D, G, P>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more