Skip to main content

CompactionCheckpointStore

everruns_core::compaction_checkpoint

Trait CompactionCheckpointStore 

Source 
pub trait CompactionCheckpointStore: Send + Sync {
    // Required methods
    fn get_latest<'life0, 'life1, 'life2, 'async_trait>(
        &'life0 self,
        session_id: SessionId,
        provider_type: &'life1 str,
        model: &'life2 str,
    ) -> Pin<Box<dyn Future<Output = Result<Option<CompactionCheckpoint>>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait,
             'life1: 'async_trait,
             'life2: 'async_trait;
    fn install<'life0, 'async_trait>(
        &'life0 self,
        checkpoint: CompactionCheckpoint,
    ) -> Pin<Box<dyn Future<Output = Result<bool>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait;
    fn get_proactive_attempt<'life0, 'life1, 'life2, 'async_trait>(
        &'life0 self,
        session_id: SessionId,
        provider_type: &'life1 str,
        model: &'life2 str,
    ) -> Pin<Box<dyn Future<Output = Result<Option<ProactiveCompactionAttempt>>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait,
             'life1: 'async_trait,
             'life2: 'async_trait;
    fn record_proactive_attempt<'life0, 'life1, 'life2, 'async_trait>(
        &'life0 self,
        session_id: SessionId,
        provider_type: &'life1 str,
        model: &'life2 str,
        attempt: ProactiveCompactionAttempt,
    ) -> Pin<Box<dyn Future<Output = Result<()>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait,
             'life1: 'async_trait,
             'life2: 'async_trait;
}

Required Methods§

Source

fn get_latest<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, session_id: SessionId, provider_type: &'life1 str, model: &'life2 str, ) -> Pin<Box<dyn Future<Output = Result<Option<CompactionCheckpoint>>> + Send + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source

fn install<'life0, 'async_trait>( &'life0 self, checkpoint: CompactionCheckpoint, ) -> Pin<Box<dyn Future<Output = Result<bool>> + Send + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait,

Install a checkpoint only if no newer source boundary is canonical.

Source

fn get_proactive_attempt<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, session_id: SessionId, provider_type: &'life1 str, model: &'life2 str, ) -> Pin<Box<dyn Future<Output = Result<Option<ProactiveCompactionAttempt>>> + Send + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Latest pressure snapshot where proactive native compaction was attempted.

This process-lifetime watermark prevents an ineffective or failed provider call from being repeated on every reasoning iteration. The source fingerprint makes it lineage-local across rollback/branch selection. Durable checkpoints remain the semantic replacement contract; this marker only controls retry pressure and never substitutes for a checkpoint.

Source

fn record_proactive_attempt<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, session_id: SessionId, provider_type: &'life1 str, model: &'life2 str, attempt: ProactiveCompactionAttempt, ) -> Pin<Box<dyn Future<Output = Result<()>> + Send + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§