Enum PreconditionBlock 

pub enum PreconditionBlock {
    AuthGateBeforeTechnique {
        credential_state: CredentialBlockKind,
        layer: AuthBlockLayer,
    },
    MethodGateBeforeResource,
    BlockedByParser,
    ApplicabilityMarkerMissing,
    SurfaceMismatch,
    MutationDestroyedControl,
}

Structured reason a Contradictory outcome was downgraded.

Carried in Inapplicable(reason) to give operators an actionable diagnosis instead of an opaque “no signal.”

Variants

AuthGateBeforeTechnique

Auth gate fired before the technique reached the oracle layer. Carries the credential state (why the credential failed) and the layer at which the gate fired.

Fields

credential_state: CredentialBlockKind

Why the credential failed or was not provided.

layer: AuthBlockLayer

Layer at which the auth block fired.

MethodGateBeforeResource

Both responses were 405 — method-level rejection before resource lookup.

BlockedByParser

Both responses were 4xx parser/validator rejection and the technique is downstream of parse.

ApplicabilityMarkerMissing

Required applicability marker absent (e.g. ETag missing for If-None-Match).

SurfaceMismatch

Differential observed on a surface this technique does not test (e.g. body/headers differ on a Status-surface technique).

MutationDestroyedControl

Route-mutating technique broke baseline routing — canonical 2xx with mutated baseline non-2xx, or canonical 301/308 (server canonicalized away from the mutated path).

Implementations

impl PreconditionBlock

pub fn block_family(self) -> BlockFamily

Coarse block family used for observability classification.

pub fn as_str(self) -> &'static str

Operator-facing reason string surfaced in the Inapplicable outcome.

Trait Implementations

impl Clone for PreconditionBlock

fn clone(&self) -> PreconditionBlock

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PreconditionBlock

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

Formats the value using the given formatter.

impl PartialEq for PreconditionBlock

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

impl Eq for PreconditionBlock

impl StructuralPartialEq for PreconditionBlock