Struct RegimeEnvelope 

pub struct RegimeEnvelope { /* private fields */ }

Regime-sensitive admissibility envelope with dynamic radius tracking.

Wraps AdmissibilityEnvelope and adds:

1. Mode-dependent radius updates (widening / tightening EMA)
2. Regime switching (snap between ρ_base and ρ_max)
3. Grammar trust scalar computation
4. Aggregate-mode maximum over multiple constraints

Stack footprint: ~48 bytes (all f32 + enum tags)

Implementations

impl RegimeEnvelope

pub const fn new(params: RegimeEnvelopeParams) -> Self

Construct with given parameters, starting in Fixed mode at ρ_base.

pub fn from_envelope(env: &AdmissibilityEnvelope) -> Self

Construct directly from a base AdmissibilityEnvelope.

pub fn set_mode(&mut self, mode: EnvelopeMode)

Set a different operating mode.

pub fn rho_eff(&self) -> f32

Current effective envelope radius ρ_eff.

pub fn mode(&self) -> EnvelopeMode

Current mode.

pub fn update( &mut self, norm: f32, regime: RfRegime, other_rho: &[f32], ) -> EnvelopeUpdateResult

Update the envelope for one observation of residual norm.

Adjusts ρ_eff according to the current mode, then computes and returns the grammar trust scalar.

other_rho is only used in Aggregate mode (max over all provided values); pass an empty slice for other modes.

pub fn update_with_slew( &mut self, norm: f32, regime: RfRegime, other_rho: &[f32], delta_norm: f32, ) -> (EnvelopeUpdateResult, bool)

Update with explicit delta_norm for slew detection.

Returns (EnvelopeUpdateResult, abrupt_slew).

pub fn reset(&mut self)

Reset to initial state (Fixed mode, ρ_base).