Enum RetirementReason 

pub enum RetirementReason {
    Rejected,
    Stale,
}

Why a memory was retired by the correction model (epic 0011 Track B).

A retired memory is hidden from every read and its vector is evicted, so it can no longer surface or pollute reprocessing — but the row is kept (it is the reprocess “don’t re-derive this” guard and the accuracy-metric record). The reason distinguishes an extraction error from a non-error: only Self::Rejected counts against extraction accuracy.

Distinct from supersession (the superseded_by column + events table), which models “a newer fact won” — a normal lifecycle event, not a correction. “Active” means neither superseded nor retired.

Variants

Rejected

The extraction was wrong; the user corrected it via feedback. This is an extraction error — the numerator of the accuracy metric.

Stale

The episodic source was edited or deleted, so this derived semantic no longer reflects it. The model did not err; the source changed.

Trait Implementations

impl AsRef<str> for RetirementReason

fn as_ref(&self) -> &str

Converts this type into a shared reference of the (usually inferred) input type.

impl Clone for RetirementReason

fn clone(&self) -> RetirementReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for RetirementReason

impl Debug for RetirementReason

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

Formats the value using the given formatter.

impl Display for RetirementReason

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

Formats the value using the given formatter.

impl Eq for RetirementReason

impl FromStr for RetirementReason

type Err = ParseError

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<RetirementReason, <Self as FromStr>::Err>

Parses a string s to return a value of this type.

impl Hash for RetirementReason

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 PartialEq for RetirementReason

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

impl TryFrom<&str> for RetirementReason

type Error = ParseError

The type returned in the event of a conversion error.

fn try_from(s: &str) -> Result<RetirementReason, <Self as TryFrom<&str>>::Error>

Performs the conversion.