Enum ExecutionQualifier 

pub enum ExecutionQualifier {
    Specific(u64),
    All,
}

SRD-77 — Every read-side path that touches session data is execution-qualified: it accepts an ExecutionQualifier at the call boundary, and the storage layer applies a matching exec_id filter to its queries. The “aggregate across every execution” intent is the explicit ExecutionQualifier::All variant, not an unqualified default — callers can never accidentally read across multiple executions when they meant the latest.

Construct via:

• ExecutionQualifier::latest — resolves max(exec_id) from the session db at call time; the natural no-flag default for read commands.
• [ExecutionQualifier::specific(n)] — single execution id (typically from a --execution=<n> CLI flag).
• ExecutionQualifier::all — every execution; the --all-executions CLI flag.

Variants

Specific(u64)

One specific exec_id. The storage layer applies a WHERE exec_id = <n> filter.

All

Every recorded execution. The storage layer applies no exec_id filter — the “aggregate across all executions” semantic, opted into explicitly.

Implementations

impl ExecutionQualifier

pub fn specific(n: u64) -> Self

Single execution id.

pub fn all() -> Self

Aggregate across every execution.

pub fn latest(session_dir: &Path) -> Self

Resolve “the most recent execution” against the session db at session_dir. Returns [Self::Specific(max_exec_id)] when at least one execution is recorded, falling back to [Self::Specific(1)] when the db is empty / absent (so the qualifier still narrows to a specific id — the caller still gets the explicit qualification promise, just against an empty target).

pub fn matches_all(&self) -> bool

True iff this qualifier matches every recorded execution. Storage-layer query builders use this to decide whether to attach the WHERE exec_id = … clause.

pub fn specific_id(&self) -> Option<u64>

The specific exec_id when narrowed, otherwise None. Storage-layer builders use this to bind the WHERE exec_id = ? parameter.

Trait Implementations

impl Clone for ExecutionQualifier

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ExecutionQualifier

impl Debug for ExecutionQualifier

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

Formats the value using the given formatter.

impl Eq for ExecutionQualifier

impl PartialEq for ExecutionQualifier

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for ExecutionQualifier