Enum InconclusiveReason 

pub enum InconclusiveReason {
    DataTooNoisy {
        message: String,
        guidance: String,
    },
    NotLearning {
        message: String,
        guidance: String,
    },
    WouldTakeTooLong {
        estimated_time_secs: f64,
        samples_needed: usize,
        guidance: String,
    },
    TimeBudgetExceeded {
        current_probability: f64,
        samples_collected: usize,
    },
    SampleBudgetExceeded {
        current_probability: f64,
        samples_collected: usize,
    },
    ConditionsChanged {
        message: String,
        guidance: String,
    },
    ThresholdElevated {
        theta_user: f64,
        theta_eff: f64,
        leak_probability_at_eff: f64,
        meets_pass_criterion_at_eff: bool,
        achievable_at_max: bool,
        message: String,
        guidance: String,
    },
}

Reason why a timing test result is inconclusive.

See spec Section 4.1 (Result Types).

Variants

DataTooNoisy

Data is too noisy to reach a conclusion.

The measurement noise is high enough that we cannot distinguish between “no leak” and “small leak” with the available samples.

Fields

message: String

Human-readable explanation.

guidance: String

Suggested actions to improve measurement quality.

NotLearning

Posterior is not converging toward either threshold.

After collecting samples, the leak probability remains in the inconclusive range and isn’t trending toward pass or fail.

Fields

message: String

Human-readable explanation.

guidance: String

Suggested actions.

WouldTakeTooLong

Reaching a conclusion would take too long.

Based on current convergence rate, reaching the pass or fail threshold would exceed the configured time budget.

Fields

estimated_time_secs: f64

Estimated time in seconds to reach a conclusion.

samples_needed: usize

Estimated samples needed to reach a conclusion.

guidance: String

Suggested actions.

TimeBudgetExceeded

Time budget exhausted.

The configured time limit was reached before the posterior converged to a conclusive result.

Fields

current_probability: f64

Posterior probability when budget was exhausted.

samples_collected: usize

Number of samples collected.

SampleBudgetExceeded

Sample budget exhausted.

The maximum number of samples was collected without reaching a conclusive result.

Fields

current_probability: f64

Posterior probability when budget was exhausted.

samples_collected: usize

Number of samples collected.

ConditionsChanged

Measurement conditions changed during the test.

Detected by comparing calibration statistics with post-test statistics. This can indicate environmental interference (CPU frequency scaling, concurrent processes, etc.) that invalidates the covariance estimate. See spec Section 2.6, Gate 6.

Fields

message: String

Human-readable explanation.

guidance: String

Suggested actions.

ThresholdElevated

Threshold was elevated and pass criterion was met at effective threshold.

The measurement floor exceeded the user’s requested threshold, so inference was performed at an elevated effective threshold. The posterior probability dropped below pass_threshold at θ_eff, but since θ_eff > θ_user + ε, we cannot guarantee the user’s original requirement is met.

This is NOT a quality gate failure - it’s a semantic constraint: Pass requires both P < pass_threshold AND θ_eff ≤ θ_user + ε.

See spec Section 3.5.3 (v5.5 Threshold Elevation Decision Rule).

Fields

theta_user: f64

User’s requested threshold in nanoseconds (θ_user).

theta_eff: f64

Effective threshold used for inference (θ_eff = max(θ_user, θ_floor)).

leak_probability_at_eff: f64

Posterior probability at θ_eff (was < pass_threshold).

meets_pass_criterion_at_eff: bool

True: P(leak > θ_eff) < pass_threshold (pass criterion met at elevated threshold).

achievable_at_max: bool

True: θ_floor at max_samples would be ≤ θ_user + ε (more samples could achieve user threshold).

message: String

Human-readable explanation.

guidance: String

Suggested actions.

Trait Implementations

impl Clone for InconclusiveReason

fn clone(&self) -> InconclusiveReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InconclusiveReason

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for InconclusiveReason

fn deserialize<__D>( __deserializer: __D, ) -> Result<InconclusiveReason, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for InconclusiveReason

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

Formats the value using the given formatter.

impl PartialEq for InconclusiveReason

fn eq(&self, other: &InconclusiveReason) -> 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 InconclusiveReason

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for InconclusiveReason