Enum ReasonCode 

pub enum ReasonCode {
    SustainedOutwardDrift,
    AbruptSlewViolation,
    RecurrentBoundaryGrazing,
    EnvelopeViolation,
}

Reason code qualifying a Boundary grammar state.

Typed reason codes let an operator distinguish classes of structural behaviour without the observer making a fault-classification claim. For a robotics deployment, the reason codes map to recognisable failure modes (collision, friction drift, payload step, cyclic loading) without DSFB having to commit to the cause.

Variants

SustainedOutwardDrift

Persistent positive drift (ṙ > 0) across the drift window.

Robotics mapping: friction/gravity-comp bias accumulating, thermal drift of joint encoders, slow payload mass change.

AbruptSlewViolation

Abrupt slew event (|r̈| > δ_s).

Robotics mapping: collision onset, actuator saturation, sudden payload step, commanded-mode transition not flagged as suppressed.

RecurrentBoundaryGrazing

K recurrent near-boundary hits within the last K observations.

Robotics mapping: cyclic loading (periodic pick-and-place rhythm, gait cycle near limit), mechanical resonance, repetitive approach of a kinematic limit.

EnvelopeViolation

Confirmed envelope violation (‖r‖ > ρ_eff). Used as a reason qualifier when referring to the transition rather than the Violation state itself.

Implementations

impl ReasonCode

pub const fn label(self) -> &'static str

Stable human-readable label for logging and JSON emission.

Trait Implementations

impl Clone for ReasonCode

fn clone(&self) -> ReasonCode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReasonCode

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

Formats the value using the given formatter.

impl PartialEq for ReasonCode

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

impl Eq for ReasonCode

impl StructuralPartialEq for ReasonCode