Enum VerificationState

Source

pub enum VerificationState {
    Verifiable,
    Unverifiable,
}

Expand description

Whether a frame’s content can be independently revalidated — it carries a content_digest a provider can answer context/verify against. Recorded per included frame in the CompositionAudit so a reader knows which quoted evidence is anchored to a checkable hash and which is trust-on-first-use.

Variants§

§

Verifiable

Carries a content_digest; revalidatable via context/verify (§4).

§

Unverifiable

No content_digest; a host re-queries rather than trusting it stale.

VerificationState

Enum VerificationState Copy item path

Variants§

Verifiable

Unverifiable

Trait Implementations§

impl Clone for VerificationState

fn clone(&self) -> VerificationState

fn clone_from(&mut self, source: &Self)

impl Copy for VerificationState

impl Debug for VerificationState

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

impl Eq for VerificationState

impl PartialEq for VerificationState

fn eq(&self, other: &VerificationState) -> bool

fn ne(&self, other: &Rhs) -> bool

impl StructuralPartialEq for VerificationState

Auto Trait Implementations§

impl Freeze for VerificationState

impl RefUnwindSafe for VerificationState

impl Send for VerificationState

impl Sync for VerificationState

impl Unpin for VerificationState

impl UnsafeUnpin for VerificationState

impl UnwindSafe for VerificationState

Blanket Implementations§

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

fn type_id(&self) -> TypeId

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

fn borrow(&self) -> &T

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

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

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

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

fn into(self) -> U

impl<T> PolicyExt for Twhere T: ?Sized,

fn and<P, B, E>(self, other: P) -> And<T, P>where T: Sized + Policy<B, E>, P: Policy<B, E>,

fn or<P, B, E>(self, other: P) -> Or<T, P>where T: Sized + Policy<B, E>, P: Policy<B, E>,

impl<T> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

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

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

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

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

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

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self>

Enum VerificationState

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

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

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

impl<T> CloneToUninit for T
where T: Clone,

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

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

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

impl<T> ToOwned for T
where T: Clone,

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

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

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,