Enum InconclusiveReason 

pub enum InconclusiveReason {
    DataTooNoisy {
        message: String,
        guidance: String,
        variance_ratio: f64,
    },
    NotLearning {
        message: String,
        guidance: String,
        recent_kl_sum: f64,
    },
    WouldTakeTooLong {
        estimated_time_secs: f64,
        samples_needed: usize,
        guidance: String,
    },
    TimeBudgetExceeded {
        current_probability: f64,
        samples_collected: usize,
        elapsed_secs: f64,
    },
    SampleBudgetExceeded {
        current_probability: f64,
        samples_collected: usize,
    },
    ConditionsChanged {
        message: String,
        guidance: String,
        drift_description: 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 the adaptive loop stopped inconclusively.

Variants

DataTooNoisy

Posterior is too close to prior - data isn’t informative.

Fields

message: String

Human-readable message.

guidance: String

Suggested remediation.

variance_ratio: f64

Variance ratio (posterior/prior).

NotLearning

Posterior stopped updating despite new data.

Fields

message: String

Human-readable message.

guidance: String

Suggested remediation.

recent_kl_sum: f64

Sum of recent KL divergences.

WouldTakeTooLong

Estimated time to decision exceeds acceptable limit.

Fields

estimated_time_secs: f64

Estimated time in seconds.

samples_needed: usize

Estimated samples needed.

guidance: String

Suggested remediation.

TimeBudgetExceeded

Time budget exceeded without reaching decision.

Fields

current_probability: f64

Current leak probability.

samples_collected: usize

Samples collected so far.

elapsed_secs: f64

Time spent.

SampleBudgetExceeded

Sample budget exceeded without reaching decision.

Fields

current_probability: f64

Current leak probability.

samples_collected: usize

Samples collected.

ConditionsChanged

Measurement conditions changed during the test (Gate 6).

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.

Fields

message: String

Human-readable description of what changed.

guidance: String

Suggested remediation.

drift_description: String

The specific drift metrics that were detected.

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 - it’s checked at decision time in loop_runner.

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.

achievable_at_max: bool

True: θ_floor at max_samples would be ≤ θ_user + ε.

message: String

Human-readable message.

guidance: String

Suggested remediation.

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

Formats the value using the given formatter.