Enum MetricCheck 

pub enum MetricCheck {
    Min {
        metric: &'static str,
        value: f64,
    },
    Max {
        metric: &'static str,
        value: f64,
    },
    Range {
        metric: &'static str,
        lo: f64,
        hi: f64,
    },
    Exists(&'static str),
    ExitCodeEq(i32),
}

Assertion check evaluated against an extracted PayloadMetrics (or the exit code for MetricCheck::ExitCodeEq).

Variants

Min

Fail when the named metric is below value.

Fields

metric: &'static str

value: f64

Max

Fail when the named metric exceeds value.

Fields

metric: &'static str

value: f64

Range

Fail when the named metric is outside [lo, hi].

Fields

metric: &'static str

lo: f64

hi: f64

Exists(&'static str)

Fail when the named metric is missing from the extracted set.

ExitCodeEq(i32)

Fail when the payload’s exit code is not equal to expected.

Implementations

impl MetricCheck

pub const fn min(metric: &'static str, value: f64) -> MetricCheck

Fail when the named metric is below value. Missing metric fails loudly per the evaluation pipeline’s missing-metric contract.

pub const fn max(metric: &'static str, value: f64) -> MetricCheck

Fail when the named metric exceeds value. Missing metric fails loudly.

pub const fn range(metric: &'static str, lo: f64, hi: f64) -> MetricCheck

Fail when the named metric falls outside [lo, hi] (inclusive on both ends). Missing metric fails loudly.

Panics

Panics at construction when lo > hi — a reversed-bounds range describes an empty interval that no finite metric can satisfy, almost certainly a user error rather than an intentional always-fails check. Failing at the constructor surfaces the typo at the call site instead of letting the evaluator run an unsatisfiable check against every probe value. NaN bounds also trip this gate because lo <= hi is false for any NaN argument.

pub const fn exists(metric: &'static str) -> MetricCheck

Fail when the named metric is absent from the extracted set. Presence-only — the metric value can be any finite number, including zero or negative.

pub const fn exit_code_eq(expected: i32) -> MetricCheck

Fail when the payload’s exit code differs from expected. Evaluated before metric-path checks so a mis-exited binary reports the exit-code mismatch rather than chained missing-metric failures.

pub const fn min_builtin(metric: BuiltinMetric, value: f64) -> MetricCheck

Typed sibling of Self::min — a typo-proof BuiltinMetric instead of a registry-name string. const (via BuiltinMetric::wire_name) so it composes in const payload-check tables exactly like Self::min. Use this for a registered built-in metric; keep Self::min for the dynamic keyspace (dotted JSON-leaf paths from OutputFormat::Json, scheduler-runtime keys).

use ktstr::prelude::*;
// The typed checks compose into a `const` table — exactly the
// `&'static [MetricCheck]` a `Payload` carries in `default_checks`:
const CHECKS: &[MetricCheck] = &[
    MetricCheck::min_builtin(BuiltinMetric::TaobenchTotalQps, 1000.0),
    MetricCheck::exists_builtin(BuiltinMetric::SchbenchLoopCount),
];
assert_eq!(CHECKS.len(), 2);

pub const fn max_builtin(metric: BuiltinMetric, value: f64) -> MetricCheck

Typed sibling of Self::max — see Self::min_builtin.

pub const fn range_builtin( metric: BuiltinMetric, lo: f64, hi: f64, ) -> MetricCheck

Typed sibling of Self::range — see Self::min_builtin. Same reversed-bounds construction panic as Self::range.

pub const fn exists_builtin(metric: BuiltinMetric) -> MetricCheck

Typed sibling of Self::exists — see Self::min_builtin.

Trait Implementations

impl Clone for MetricCheck

fn clone(&self) -> MetricCheck

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MetricCheck

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

Formats the value using the given formatter.

impl Copy for MetricCheck