Enum ResidualClass 

pub enum ResidualClass {
    Syntax,
    Type,
    Build,
    TestFailure,
    Lint,
    Format,
    Runtime,
    Dependency,
    Manifest,
    ImportGraph,
    SymbolMismatch,
    InterfaceMismatch,
    OwnershipViolation,
    ContextDrift,
    Regression,
    Policy,
    SensorUnavailable,
    ToolFailure,
    SheafInconsistency,
    CapabilityDenied,
    BudgetExhausted,
    ToolArgumentInvalid,
    WitnessStale,
    ToolThrash,
    ToolBatchConflict,
    UnreadEdit,
    BudgetPressure,
    AdjudicatorObjection,
    ProviderUnavailable,
}

Residual taxonomy (PSP-8 System 6). Every verifier residual is one class.

Variants

Syntax

Type

Build

TestFailure

Lint

Format

Runtime

Dependency

Manifest

ImportGraph

SymbolMismatch

InterfaceMismatch

OwnershipViolation

ContextDrift

Regression

Policy

SensorUnavailable

ToolFailure

SheafInconsistency

CapabilityDenied

Admissibility outcome, not a verifier consistency residual.

BudgetExhausted

Admissibility outcome, not a verifier consistency residual.

ToolArgumentInvalid

Tool-call arguments violated the tool schema.

WitnessStale

A precondition hash no longer matches; the model edited a stale view.

ToolThrash

The same proposal (identical idempotency key) repeated without an intervening evidence change — the tool-loop analogue of livelock.

ToolBatchConflict

One provider turn requested non-commuting calls without an explicit dependency order; no conflicting mutation was executed.

UnreadEdit

A file was mutated in a turn that never read it.

BudgetPressure

Turn/token/capability budget consumed past a declared fraction.

AdjudicatorObjection

An advisory model validator objected (its fixed domain weight is declared before the run; a conjunctive adjudicator is a gate verdict, never a dynamic energy weight).

ProviderUnavailable

A configured route failed and failover was taken; sensor-availability class matching SensorUnavailable’s treatment.

Implementations

impl ResidualClass

pub fn default_component(self) -> EnergyComponent

Default SRBN energy component for this class (PSP-8 System 6 mapping).

pub fn is_admissibility_outcome(self) -> bool

CapabilityDenied and BudgetExhausted are admissibility outcomes that SHALL be recorded on a separate blocked channel and SHALL NOT be summed into the Lyapunov energy V (PSP-8 System 6).

Trait Implementations

impl Clone for ResidualClass

fn clone(&self) -> ResidualClass

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResidualClass

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ResidualClass

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for ResidualClass

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for ResidualClass

fn cmp(&self, other: &ResidualClass) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for ResidualClass

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

fn partial_cmp(&self, other: &ResidualClass) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for ResidualClass

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for ResidualClass

impl Eq for ResidualClass

impl StructuralPartialEq for ResidualClass