Enum UnverifiedReason 

pub enum UnverifiedReason {
    NoProvenance,
    ChainTampered,
    ChainLinkBroken,
    StoreUnavailable,
}

Why a memory read could not be verified against the provenance chain.

Variants

NoProvenance

No entry has ever been appended for the (store, key) pair. The memory entry predates governance (or bypassed it).

ChainTampered

A stored entry exists but its recomputed hash disagrees with the hash field. Chain tamper detected.

ChainLinkBroken

A stored entry exists but its prev_hash does not line up with the entry that sits before it. Chain linkage broken.

StoreUnavailable

The provenance store is unavailable (mutex poisoned, SQLite error, etc.). Operators must treat this as fail-closed: the memory read surfaces the Unverified verdict so callers can deny rather than silently accept.

Implementations

impl UnverifiedReason

pub fn as_str(&self) -> &'static str

Stable string label for this reason, useful for logs and receipt metadata.

Trait Implementations

impl Clone for UnverifiedReason

fn clone(&self) -> UnverifiedReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for UnverifiedReason

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for UnverifiedReason

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for UnverifiedReason

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for UnverifiedReason

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for UnverifiedReason

impl StructuralPartialEq for UnverifiedReason