Enum ResolutionReason 

pub enum ResolutionReason {
    NoInputs,
    SingleCandidate,
    DuplicateClaim,
    ExplicitPrecedence {
        winner_memory_id: String,
    },
    ConflictingClaims,
    MissingClaimKey {
        memory_id: String,
    },
    PartialProof {
        memory_id: String,
    },
    UnknownProof {
        memory_id: String,
    },
    BrokenProof {
        memory_id: String,
        edge: String,
    },
    HighAuthorityVerifiedConflictRequiresPrecedence,
    IncompletePrecedence {
        winner_memory_id: String,
        missing_loser_ids: Vec<String>,
    },
    AmbiguousPrecedence {
        winner_memory_ids: Vec<String>,
    },
}

Machine-readable reason emitted by the resolver.

Variants

NoInputs

No candidate inputs were provided.

SingleCandidate

Exactly one candidate was present; no conflict to resolve.

DuplicateClaim

All candidates share the same claim text.

ExplicitPrecedence

An explicit precedence record nominated the winner.

Fields

winner_memory_id: String

ConflictingClaims

Multiple candidates have conflicting claims.

MissingClaimKey

A candidate is missing a required claim key.

Fields

memory_id: String

PartialProof

A candidate has only partial proof closure.

Fields

memory_id: String

UnknownProof

A candidate has unknown proof state.

Fields

memory_id: String

BrokenProof

A candidate has a broken proof axis.

Fields

memory_id: String

edge: String

HighAuthorityVerifiedConflictRequiresPrecedence

High-authority verified conflict requires explicit precedence before resolution.

IncompletePrecedence

Precedence evidence does not cover all losers.

Fields

winner_memory_id: String

missing_loser_ids: Vec<String>

AmbiguousPrecedence

Multiple candidates could claim precedence; winner is ambiguous.

Fields

winner_memory_ids: Vec<String>

Trait Implementations

impl Clone for ResolutionReason

fn clone(&self) -> ResolutionReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResolutionReason

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

Formats the value using the given formatter.

impl PartialEq for ResolutionReason

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

impl StructuralPartialEq for ResolutionReason