Enum CompactionContextKind 

pub enum CompactionContextKind {
    Contract,
    Criterion,
    Evidence,
    Memory,
    History,
    Workspace,
    SideEffect,
    Recovery,
    Authority,
    SecretTaint,
}

Semantic class of one item considered by compaction.

Variants

Contract

Complete task contract and claim scope.

Criterion

One acceptance criterion or open proof obligation.

Evidence

Runtime evidence or counterevidence.

Memory

Provenance-bound durable memory.

History

Provider-neutral conversation item.

Workspace

Current workspace generation and state binding.

SideEffect

Side-effect watermark or ambiguous in-flight action.

Recovery

Crash-recovery continuation state.

Authority

Policy, tool, or producer authority binding.

SecretTaint

Public sensitive-data handling metadata; never secret content.

Trait Implementations

impl Clone for CompactionContextKind

fn clone(&self) -> CompactionContextKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CompactionContextKind

impl Debug for CompactionContextKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CompactionContextKind

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for CompactionContextKind

impl Ord for CompactionContextKind

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

fn eq(&self, other: &CompactionContextKind) -> bool

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for CompactionContextKind

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for CompactionContextKind