Enum Exercised 

pub enum Exercised {
    NotApplicable,
    NotExercised,
    Exercised,
}

Whether a metric actually evaluated anything for this test.

Orthogonal to passed, and deliberately not folded into it. Assertion-based verification settled this decades ago: an assertion with zero attempts is a coverage hole with no verification value, so every assert is paired with a companion cover confirming it was genuinely exercised rather than vacuously passed. passed answers “did the check hold”; this answers “was there a check to hold”.

The distinction is load-bearing here because the runner evaluates all thirteen registered metrics against every test, and a metric that does not handle a test’s Expected variant used to return pass(1.0) — indistinguishable from a metric that ran and was satisfied.

NotExercised is a status and never a failure. Over-eager vacuity detection earns a suppression and takes real findings with it (Beer et al. on temporal antecedent failure), so this reports rather than decides.

Variants

NotApplicable

The metric does not handle this test’s Expected variant. Nothing was checked.

NotExercised

The metric applies, but the data it needs never appeared in this run, so its antecedent never fired. A trace_must_not_call_tool naming a tool the agent never had is the shape: syntactically perfect, permanently vacuous for this trace.

Exercised

Genuinely evaluated against the response.

Implementations

impl Exercised

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

The stable string for this value in details["metrics"][…]["exercised"].

A vocabulary, not a Debug rendering: it reaches run.json, so it is an interface. It lives on the enum rather than beside the writer because there is now a reader — crate::report::exercised — and a reader with its own copy of "not_exercised" would match nothing the day the spelling moved, reporting a clean run instead of a broken one.

Trait Implementations

impl Clone for Exercised

fn clone(&self) -> Exercised

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Exercised

impl Debug for Exercised

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

Formats the value using the given formatter.

impl Eq for Exercised

impl PartialEq for Exercised

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Exercised