Enum ProofTier 

#[repr(u8)]
pub enum ProofTier {
    Reflex = 0,
    Standard = 1,
    Deep = 2,
}

Proof tier determining verification complexity.

Higher tiers provide stronger guarantees but take longer to verify. The scheduler may route based on proof tier.

Variants

Reflex = 0

Sub-microsecond hash check. For high-frequency vector updates. Uses precomputed proof cache when available.

Standard = 1

Merkle witness verification. For graph mutations. Verifies against a Merkle root of the current state.

Deep = 2

Full coherence verification with mincut analysis. For structural changes that affect graph partitioning.

Implementations

impl ProofTier

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

Returns the tier name as a string.

pub const fn max_verification_time_us(&self) -> u32

Returns the maximum allowed verification time in microseconds.

pub const fn from_u8(value: u8) -> Option<Self>

Converts from a raw u8 value.

Trait Implementations

impl Clone for ProofTier

fn clone(&self) -> ProofTier

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofTier

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

Formats the value using the given formatter.

impl Default for ProofTier

fn default() -> Self

Returns the “default value” for a type.

impl Hash for ProofTier

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ProofTier

fn eq(&self, other: &ProofTier) -> 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 Copy for ProofTier

impl Eq for ProofTier

impl StructuralPartialEq for ProofTier