Enum RejectReason 

pub enum RejectReason {
    Malformed(String),
    ProfileMismatch {
        artifact: &'static str,
        expected: String,
        got: String,
    },
    SettledCarriesTransitions,
    TransitionCount(usize),
    PorType(String),
    PorRejected(String),
    WorkloadSignature(&'static str),
    UntrustedCheckpoint,
    PcaHashMismatch,
    PredecessorType,
    PredecessorHashMismatch,
    PositionProgression,
    ChallengeContinuity,
    NextChallengeInvalid,
    BitmapIndexOutOfRange(&'static str),
    BitmapNotCanonical,
    DuplicateAdditionKey(String),
    InvalidAuthorityValue(String),
    EmptyExecutionContract,
    RequestBinding,
    ContractConformance,
    NonExpansion,
    Revoked,
    PolicyDenied,
    RealmSignature(&'static str),
}

A semantic rejection: one of the Verifier or Prover checks failed.

Variants follow the settlement procedure of the Prover and Verifier specification (Section 3) so callers can map a rejection back to the exact spec check.

Variants

Malformed(String)

The candidate could not be parsed into the expected artifact shape.

ProfileMismatch

An artifact declares a profile other than the one this crate implements (crate::PROFILE_0_2).

Fields

artifact: &'static str

Which artifact carried the mismatching profile.

expected: String

The profile identifier this crate requires.

got: String

The profile identifier found in the artifact.

SettledCarriesTransitions

A settled Continuity carried a non-null transitions member.

TransitionCount(usize)

A candidate Continuity carried a number of transitions other than exactly one.

PorType(String)

proof_of_relationship.type is not the type the validator accepts.

PorRejected(String)

The Proof of Relationship evidence failed validation.

WorkloadSignature(&'static str)

A workload signature over a candidate artifact did not verify.

UntrustedCheckpoint

root.pca is not the exact bytes of a currently trusted checkpoint.

PcaHashMismatch

The recomputed SHA-256 of root.pca differs from root.pca_hash.

PredecessorType

predecessor.type is not crate::PREDECESSOR_TYPE_PCA.

PredecessorHashMismatch

predecessor.hash does not match the trusted checkpoint bytes.

PositionProgression

The proposed position is not exactly checkpoint position + 1.

ChallengeContinuity

previous_challenge does not echo the checkpoint’s next_challenge.

NextChallengeInvalid

The proposed next_challenge is missing, empty, or not fresh.

BitmapIndexOutOfRange(&'static str)

A removal bitmap set a bit for an index the predecessor section does not have.

BitmapNotCanonical

A removal bitmap is empty or carries trailing zero bytes.

DuplicateAdditionKey(String)

Two execution-contract additions resolved to the same canonical key.

InvalidAuthorityValue(String)

An authority value is empty or not a valid canonical tuple value.

EmptyExecutionContract

The execution contract would end up with no attributes.

RequestBinding

Deployment-required request/execution binding failed.

ContractConformance

Executor evidence or execution-contract conformance failed.

NonExpansion

The materialized successor would carry authority its predecessor did not have.

Revoked

The continuity state is revoked.

PolicyDenied

Local deployment policy denied the advancement.

RealmSignature(&'static str)

A settlement-authority (realm) signature did not verify.

Trait Implementations

impl Clone for RejectReason

fn clone(&self) -> RejectReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RejectReason

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

Formats the value using the given formatter.

impl Display for RejectReason

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

Formats the value using the given formatter.

impl Eq for RejectReason

impl Error for RejectReason

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl From<RejectReason> for ContinuityError

fn from(source: RejectReason) -> ContinuityError

Converts to this type from the input type.

impl PartialEq for RejectReason

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for RejectReason