Skip to main content

Evidence

Struct Evidence 

Source
pub struct Evidence { /* private fields */ }
Expand description

Independently retained cryptographic/time evidence, not a trust verdict. The caller must establish TSA path/status, enforce signed ESS restrictions and apply algorithm/policy permissions before granting product acceptance.

Implementations§

Source§

impl Evidence

Source

pub fn try_copy_in<W: Work>(&self, work: &W) -> Result<Self, EvidenceCopyError>

Makes a genuine independently charged copy, without infallible Clone. Map admission precedes fact copying so an inner refusal can retain its provenance without allocating while already handling that refusal.

Source

pub fn facts(&self) -> &RetainedFacts

Generation/imprint facts bound to this successfully checked token.

Source

pub fn source(&self) -> &SourceMap

Independent original physical projection of logical facts.

Trait Implementations§

Source§

impl Debug for Evidence

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, !>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.