Enum TraceExtent 

pub enum TraceExtent {
    Complete,
    Partial,
}

Whether more calls may still arrive.

The rule language was first evaluated by a live proxy checking history-so-far, where a deadline not yet met may still be met by the next call. A metric evaluates a finished run, where it cannot. The two readings disagree on every rule with a window, and the difference is invisible in the rules and the trace – it is only in who is asking. So the caller states it rather than the evaluator assuming it. Porting the proxy’s reading into the metric silently is what made completed runs with an unmet deadline report as undecided.

Variants

Complete

The run is over. An unmet deadline is a violation, because nothing further is coming.

Partial

More calls may follow. An unmet deadline whose window is still open has not decided.

Implementations

impl TraceExtent

pub const fn label(self) -> &'static str

The stable string for this value.

Added with ADR-047, which carries the extent into evidence: assay.session.finding reports whether the run it judged was finished, because a violation on a partial trace and one on a finished run are different claims. Before that this enum had no rendering at all, so the evidence payload would have invented its spellings – worse than duplicating a vocabulary, because there is no source to drift from. Like RuleOutcome::label, this is an interface.

Trait Implementations

impl Clone for TraceExtent

fn clone(&self) -> TraceExtent

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for TraceExtent

impl Debug for TraceExtent

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

Formats the value using the given formatter.

impl Eq for TraceExtent

impl PartialEq for TraceExtent

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TraceExtent