Struct ProofPolicy 

#[repr(C)]
pub struct ProofPolicy {
    pub required_tier: ProofTier,
    pub max_verification_time_us: u32,
    pub max_validity_window_ns: u64,
    pub require_coherence_cert: bool,
    pub min_coherence_in_proof: u16,
}

Policy for proof verification on a store.

Fields

required_tier: ProofTier

Required proof tier for mutations.

max_verification_time_us: u32

Maximum allowed verification time in microseconds. Proofs exceeding this are rejected.

max_validity_window_ns: u64

Maximum proof validity window in nanoseconds. Proofs with longer validity are rejected.

require_coherence_cert: bool

Whether to require coherence certificates for Deep tier.

min_coherence_in_proof: u16

Minimum coherence score in proof (for CoherenceCert payloads).

Implementations

impl ProofPolicy

pub const fn reflex() -> Self

Creates a Reflex-tier policy (sub-microsecond hash checks).

pub const fn standard() -> Self

Creates a Standard-tier policy (Merkle witness verification).

pub const fn deep() -> Self

Creates a Deep-tier policy (full coherence verification).

pub const fn with_tier(self, tier: ProofTier) -> Self

Sets the required proof tier.

pub const fn with_max_verification_time_us(self, time_us: u32) -> Self

Sets the maximum verification time.

pub const fn with_max_validity_ns(self, validity_ns: u64) -> Self

Sets the maximum validity window.

pub const fn tier_satisfies(&self, proof_tier: ProofTier) -> bool

Checks if a proof tier satisfies this policy.

Trait Implementations

impl Clone for ProofPolicy

fn clone(&self) -> ProofPolicy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofPolicy

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

Formats the value using the given formatter.

impl Default for ProofPolicy

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for ProofPolicy

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

impl Eq for ProofPolicy

impl StructuralPartialEq for ProofPolicy