Enum ControlVerdict 

pub enum ControlVerdict {
    Moved {
        gap: f64,
    },
    TooSmall {
        gap: f64,
    },
    WrongDirection {
        gap: f64,
    },
}

What the positive control demonstrated about this run’s sensitivity.

Three outcomes rather than a bool, because the two ways of failing mean different things and want different fixes. Collapsing them is what made a real 0.090 swing render as “changed by only -0.090” — wording that reads as barely moved about a control that moved a great deal, in the wrong direction. That is ADR 0004 decision 3’s rule applied to a verdict rather than to a field: a state that licenses a different action must render differently.

Variants

Moved

The control scored at least CONTROL_MIN_COMPOSITE_GAP below the gglib arm. The apparatus moved under a known-bad change, so a null result elsewhere in the report is evidence rather than silence.

Fields

gap: f64

gglib − control, positive.

TooSmall

The control scored below the gglib arm but by less than the threshold. The apparatus may simply be insensitive at this suite size.

Fields

gap: f64

gglib − control, positive but under the threshold.

WrongDirection

The control scored higher than the gglib arm.

Not a weak signal — a contradicted premise. The change was chosen to be bad, so a control that wins says the degradation is not degrading, and the control itself needs fixing before any delta in the report means anything. Measured once already: temperature 2.0 without disabling top_k is absorbed by the truncation samplers that run ahead of it.

Fields

gap: f64

How far above the gglib arm the control scored, positive.

Implementations

impl ControlVerdict

pub const fn demonstrated_sensitivity(&self) -> bool

Whether this run demonstrated it could detect a sampling change.

Trait Implementations

impl Clone for ControlVerdict

fn clone(&self) -> ControlVerdict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ControlVerdict

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ControlVerdict

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ControlVerdict

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for ControlVerdict

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for ControlVerdict

impl StructuralPartialEq for ControlVerdict