Enum CompactionSelectionReason 

pub enum CompactionSelectionReason {
    TaskContract,
    ClaimScope,
    RequiredCriterion,
    OpenObligation,
    UnresolvedCounterevidence,
    ActiveEvidence,
    Waiver,
    Supersession,
    WorkspaceBinding,
    SideEffectBinding,
    RecoveryBinding,
    AuthorityBinding,
    SecretTaint,
    TaskScopeMatch,
    PathScopeMatch,
    SymbolScopeMatch,
    ProducerMatch,
    RetrievalMatch,
    RecentHistory,
    BudgetExhausted,
    HistoricalMemoryExcluded,
    Superseded,
}

Runtime-owned reason for a deterministic selection decision.

Variants

TaskContract

The complete task contract is always pinned.

ClaimScope

The maximum permitted claim remains explicit.

RequiredCriterion

A required criterion remains explicit.

OpenObligation

A pending or failed criterion is an open proof obligation.

UnresolvedCounterevidence

Failed active evidence still blocks completion.

ActiveEvidence

Successful active evidence is needed to derive criterion state.

Waiver

Human waiver metadata remains reviewable.

Supersession

Evidence replacement relationships remain reviewable.

WorkspaceBinding

Current workspace generation and digest remain pinned.

SideEffectBinding

Completed or ambiguous side effects remain pinned.

RecoveryBinding

Crash-resume continuation state remains pinned.

AuthorityBinding

Policy and tool authority remain pinned.

SecretTaint

Redaction state is retained without retaining secret contents.

TaskScopeMatch

Current memory matched the task contract.

PathScopeMatch

Current memory matched a relevant workspace path.

SymbolScopeMatch

Current memory matched a relevant language symbol.

ProducerMatch

Current memory matched a relevant producer.

RetrievalMatch

Current memory matched deterministic full-text retrieval.

RecentHistory

A recent conversation item fit the remaining budget.

BudgetExhausted

A non-required item did not fit the remaining budget.

HistoricalMemoryExcluded

Historical memory is excluded unless explicitly requested.

Superseded

Evidence or memory was replaced by a newer valid observation.

Trait Implementations

impl Clone for CompactionSelectionReason

fn clone(&self) -> CompactionSelectionReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CompactionSelectionReason

impl Debug for CompactionSelectionReason

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CompactionSelectionReason

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for CompactionSelectionReason

impl Ord for CompactionSelectionReason

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

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for CompactionSelectionReason

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

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 CompactionSelectionReason