Enum VerificationIssueCode 

pub enum VerificationIssueCode {
    RuntimeClaimNotTaskCompletion,
    NoMachineCheckableTaskEvidence,
    UnsupportedSchema,
    InvalidContract,
    ContractMismatch,
    EvidenceKeyMismatch,
    UnknownEvidenceLink,
    UnknownCriterionLink,
    DuplicateLink,
    TimestampOrder,
    IncompleteAttempt,
    EmptyIdentity,
    IncompleteStateBinding,
    DuplicateSupersession,
    UnknownSupersession,
    SelfSupersession,
    SupersessionNotLater,
    SupersessionWithoutCommonCriterion,
    CriterionStateMismatch,
    CriterionEvidenceMismatch,
    IncompleteDecision,
    EvaluationFailed,
}

Stable category for a semantic verification finding.

Variants

RuntimeClaimNotTaskCompletion

Runtime observations cannot represent completed task work.

NoMachineCheckableTaskEvidence

No required criterion has qualifying machine-checkable task evidence.

UnsupportedSchema

Contract or proof graph uses an unsupported schema version.

InvalidContract

Contract validation failed.

ContractMismatch

Contract and proof graph identifiers differ or are nil.

EvidenceKeyMismatch

An evidence map key differs from the evidence object’s identifier.

UnknownEvidenceLink

A link references evidence that is not present.

UnknownCriterionLink

A link references a criterion that is not present.

DuplicateLink

The same evidence-to-criterion edge occurs more than once.

TimestampOrder

Evidence completed before it started.

IncompleteAttempt

Attempt identifier and sequence were not recorded together.

EmptyIdentity

Action identifier or public evidence text is empty.

IncompleteStateBinding

A state binding exists without a workspace generation.

DuplicateSupersession

The same superseded identifier occurs more than once.

UnknownSupersession

Supersession references evidence that is not present.

SelfSupersession

Evidence attempts to supersede itself.

SupersessionNotLater

Supersession does not point from a strictly later attempt.

SupersessionWithoutCommonCriterion

Successor and predecessor do not support a common criterion.

CriterionStateMismatch

Persisted criterion state differs from deterministic reduction.

CriterionEvidenceMismatch

Persisted criterion evidence identifiers differ from graph links.

IncompleteDecision

Termination or waiver metadata is structurally incomplete.

EvaluationFailed

The core reducer could not evaluate the proof.

Trait Implementations

impl Clone for VerificationIssueCode

fn clone(&self) -> VerificationIssueCode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for VerificationIssueCode

impl Debug for VerificationIssueCode

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for VerificationIssueCode

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for VerificationIssueCode

impl Ord for VerificationIssueCode

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

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for VerificationIssueCode

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

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 VerificationIssueCode