Struct CachedProof 

pub struct CachedProof {
    pub key: ProofCacheKey,
    pub proved: bool,
    pub bindings: Vec<(String, String)>,
    pub proof_depth: usize,
    pub cached_at_secs: u64,
    pub last_accessed_secs: u64,
    pub access_count: u64,
}

A single cached proof result together with its bookkeeping metadata.

Fields

key: ProofCacheKey

The key under which this proof is stored.

proved: bool

Whether the proof succeeded.

bindings: Vec<(String, String)>

Variable→value binding pairs produced by the proof.

proof_depth: usize

Maximum inference depth reached during the proof.

cached_at_secs: u64

Unix timestamp (seconds) at which the proof was cached.

last_accessed_secs: u64

Unix timestamp (seconds) of the most recent access.

access_count: u64

Total number of times this entry has been accessed via ProofCachingLayer::lookup.

Implementations

impl CachedProof

pub fn is_stale(&self, ttl_secs: u64, now_secs: u64) -> bool

Returns true if the entry has lived past its TTL.

An entry is stale when now_secs - cached_at_secs >= ttl_secs.

Trait Implementations

impl Clone for CachedProof

fn clone(&self) -> CachedProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CachedProof

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

Formats the value using the given formatter.