Struct AdmissibilityEnvelope 

pub struct AdmissibilityEnvelope {
    pub residual_lower: f64,
    pub residual_upper: f64,
    pub drift_limit: f64,
    pub slew_limit: f64,
    pub phase: WorkloadPhase,
    pub boundary_fraction: f64,
}

Admissibility envelope for a single residual source under a specific workload phase.

The envelope defines upper and lower bounds on the residual value, drift, and slew. A residual sign is classified based on its position relative to these bounds.

Fields

residual_lower: f64

Lower bound on acceptable residual magnitude.

residual_upper: f64

Upper bound on acceptable residual magnitude.

drift_limit: f64

Maximum acceptable drift magnitude (absolute value).

slew_limit: f64

Maximum acceptable slew magnitude (absolute value).

phase: WorkloadPhase

Workload phase this envelope applies to.

boundary_fraction: f64

Boundary fraction: the fraction of the envelope width at which the grammar transitions from Admissible to Boundary. Typically 0.8 (i.e., 80% of the way to the limit).

Implementations

impl AdmissibilityEnvelope

pub fn new( residual_lower: f64, residual_upper: f64, drift_limit: f64, slew_limit: f64, phase: WorkloadPhase, boundary_fraction: f64, ) -> Self

Create a new envelope with the given bounds.

boundary_fraction is clamped to [0.5, 0.99].

pub fn symmetric( half_width: f64, drift_limit: f64, slew_limit: f64, phase: WorkloadPhase, ) -> Self

Construct a symmetric envelope centered at zero with the given half-width.

pub fn classify(&self, sign: &ResidualSign) -> EnvelopePosition

Classify a residual sign against this envelope.

The classification considers residual magnitude, drift, and slew independently. The most severe classification wins.

pub fn residual_width(&self) -> f64

Envelope width (upper - lower) for the residual dimension.

pub fn fractional_position(&self, residual: f64) -> f64

Fractional position of a residual value within the envelope [0.0, 1.0+]. Values > 1.0 indicate exterior position.

Trait Implementations

impl Clone for AdmissibilityEnvelope

fn clone(&self) -> AdmissibilityEnvelope

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AdmissibilityEnvelope

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

Formats the value using the given formatter.

impl Copy for AdmissibilityEnvelope