Skip to main content

EffectVerdict

Struct EffectVerdict 

Source
pub struct EffectVerdict {
    pub effective_confidence: EffectConfidence,
    pub claimed_confidence: Option<EffectConfidence>,
    pub trusted_witnesses: usize,
    pub notes: Vec<String>,
    pub effective_finality: Option<EffectFinality>,
    pub claimed_finality: Option<EffectFinality>,
}
Expand description

The reconciled operational-confidence outcome for a v2 receipt’s effect, kept deliberately separate from cryptographic validity (the DSSE signature, checked elsewhere). A perfectly-signed receipt can still carry an effect nobody independently confirmed; this verdict reports how much of the effect the evidence actually supports, never how well it was signed.

Fields§

§effective_confidence: EffectConfidence

The confidence the evidence supports after reconciliation. Equal to the actor’s claim for every honest (non-Verified) claim; a Verified claim carrying no independent evidence is downgraded to NotVerified. Never higher than the actor claimed, and never higher than the evidence supports.

§claimed_confidence: Option<EffectConfidence>

The actor’s own claim, echoed for audit. None when the actor recorded no effect_confidence.

§trusted_witnesses: usize

Count of bundled witnesses the WitnessAuthority vouched for.

§notes: Vec<String>

Audit notes: downgrades applied, and witnesses that were not trusted.

§effective_finality: Option<EffectFinality>

The lifecycle stage the evidence supports. Equal to the actor’s claim except that an unbacked Finalized is downgraded to Indeterminate: “the target told me it committed” is the actor’s word, and the actor’s word is what this verifier exists to not take. None when the receipt declared no finality at all.

§claimed_finality: Option<EffectFinality>

The actor’s own finality claim, echoed for audit.

Implementations§

Source§

impl EffectVerdict

Source

pub fn is_verified(&self) -> bool

True when the effect is independently confirmed at the strongest level.

Trait Implementations§

Source§

impl Clone for EffectVerdict

Source§

fn clone(&self) -> EffectVerdict

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for EffectVerdict

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Eq for EffectVerdict

Source§

impl PartialEq for EffectVerdict

Source§

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

Equality operator ==. Read more
1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more
Source§

impl StructuralPartialEq for EffectVerdict

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> CloneToUninit for T
where T: Clone,

Source§

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

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
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> Same for T

Source§

type Output = T

Should always be Self
Source§

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

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

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

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

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

Source§

type Error = Infallible

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

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

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.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V