pub enum EffectConfidence {
Verified,
Partial,
Ambiguous,
Unknown,
NotVerified,
}Expand description
How confident the actor is that an action’s real-world effect happened,
separate from whether the receipt’s signature is valid. Encodes the honest
middle ground the “ack is not the act” discourse keeps asking for: an agent
that cannot confirm the effect declares Unknown or NotVerified instead
of forcing a green success.
A verifier NEVER trusts Verified on the actor’s word alone — see
Effect::has_independent_evidence and the effect-confidence check in
treeship verify, which reconciles this claim with the evidence present.
Variants§
Verified
Independently confirmed: an external read-back or witness the actor could not mint shows the intended post-state.
Partial
Some effect evidence, but incomplete (e.g. the sink accepted the write but nothing read the post-state back).
Ambiguous
The observed state is consistent with more than one outcome.
Unknown
The actor could not determine whether the effect happened.
NotVerified
Attempted, but the effect was not independently verified — the common honest default: the tool returned ok and nothing read it back.
Trait Implementations§
Source§impl Clone for EffectConfidence
impl Clone for EffectConfidence
Source§fn clone(&self) -> EffectConfidence
fn clone(&self) -> EffectConfidence
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreimpl Copy for EffectConfidence
Source§impl Debug for EffectConfidence
impl Debug for EffectConfidence
Source§impl<'de> Deserialize<'de> for EffectConfidence
impl<'de> Deserialize<'de> for EffectConfidence
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
impl Eq for EffectConfidence
Source§impl PartialEq for EffectConfidence
impl PartialEq for EffectConfidence
Source§impl Serialize for EffectConfidence
impl Serialize for EffectConfidence
impl StructuralPartialEq for EffectConfidence
Auto Trait Implementations§
impl Freeze for EffectConfidence
impl RefUnwindSafe for EffectConfidence
impl Send for EffectConfidence
impl Sync for EffectConfidence
impl Unpin for EffectConfidence
impl UnsafeUnpin for EffectConfidence
impl UnwindSafe for EffectConfidence
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key and return true if they are equal.