Enum DivergenceClass 

pub enum DivergenceClass {
    NotYetImplemented,
    IntentionalDeviation,
    UpstreamPatchSkew,
    ConformanceRelevanceUnclassified,
}

Why a divergence is being tolerated. A closed vocabulary, so a waiver is classified rather than excused — free-text reasons are how a debt ledger becomes unreadable.

Adding a variant is deliberately a typed decision: if a new divergence does not fit one of these, that is a signal worth stopping on, not a reason to widen the enum reflexively.

Variants

NotYetImplemented

engenho has not implemented the surface yet. The honest default for a milestone gap (e.g. Table conversion, absent workspace-wide).

IntentionalDeviation

engenho deliberately differs and intends to keep differing. Requires a stated rationale at the call site — this is the only variant that is not automatically a debt to burn down.

UpstreamPatchSkew

The oracle and the pinned contract are at different patch levels, so the difference is upstream’s, not engenho’s. Keeps patch skew from being laundered through the normalizer.

ConformanceRelevanceUnclassified

The divergence is real but its conformance relevance is not yet established. Recorded rather than guessed — promotion should be driven off upstream’s [Conformance] tag list, never from memory.

Implementations

impl DivergenceClass

pub fn is_burn_down_debt(self) -> bool

Whether this class represents debt that should eventually reach zero. Self::IntentionalDeviation does not; everything else does.

Trait Implementations

impl Clone for DivergenceClass

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for DivergenceClass

impl Debug for DivergenceClass

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

Formats the value using the given formatter.

impl Display for DivergenceClass

A stable label per class, so a report groups the ledger without re-deriving.

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

Formats the value using the given formatter.

impl Eq for DivergenceClass

impl Hash for DivergenceClass

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 DivergenceClass

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for DivergenceClass