Enum QueryCoverage 

pub enum QueryCoverage {
    UnfilteredFull,
    ScopedBaseRepair,
    FencedRepairChunk {
        high: BTreeMap<u64, u64>,
    },
    IncrementalDelta,
}

Variants

UnfilteredFull

Explicit full-query snapshot coverage, e.g. TQL or evaluation-interval SQL flows whose plan shape cannot be safely dirty-window pruned. This must not be used as an implicit recovery path for scoped repair or an unsafe incremental rewrite fallback.

ScopedBaseRepair

Scoped full-snapshot repair over the current dirty windows. A successful result may start a fenced repair if new dirty windows appeared meanwhile.

FencedRepairChunk

A chunk of windows being repaired under the frozen high-watermark H. The high map is sent as snapshot read bounds and must be matched by the returned terminal watermarks before checkpoints can advance.

Fields

high: BTreeMap<u64, u64>

IncrementalDelta

Incremental delta query over (checkpoint, scan-open snapshot].

Implementations

impl QueryCoverage

fn is_incremental_delta(&self) -> bool

Whether this query should use incremental scan extensions and incremental checkpoint advancement rules.

fn snapshot_seqs(&self) -> HashMap<u64, u64>

Snapshot upper bounds requested from the storage layer. Only fenced repair chunks carry bounds; all other coverage relies on normal scans.

Trait Implementations

impl Clone for QueryCoverage

fn clone(&self) -> QueryCoverage

Returns a duplicate of the value.

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

Performs copy-assignment from source.