Struct AdmissibilityEnvelope 

pub struct AdmissibilityEnvelope {
    pub rho: f32,
    pub boundary_frac: f32,
    pub delta_s: f32,
}

Admissibility envelope parameterized by radius ρ.

Constructed from the healthy calibration window statistics. The radius is stored as a fixed scalar; regime-dependent scaling is applied via effective_rho() using the platform multiplier.

Fields

rho: f32

Base envelope radius ρ = μ_healthy + 3σ_healthy.

boundary_frac: f32

Boundary fraction: Boundary state triggered when ‖r‖ > boundary_frac * ρ. Paper default: 0.5 (50% of ρ).

delta_s: f32

Slew threshold δ_s for AbruptSlewViolation detection.

Implementations

impl AdmissibilityEnvelope

pub const fn new(rho: f32) -> Self

Construct envelope from calibrated radius ρ.

pub const fn with_params(rho: f32, boundary_frac: f32, delta_s: f32) -> Self

Construct with custom boundary fraction and slew threshold.

pub fn effective_rho(&self, platform_multiplier: f32) -> f32

Effective radius after applying platform multiplier.

During waveform transitions: multiplier = +∞ → no violation possible.

pub fn is_violation(&self, norm: f32, platform_multiplier: f32) -> bool

Returns true if ‖r‖ > ρ_eff (Violation condition).

pub fn is_boundary_approach(&self, norm: f32, platform_multiplier: f32) -> bool

Returns true if ‖r‖ > boundary_frac * ρ_eff (Boundary approach condition).

pub fn calibrate_from_window(healthy_norms: &[f32]) -> Option<Self>

Calibrate envelope from a healthy-window residual norm slice.

Computes μ + 3σ over the provided norms array. This is the Stage III calibration protocol (paper §F.4).

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 PartialEq for AdmissibilityEnvelope

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

impl StructuralPartialEq for AdmissibilityEnvelope